SHMARQL

formal verification

<http://www.wikidata.org/entity/Q173326>

act of proving or disproving the correctness of intended algorithms
rdfs:label
"formal verification"@en
skos:altLabel "Program Doğrulama"@tr
schema:description
"act of proving or disproving the correctness of intended algorithms"@en
schema:dateModified "2026-11-11T10:35:04+00:00"^^xsd:dateTime
schema:version 2567917459
wikibase:identifiers 8
wikibase:sitelinks 23
wikibase:statements 11
p:P10283 wd:statement/Q173326-8981B8BE-755B-4564-9FD2-299A1B255699
p:P1889 wd:statement/Q173326-05186B32-DE6B-4985-A129-427346F34976
p:P279 wd:statement/Q173326-dec8451d-4388-ce19-bab2-f90be956d11b
p:P3417 wd:statement/Q173326-6D9CC70F-2E64-4B72-9E96-323A426AA6D7
p:P3712 wd:statement/Q173326-d7da94f3-43d4-fec8-801f-c0b688312fc6
p:P3827 wd:statement/Q173326-FC683FEB-65CB-4F2E-A6E5-9F4186E77305
p:P5106 wd:statement/Q173326-F1D5788E-B682-45BA-9A30-FEDE977CA4FE
p:P6366 wd:statement/Q173326-080414E8-18DE-43BF-AC21-3DD3B5D26FA0
p:P646 wd:statement/Q173326-7227B7B2-FE58-46F5-8CC3-20343AB95D19
p:P691 wd:statement/Q173326-0174572B-0DDB-42B9-A563-36FA01D83A18
p:P8408 wd:statement/Q173326-0F08FBEB-FF18-4414-9524-81125312E299
p:direct-normalized/P6366 <https://makg.org/entity/111498074>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/Verification>
wdt:P10283 "C111498074"
wdt:P1889 Weryfikacja
wdt:P279 verification
wdt:P3417 "Formal-Verification"
wdt:P3712 correctness
wdt:P3827 "verifiability"
wdt:P5106 "formalverf"
wdt:P6366 "111498074"
wdt:P646 "/m/01nswj"
wdt:P691 "ph755479"
wdt:P8408 "Verification"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata