@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q431667 rdfs:label "Teoremlərin avtomatik sübutu"@az,
        "demostració automàtica de teoremes"@ca,
        "Automatisches Beweisen von Theoremen"@de,
        "automated theorem proving"@en,
        "aŭtomata teorempruvado"@eo,
        "demostración automática de teoremas"@es,
        "Teoremen frogapen automatiko"@eu,
        "اثبات قضیه خودکار"@fa,
        "démonstration automatique de théorèmes"@fr,
        "הוכחת משפטים אוטומטית"@he,
        "Ավտոմատացված թեորեմների ապացուցումը"@hy,
        "Pembuktian teorema otomatis"@id,
        "dimostrazione automatica di teoremi"@it,
        "自動定理証明"@ja,
        "자동 정리 증명"@ko,
        "Automatyczne dowodzenie twierdzeń"@pl,
        "prova automática de teoremas"@pt,
        "Автоматическое доказательство"@ru,
        "Automatsko dokazivanje teorema"@sr,
        "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์"@th,
        "Otomatik teorem kanıtlama"@tr,
        "Автоматичне доведення"@uk,
        "定理机器证明"@zh ;
    schema1:dateModified "2026-06-09T09:00:32+00:00"^^xsd:dateTime ;
    schema1:description "subcamp del raonament automatitzat que s'ocupa de la demostració de teoremes mitjançant programes informàtics"@ca,
        "subfield of automated reasoning dealing with proving theorems by computer programs"@en,
        "procédé de démonstration par ordinateur"@fr ;
    schema1:version 2503695567 ;
    wikibase:identifiers 11 ;
    wikibase:sitelinks 20 ;
    wikibase:statements 17 ;
    skos:altLabel "ATP"@ca,
        "ATP"@en,
        "automated deduction"@en,
        "theorem proving"@en,
        "teorempruvilo"@eo,
        "deducción automatizada"@es ;
    p:P10283 wds:Q431667-06D9705B-CCF8-4CF6-8751-33138090AF26 ;
    p:P1245 wds:Q431667-35D8EA19-1A07-4FCB-8529-38427FEC8EB1 ;
    p:P13591 wds:Q431667-C3F67FF8-0E7E-484B-9877-8C24E6115CDA ;
    p:P1552 wds:Q431667-916c8d97-4165-1196-c3e3-a93535ef1ec4 ;
    p:P2283 wds:Q431667-a5f3f54e-4a72-d730-7255-f6e5c773fe2a ;
    p:P244 wds:Q431667-A2905424-0EC1-4E9F-835D-558BBDFE056C ;
    p:P279 wds:Q431667-edab8b11-4a3c-e400-07a6-e0e8c7deae7b ;
    p:P3417 wds:Q431667-EDF6B772-1B47-4823-8AFA-F1A7D681BE24 ;
    p:P366 wds:Q431667-5d831b2f-4bc8-0d7e-f910-3e77d0db83ee,
        wds:Q431667-bbfd356a-4477-77a8-0d51-3a9035d806c3 ;
    p:P3827 wds:Q431667-F252A4CA-F6C6-4632-BE9A-A0E4EA1854B8 ;
    p:P6366 wds:Q431667-E6802DC9-198A-45DF-9D07-E0A4E355DC7B ;
    p:P646 wds:Q431667-792D9EF1-C2D4-47A0-95B1-F50C4560DE56 ;
    p:P8189 wds:Q431667-4D4DFFC9-255F-4379-B0EC-B9B7957CF4E9 ;
    p:P8408 wds:Q431667-6E4A8F48-337A-4139-AB07-D19AAB7D09D1 ;
    p:P8885 wds:Q431667-c679085c-43fb-66a6-1746-074ac3ce67dd ;
    p:P910 wds:Q431667-35D42223-A62B-4F73-963F-679BD2B9E633 ;
    wdtn:P244 <http://id.loc.gov/authorities/names/sh85010111> ;
    wdtn:P6366 <https://makg.org/entity/206880738> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/AutomatedTheoremProving> ;
    wdt:P10283 "C206880738" ;
    wdt:P1245 "1098569" ;
    wdt:P13591 "concept/8c86a08f-5ce3-4715-9792-1d876bfb05de" ;
    wdt:P1552 wd:Q184199 ;
    wdt:P2283 wd:Q140136520 ;
    wdt:P244 "sh85010111" ;
    wdt:P279 wd:Q1166618 ;
    wdt:P3417 "Automated-Theorem-Proving" ;
    wdt:P366 wd:Q11538,
        wd:Q173326 ;
    wdt:P3827 "automated-theorem-proving" ;
    wdt:P6366 "206880738" ;
    wdt:P646 "/m/0_8m" ;
    wdt:P8189 "987007295721005171" ;
    wdt:P8408 "AutomatedTheoremProving" ;
    wdt:P8885 "자동정리증명" ;
    wdt:P910 wd:Q8279957 .