Matches in Wikidata for { <http://www.wikidata.org/entity/Q2555318> ?p ?o ?g. }
- Q2555318 description "subfield of computer science and logic" @default.
- Q2555318 description "subveld van rekenaarwetenskap en logika" @default.
- Q2555318 name "Arrazoiketa automatiko" @default.
- Q2555318 name "Automatiseret ræsonnement" @default.
- Q2555318 name "Automatsko rezonovanje" @default.
- Q2555318 name "Otomatikleştirilmiş muhakeme" @default.
- Q2555318 name "Raciocínio automatizado" @default.
- Q2555318 name "automated reasoning" @default.
- Q2555318 name "avtomatizirano sklepanje" @default.
- Q2555318 name "aŭtomata rezonado" @default.
- Q2555318 name "geoutomatiseerde redenering" @default.
- Q2555318 name "ragionamento automatico" @default.
- Q2555318 name "raisonnement automatisé" @default.
- Q2555318 name "razonamiento automático" @default.
- Q2555318 name "raționament automat" @default.
- Q2555318 name "Аутоматско резоновање" @default.
- Q2555318 name "Аутоматско резоновање" @default.
- Q2555318 name "автоматизоване міркування" @default.
- Q2555318 name "автоматическое рассуждение" @default.
- Q2555318 name "חשיבה אוטומטית" @default.
- Q2555318 name "استدلال خودکار" @default.
- Q2555318 name "المنطق الآلي" @default.
- Q2555318 name "स्वचालित तर्क" @default.
- Q2555318 name "自动推理" @default.
- Q2555318 name "自动推理" @default.
- Q2555318 name "自動推理" @default.
- Q2555318 name "自動推理" @default.
- Q2555318 name "自動推理" @default.
- Q2555318 name "自動推論" @default.
- Q2555318 name "자동화된 추론" @default.
- Q2555318 type Item @default.
- Q2555318 label "Arrazoiketa automatiko" @default.
- Q2555318 label "Automatiseret ræsonnement" @default.
- Q2555318 label "Automatsko rezonovanje" @default.
- Q2555318 label "Otomatikleştirilmiş muhakeme" @default.
- Q2555318 label "Raciocínio automatizado" @default.
- Q2555318 label "automated reasoning" @default.
- Q2555318 label "avtomatizirano sklepanje" @default.
- Q2555318 label "aŭtomata rezonado" @default.
- Q2555318 label "geoutomatiseerde redenering" @default.
- Q2555318 label "ragionamento automatico" @default.
- Q2555318 label "raisonnement automatisé" @default.
- Q2555318 label "razonamiento automático" @default.
- Q2555318 label "raționament automat" @default.
- Q2555318 label "Аутоматско резоновање" @default.
- Q2555318 label "Аутоматско резоновање" @default.
- Q2555318 label "автоматизоване міркування" @default.
- Q2555318 label "автоматическое рассуждение" @default.
- Q2555318 label "חשיבה אוטומטית" @default.
- Q2555318 label "استدلال خودکار" @default.
- Q2555318 label "المنطق الآلي" @default.
- Q2555318 label "स्वचालित तर्क" @default.
- Q2555318 label "自动推理" @default.
- Q2555318 label "自动推理" @default.
- Q2555318 label "自動推理" @default.
- Q2555318 label "自動推理" @default.
- Q2555318 label "自動推理" @default.
- Q2555318 label "自動推論" @default.
- Q2555318 label "자동화된 추론" @default.
- Q2555318 altLabel "raisonnement automatise" @default.
- Q2555318 altLabel "razonamiento automatico" @default.
- Q2555318 altLabel "reasoning" @default.
- Q2555318 altLabel "автоматичне міркування" @default.
- Q2555318 prefLabel "Arrazoiketa automatiko" @default.
- Q2555318 prefLabel "Automatiseret ræsonnement" @default.
- Q2555318 prefLabel "Automatsko rezonovanje" @default.
- Q2555318 prefLabel "Otomatikleştirilmiş muhakeme" @default.
- Q2555318 prefLabel "Raciocínio automatizado" @default.
- Q2555318 prefLabel "automated reasoning" @default.
- Q2555318 prefLabel "avtomatizirano sklepanje" @default.
- Q2555318 prefLabel "aŭtomata rezonado" @default.
- Q2555318 prefLabel "geoutomatiseerde redenering" @default.
- Q2555318 prefLabel "ragionamento automatico" @default.
- Q2555318 prefLabel "raisonnement automatisé" @default.
- Q2555318 prefLabel "razonamiento automático" @default.
- Q2555318 prefLabel "raționament automat" @default.
- Q2555318 prefLabel "Аутоматско резоновање" @default.
- Q2555318 prefLabel "Аутоматско резоновање" @default.
- Q2555318 prefLabel "автоматизоване міркування" @default.
- Q2555318 prefLabel "автоматическое рассуждение" @default.
- Q2555318 prefLabel "חשיבה אוטומטית" @default.
- Q2555318 prefLabel "استدلال خودکار" @default.
- Q2555318 prefLabel "المنطق الآلي" @default.
- Q2555318 prefLabel "स्वचालित तर्क" @default.
- Q2555318 prefLabel "自动推理" @default.
- Q2555318 prefLabel "自动推理" @default.
- Q2555318 prefLabel "自動推理" @default.
- Q2555318 prefLabel "自動推理" @default.
- Q2555318 prefLabel "自動推理" @default.
- Q2555318 prefLabel "自動推論" @default.
- Q2555318 prefLabel "자동화된 추론" @default.
- Q2555318 P10283 Q2555318-E162D2BA-DF49-4B5C-AB44-0762A88BCA2E @default.
- Q2555318 P31 Q2555318-1937FCB2-C6E6-426B-ACB3-58F7C8FF84D1 @default.
- Q2555318 P31 Q2555318-7C9E8FB7-4154-46F8-9CA8-EFFBF43AE1FD @default.
- Q2555318 P31 Q2555318-84417AD7-F1C3-4BFD-8605-1CAEC4A4D305 @default.
- Q2555318 P31 Q2555318-a515c024-43a3-76ea-02c4-fca0222ff5c4 @default.
- Q2555318 P3123 Q2555318-7D0DDF1E-504F-4CEF-8C67-A4BDA0D6244D @default.
- Q2555318 P3417 Q2555318-60B7D8A4-8F43-4F45-B4A0-32F2D3CA02B5 @default.
- Q2555318 P361 Q2555318-843670f2-4751-78df-1d94-ed162291fcac @default.
- Q2555318 P361 Q2555318-986900ce-4450-6d37-2568-cdf923eacbb6 @default.