Matches in Wikidata for { <http://www.wikidata.org/entity/Q431667> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- Q431667 description "procédé de démonstration par ordinateur" @default.
- Q431667 description "subfield of automated reasoning dealing with proving theorems by computer programs" @default.
- Q431667 name "Automatisches Beweisen von Theoremen" @default.
- Q431667 name "Automatsko dokazivanje teorema" @default.
- Q431667 name "Automatyczne dowodzenie twierdzeń" @default.
- Q431667 name "Otomatik teorem kanıtlama" @default.
- Q431667 name "Teoremen frogapen automatiko" @default.
- Q431667 name "Teoremlərin avtomatik sübutu" @default.
- Q431667 name "automated theorem proving" @default.
- Q431667 name "aŭtomata teorempruvado" @default.
- Q431667 name "demostració automàtica de teoremes" @default.
- Q431667 name "demostración automática de teoremas" @default.
- Q431667 name "dimostrazione automatica di teoremi" @default.
- Q431667 name "démonstration automatique de théorèmes" @default.
- Q431667 name "prova automática de teoremas" @default.
- Q431667 name "Автоматическое доказательство" @default.
- Q431667 name "Автоматичне доведення" @default.
- Q431667 name "Ավտոմատացված թեորեմների ապացուցումը" @default.
- Q431667 name "הוכחת משפטים אוטומטית" @default.
- Q431667 name "اثبات قضیه خودکار" @default.
- Q431667 name "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" @default.
- Q431667 name "定理机器证明" @default.
- Q431667 name "自動定理証明" @default.
- Q431667 name "자동 정리 증명" @default.
- Q431667 type Item @default.
- Q431667 label "Automatisches Beweisen von Theoremen" @default.
- Q431667 label "Automatsko dokazivanje teorema" @default.
- Q431667 label "Automatyczne dowodzenie twierdzeń" @default.
- Q431667 label "Otomatik teorem kanıtlama" @default.
- Q431667 label "Teoremen frogapen automatiko" @default.
- Q431667 label "Teoremlərin avtomatik sübutu" @default.
- Q431667 label "automated theorem proving" @default.
- Q431667 label "aŭtomata teorempruvado" @default.
- Q431667 label "demostració automàtica de teoremes" @default.
- Q431667 label "demostración automática de teoremas" @default.
- Q431667 label "dimostrazione automatica di teoremi" @default.
- Q431667 label "démonstration automatique de théorèmes" @default.
- Q431667 label "prova automática de teoremas" @default.
- Q431667 label "Автоматическое доказательство" @default.
- Q431667 label "Автоматичне доведення" @default.
- Q431667 label "Ավտոմատացված թեորեմների ապացուցումը" @default.
- Q431667 label "הוכחת משפטים אוטומטית" @default.
- Q431667 label "اثبات قضیه خودکار" @default.
- Q431667 label "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" @default.
- Q431667 label "定理机器证明" @default.
- Q431667 label "自動定理証明" @default.
- Q431667 label "자동 정리 증명" @default.
- Q431667 altLabel "ATP" @default.
- Q431667 altLabel "automated deduction" @default.
- Q431667 altLabel "deducción automatizada" @default.
- Q431667 altLabel "teorempruvilo" @default.
- Q431667 altLabel "theorem proving" @default.
- Q431667 prefLabel "Automatisches Beweisen von Theoremen" @default.
- Q431667 prefLabel "Automatsko dokazivanje teorema" @default.
- Q431667 prefLabel "Automatyczne dowodzenie twierdzeń" @default.
- Q431667 prefLabel "Otomatik teorem kanıtlama" @default.
- Q431667 prefLabel "Teoremen frogapen automatiko" @default.
- Q431667 prefLabel "Teoremlərin avtomatik sübutu" @default.
- Q431667 prefLabel "automated theorem proving" @default.
- Q431667 prefLabel "aŭtomata teorempruvado" @default.
- Q431667 prefLabel "demostració automàtica de teoremes" @default.
- Q431667 prefLabel "demostración automática de teoremas" @default.
- Q431667 prefLabel "dimostrazione automatica di teoremi" @default.
- Q431667 prefLabel "démonstration automatique de théorèmes" @default.
- Q431667 prefLabel "prova automática de teoremas" @default.
- Q431667 prefLabel "Автоматическое доказательство" @default.
- Q431667 prefLabel "Автоматичне доведення" @default.
- Q431667 prefLabel "Ավտոմատացված թեորեմների ապացուցումը" @default.
- Q431667 prefLabel "הוכחת משפטים אוטומטית" @default.
- Q431667 prefLabel "اثبات قضیه خودکار" @default.
- Q431667 prefLabel "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" @default.
- Q431667 prefLabel "定理机器证明" @default.
- Q431667 prefLabel "自動定理証明" @default.
- Q431667 prefLabel "자동 정리 증명" @default.
- Q431667 P10283 Q431667-06D9705B-CCF8-4CF6-8751-33138090AF26 @default.
- Q431667 P1245 Q431667-35D8EA19-1A07-4FCB-8529-38427FEC8EB1 @default.
- Q431667 P244 Q431667-A2905424-0EC1-4E9F-835D-558BBDFE056C @default.
- Q431667 P279 Q431667-edab8b11-4a3c-e400-07a6-e0e8c7deae7b @default.
- Q431667 P3417 Q431667-EDF6B772-1B47-4823-8AFA-F1A7D681BE24 @default.
- Q431667 P3827 Q431667-F252A4CA-F6C6-4632-BE9A-A0E4EA1854B8 @default.
- Q431667 P6366 Q431667-E6802DC9-198A-45DF-9D07-E0A4E355DC7B @default.
- Q431667 P646 Q431667-792D9EF1-C2D4-47A0-95B1-F50C4560DE56 @default.
- Q431667 P8189 Q431667-4D4DFFC9-255F-4379-B0EC-B9B7957CF4E9 @default.
- Q431667 P8408 Q431667-6E4A8F48-337A-4139-AB07-D19AAB7D09D1 @default.
- Q431667 P910 Q431667-35D42223-A62B-4F73-963F-679BD2B9E633 @default.
- Q431667 P244 sh85010111 @default.
- Q431667 P6366 206880738 @default.
- Q431667 P8408 AutomatedTheoremProving @default.
- Q431667 P10283 "C206880738" @default.
- Q431667 P1245 "1098569" @default.
- Q431667 P244 "sh85010111" @default.
- Q431667 P279 Q1166618 @default.
- Q431667 P3417 "Automated-Theorem-Proving" @default.
- Q431667 P3827 "automated-theorem-proving" @default.
- Q431667 P6366 "206880738" @default.
- Q431667 P646 "/m/0_8m" @default.
- Q431667 P8189 "987007295721005171" @default.
- Q431667 P8408 "AutomatedTheoremProving" @default.
- Q431667 P910 Q8279957 @default.