About DBpedia

About: 自動定理証明

An Entity of Type : Concept, from Named Graph : http://ja.dbpedia.org, within Data Space : ja.dbpedia.org

Property Value
dbo:wikiPageID
  • 3830945 (xsd:integer)
dbo:wikiPageRevisionID
  • 74987943 (xsd:integer)
rdf:type
rdfs:label
  • 自動定理証明 (ja)
  • 自動定理証明 (ja)
skos:broader
skos:prefLabel
  • 自動定理証明 (ja)
  • 自動定理証明 (ja)
prov:wasDerivedFrom
is dbo:wikiPageWikiLink of
is dct:subject of
is owl:sameAs of
is skos:broader of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License