Data Table
PropertyValue
dbpedia-owl:abstract
  • 自動定理証明(英: automated theorem proving、ATP)とは、自動推論(AR) の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理に対する証明を発見すること。ベースとなる論理によって、定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である。
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 769230 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 18161 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 115 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 57374874 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • 自動定理証明(英: automated theorem proving、ATP)とは、自動推論(AR) の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理に対する証明を発見すること。ベースとなる論理によって、定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である。
rdfs:label
  • 自動定理証明
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of