{"entities":{"Q1806131":{"pageid":1816873,"ns":120,"title":"Item:Q1806131","lastrevid":69184005,"modified":"2026-04-13T05:19:51Z","type":"item","id":"Q1806131","labels":{"en":{"language":"en","value":"Specifications, programs, and total correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1356325"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1806131$CA691F34-6462-451F-9019-79C3277183D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1103411d415081ec667c773c6faae685d7d63cfb","datavalue":{"value":{"text":"Specifications, programs, and total correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1806131$DE9EAC7F-FEBB-4074-ADD6-2CCE7AB501E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d34683dd7cff182082aab93966cb03520a36f3d","datavalue":{"value":"0939.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806131$84CF0635-21E7-42DF-9737-3CEDE8E12656","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1212877e5fd6d1e2100366d32eb1308beda11cbc","datavalue":{"value":"10.1016/S0167-6423(98)00027-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806131$5C8E4EDE-FD3B-4C84-B5E4-B8FACBA713A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"797df0a473afbed23917f097577319b472ccc881","datavalue":{"value":{"entity-type":"item","numeric-id":640291,"id":"Q640291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1806131$65BC60E9-1058-4048-A569-646E28E97CEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1806131$CAD9F9A3-7AF4-47F4-8C5D-271C33F05F1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a4d6512efa0fa89e17e38eada884c6f32c9ae33","datavalue":{"value":{"time":"+1999-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1806131$FAE28755-D566-4F4B-A403-032C993A3879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806131$ECAA6640-C842-4F78-AA80-4C70B1EC7812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f866b47c6e6cc9cc56bb14bf3d66e539c6d986d","datavalue":{"value":"1356325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806131$FBC2D0F8-9236-4911-9639-3178BA9E32AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1806131$E677427E-4759-48CD-B06D-EF4744CDAEA9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1806131$F167B129-23C3-44B3-BB8B-59FE3E9B146E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed9717ab702188ea2b06276e639fac8f6972f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5455088,"id":"Q5455088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98ef3530575ea16b3f2a728e4b7b9d2f0f091df","datavalue":{"value":{"amount":"+0.7547405958175659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1806131$87F260AF-26D9-4675-8275-F7D685A1E485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e9309691e6dae97032b2f3ec7c3e38decde3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4727399,"id":"Q4727399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776cc28d9a2ec1996b100dc62b8023c36cabc328","datavalue":{"value":{"amount":"+0.7516499161720276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1806131$C399A8FD-707A-487B-94F2-915D726C58D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d252b060445ac159da552d1652954fb6cdb3a83d","datavalue":{"value":{"entity-type":"item","numeric-id":4454298,"id":"Q4454298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f76a47514e64b7c7094865712f3b9e235512da8","datavalue":{"value":{"amount":"+0.7451108694076538","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1806131$8A0157E4-1930-4209-8081-F20BF025834B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6260512c7632fac7cff041331c9b324bbe692f","datavalue":{"value":{"entity-type":"item","numeric-id":2265800,"id":"Q2265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9ba085146ba802fd5149b6fe3b4d4929795d82","datavalue":{"value":{"amount":"+0.7397584319114685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1806131$4F7551A6-BCAB-4D70-A6E4-43C872891F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58af08c07735439c1630d46be13ee97638380250","datavalue":{"value":{"amount":"+0.7387999892234802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1806131$28674A2D-C536-4B63-9DBE-76CE5574DAE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifications, programs, and total correctness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specifications,_programs,_and_total_correctness"}}}}}