Entity13638

Download triples
rdfs:label Automatyczne dowodzenie twierdzeń (pl)
rdfs:label Demostración automática de teoremas (es)
rdfs:label การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์ (th)
rdfs:label اثبات قضیه خودکار (fa)
rdfs:label Automated theorem proving (en)
rdfs:label 自動定理証明 (ja)
rdfs:label Teoremlərin avtomatik sübutu (az)
rdfs:label Dimostrazione automatica di teoremi (it)
rdfs:label 自動化定理證明 (zh)
rdfs:label Démonstration automatique de théorèmes (fr)
rdfs:label Автоматизоване доведення теорем (uk)
rdfs:label Teoremen frogapen automatiko (eu)
rdfs:label Prova automática de teoremas (pt)
rdfs:label Թեորեմների ավտոմատացված ապացուցում (hy)
rdfs:label Otomatik teorem kanıtlama (tr)
rdfs:label Автоматическое доказательство (ru)
rdfs:label 자동 정리 증명 (ko)
owl:sameAs http://ru.dbpedia.org/resource/Автоматическое_доказательство
owl:sameAs http://ja.dbpedia.org/resource/自動定理証明
owl:sameAs http://pl.dbpedia.org/resource/Automatyczne_dowodzenie_twierdzeń
owl:sameAs dbpedia-it:Dimostrazione_automatica_di_teoremi
owl:sameAs https://en.wikiquote.org/wiki/Automated_theorem_proving
owl:sameAs dbr:Automated_theorem_proving
owl:sameAs http://fa.dbpedia.org/resource/اثبات_قضیه_خودکار
owl:sameAs http://es.dbpedia.org/resource/Demostración_automática_de_teoremas
owl:sameAs http://uk.dbpedia.org/resource/Автоматизоване_доведення_теорем
owl:sameAs http://ko.dbpedia.org/resource/자동_정리_증명
owl:sameAs dbpedia-fr:Démonstration_automatique_de_théorèmes
owl:sameAs http://eu.dbpedia.org/resource/Teoremen_frogapen_automatiko
owl:sameAs http://zh.dbpedia.org/resource/自動化定理證明
owl:sameAs wd:Q431667
owl:sameAs http://hy.dbpedia.org/resource/Թեորեմների_ավտոմատացված_ապացուցում
owl:sameAs http://az.dbpedia.org/resource/Teoremlərin_avtomatik_sübutu
owl:sameAs http://pt.dbpedia.org/resource/Prova_automática_de_teoremas
owl:sameAs http://tr.dbpedia.org/resource/Otomatik_teorem_kanıtlama
owl:sameAs http://th.dbpedia.org/resource/การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
skos:prefLabel Automated theorem proving
Property Object

Triples where Entity13638 is the object (without rdf:type)

qkg:Quotation258379 so:mentions
Subject Property