Matches in Wikidata for { <http://www.wikidata.org/entity/Q173326> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- Q173326 description "act of proving or disproving the correctness of intended algorithms" @default.
- Q173326 description "σελίδα αποσαφήνισης εγχειρημάτων Wikimedia" @default.
- Q173326 name "Formell verifiering" @default.
- Q173326 name "Verifica formale" @default.
- Q173326 name "egiaztapen formala" @default.
- Q173326 name "formal verification" @default.
- Q173326 name "formala kontrolado" @default.
- Q173326 name "formalna verifikacija" @default.
- Q173326 name "formální verifikace" @default.
- Q173326 name "program doğrulama" @default.
- Q173326 name "verificació formal" @default.
- Q173326 name "verificación formal" @default.
- Q173326 name "verificação formal" @default.
- Q173326 name "vérification formelle" @default.
- Q173326 name "weryfikacja formalna" @default.
- Q173326 name "Τυπική επαλήθευση" @default.
- Q173326 name "Формальна верифікація" @default.
- Q173326 name "Формальная верификация" @default.
- Q173326 name "формална проверка" @default.
- Q173326 name "אימות תוכנה" @default.
- Q173326 name "التحقق الرسمي" @default.
- Q173326 name "درستییابی صوری" @default.
- Q173326 name "形式的検証" @default.
- Q173326 name "形式验证" @default.
- Q173326 name "형식 검증" @default.
- Q173326 type Item @default.
- Q173326 label "Formell verifiering" @default.
- Q173326 label "Verifica formale" @default.
- Q173326 label "egiaztapen formala" @default.
- Q173326 label "formal verification" @default.
- Q173326 label "formala kontrolado" @default.
- Q173326 label "formalna verifikacija" @default.
- Q173326 label "formální verifikace" @default.
- Q173326 label "program doğrulama" @default.
- Q173326 label "verificació formal" @default.
- Q173326 label "verificación formal" @default.
- Q173326 label "verificação formal" @default.
- Q173326 label "vérification formelle" @default.
- Q173326 label "weryfikacja formalna" @default.
- Q173326 label "Τυπική επαλήθευση" @default.
- Q173326 label "Формальна верифікація" @default.
- Q173326 label "Формальная верификация" @default.
- Q173326 label "формална проверка" @default.
- Q173326 label "אימות תוכנה" @default.
- Q173326 label "التحقق الرسمي" @default.
- Q173326 label "درستییابی صوری" @default.
- Q173326 label "形式的検証" @default.
- Q173326 label "形式验证" @default.
- Q173326 label "형식 검증" @default.
- Q173326 altLabel "Program Doğrulama" @default.
- Q173326 prefLabel "Formell verifiering" @default.
- Q173326 prefLabel "Verifica formale" @default.
- Q173326 prefLabel "egiaztapen formala" @default.
- Q173326 prefLabel "formal verification" @default.
- Q173326 prefLabel "formala kontrolado" @default.
- Q173326 prefLabel "formalna verifikacija" @default.
- Q173326 prefLabel "formální verifikace" @default.
- Q173326 prefLabel "program doğrulama" @default.
- Q173326 prefLabel "verificació formal" @default.
- Q173326 prefLabel "verificación formal" @default.
- Q173326 prefLabel "verificação formal" @default.
- Q173326 prefLabel "vérification formelle" @default.
- Q173326 prefLabel "weryfikacja formalna" @default.
- Q173326 prefLabel "Τυπική επαλήθευση" @default.
- Q173326 prefLabel "Формальна верифікація" @default.
- Q173326 prefLabel "Формальная верификация" @default.
- Q173326 prefLabel "формална проверка" @default.
- Q173326 prefLabel "אימות תוכנה" @default.
- Q173326 prefLabel "التحقق الرسمي" @default.
- Q173326 prefLabel "درستییابی صوری" @default.
- Q173326 prefLabel "形式的検証" @default.
- Q173326 prefLabel "形式验证" @default.
- Q173326 prefLabel "형식 검증" @default.
- Q173326 P10283 Q173326-8981B8BE-755B-4564-9FD2-299A1B255699 @default.
- Q173326 P1889 Q173326-05186B32-DE6B-4985-A129-427346F34976 @default.
- Q173326 P279 Q173326-dec8451d-4388-ce19-bab2-f90be956d11b @default.
- Q173326 P3417 Q173326-6D9CC70F-2E64-4B72-9E96-323A426AA6D7 @default.
- Q173326 P3712 Q173326-d7da94f3-43d4-fec8-801f-c0b688312fc6 @default.
- Q173326 P3827 Q173326-FC683FEB-65CB-4F2E-A6E5-9F4186E77305 @default.
- Q173326 P5106 Q173326-F1D5788E-B682-45BA-9A30-FEDE977CA4FE @default.
- Q173326 P6366 Q173326-080414E8-18DE-43BF-AC21-3DD3B5D26FA0 @default.
- Q173326 P646 Q173326-7227B7B2-FE58-46F5-8CC3-20343AB95D19 @default.
- Q173326 P691 Q173326-0174572B-0DDB-42B9-A563-36FA01D83A18 @default.
- Q173326 P8408 Q173326-0F08FBEB-FF18-4414-9524-81125312E299 @default.
- Q173326 P6366 111498074 @default.
- Q173326 P8408 Verification @default.
- Q173326 P10283 "C111498074" @default.
- Q173326 P1889 Q16614594 @default.
- Q173326 P279 Q953429 @default.
- Q173326 P3417 "Formal-Verification" @default.
- Q173326 P3712 Q360812 @default.
- Q173326 P3827 "verifiability" @default.
- Q173326 P5106 "formalverf" @default.
- Q173326 P6366 "111498074" @default.
- Q173326 P646 "/m/01nswj" @default.
- Q173326 P691 "ph755479" @default.
- Q173326 P8408 "Verification" @default.