SHMARQL

automated theorem proving

<http://www.wikidata.org/entity/Q431667>

subfield of automated reasoning dealing with proving theorems by computer programs
rdfs:label
"automated theorem proving"@en
skos:altLabel
"ATP"@en
"automated deduction"@en
"theorem proving"@en
schema:description
"subfield of automated reasoning dealing with proving theorems by computer programs"@en
schema:dateModified "2026-06-09T09:00:32+00:00"^^xsd:dateTime
schema:version 2503695567
wikibase:identifiers 11
wikibase:sitelinks 20
wikibase:statements 17
p:P10283 wd:statement/Q431667-06D9705B-CCF8-4CF6-8751-33138090AF26
p:P1245 wd:statement/Q431667-35D8EA19-1A07-4FCB-8529-38427FEC8EB1
p:P13591 wd:statement/Q431667-C3F67FF8-0E7E-484B-9877-8C24E6115CDA
p:P1552 wd:statement/Q431667-916c8d97-4165-1196-c3e3-a93535ef1ec4
p:P2283 wd:statement/Q431667-a5f3f54e-4a72-d730-7255-f6e5c773fe2a
p:P244 wd:statement/Q431667-A2905424-0EC1-4E9F-835D-558BBDFE056C
p:P279 wd:statement/Q431667-edab8b11-4a3c-e400-07a6-e0e8c7deae7b
p:P3417 wd:statement/Q431667-EDF6B772-1B47-4823-8AFA-F1A7D681BE24
p:P366 wd:statement/Q431667-5d831b2f-4bc8-0d7e-f910-3e77d0db83ee
wd:statement/Q431667-bbfd356a-4477-77a8-0d51-3a9035d806c3
p:P3827 wd:statement/Q431667-F252A4CA-F6C6-4632-BE9A-A0E4EA1854B8
p:P6366 wd:statement/Q431667-E6802DC9-198A-45DF-9D07-E0A4E355DC7B
p:P646 wd:statement/Q431667-792D9EF1-C2D4-47A0-95B1-F50C4560DE56
p:P8189 wd:statement/Q431667-4D4DFFC9-255F-4379-B0EC-B9B7957CF4E9
p:P8408 wd:statement/Q431667-6E4A8F48-337A-4139-AB07-D19AAB7D09D1
p:P8885 wd:statement/Q431667-c679085c-43fb-66a6-1746-074ac3ce67dd
p:P910 wd:statement/Q431667-35D42223-A62B-4F73-963F-679BD2B9E633
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/sh85010111>
p:direct-normalized/P6366 <https://makg.org/entity/206880738>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/AutomatedTheoremProving>
wdt:P10283 "C206880738"
wdt:P1245 "1098569"
wdt:P13591 "concept/8c86a08f-5ce3-4715-9792-1d876bfb05de"
wdt:P1552 automation
wdt:P2283 automated theorem prover
wdt:P244 "sh85010111"
wdt:P279 mathematical logic
wdt:P3417 "Automated-Theorem-Proving"
wdt:P366 mathematical proof
formal verification
wdt:P3827 "automated-theorem-proving"
wdt:P6366 "206880738"
wdt:P646 "/m/0_8m"
wdt:P8189 "987007295721005171"
wdt:P8408 "AutomatedTheoremProving"
wdt:P8885 "자동정리증명"
wdt:P910 Category:Automated theorem proving
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata