{
  "relatedTerm" : [ {
    "id" : "https://d-nb.info/gnd/4711800-3",
    "label" : "Beweissystem"
  } ],
  "closeMatch" : [ {
    "id" : "https://datos.bne.es/resource/XX554680",
    "label" : "https://datos.bne.es/resource/XX554680"
  }, {
    "id" : "http://id.loc.gov/authorities/subjects/sh85010111",
    "label" : "http://id.loc.gov/authorities/subjects/sh85010111"
  }, {
    "id" : "https://data.bnf.fr/ark:/12148/cb11977922s",
    "label" : "https://data.bnf.fr/ark:/12148/cb11977922s"
  } ],
  "relatedDdcWithDegreeOfDeterminacy2" : [ {
    "id" : "http://dewey.info/class/511.36028563/",
    "label" : "http://dewey.info/class/511.36028563/"
  } ],
  "describedBy" : {
    "id" : "https://d-nb.info/gnd/4069034-9/about",
    "maintainer" : {
      "id" : "https://ld.zdb-services.de/resource/organisations/DE-101",
      "label" : "https://ld.zdb-services.de/resource/organisations/DE-101"
    },
    "dctCreator" : {
      "id" : "https://ld.zdb-services.de/resource/organisations/DE-101",
      "label" : "https://ld.zdb-services.de/resource/organisations/DE-101"
    },
    "license" : {
      "id" : "http://creativecommons.org/publicdomain/zero/1.0/",
      "label" : "http://creativecommons.org/publicdomain/zero/1.0/"
    },
    "dateModified" : "2025-04-11T14:17:07.000",
    "descriptionLevel" : {
      "id" : "https://d-nb.info/standards/vocab/gnd/description-level#1",
      "label" : "Katalogisierungslevel 1"
    }
  },
  "gndIdentifier" : "4069034-9",
  "id" : "https://d-nb.info/gnd/4069034-9",
  "preferredName" : "Automatisches Beweisverfahren",
  "type" : [ "SubjectHeadingSensoStricto", "AuthorityResource", "SubjectHeading" ],
  "variantName" : [ "Automated theorem proving", "Maschinelles Beweisverfahren", "Theorembeweisen / Automatisierung", "Automatic theorem proving", "Beweis / Automatisierung", "Mechanisches Beweisverfahren", "Automatisches Beweisen / Theorem", "Automatisches Theorembeweisen" ],
  "@context" : "https://lobid.org/gnd/context.jsonld",
  "gndSubjectCategory" : [ {
    "id" : "https://d-nb.info/standards/vocab/gnd/gnd-sc#30",
    "label" : "Informatik, Datenverarbeitung"
  } ],
  "oldAuthorityNumber" : [ "(DE-588c)4069034-9" ]
}