{"entities":{"Q4369864":{"pageid":6399463,"ns":120,"title":"Item:Q4369864","lastrevid":46983888,"modified":"2025-12-26T00:05:16Z","type":"item","id":"Q4369864","labels":{"en":{"language":"en","value":"Designing programs that check their work"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1103529"}},"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":"Q4369864$C060AD62-63CF-43DE-BA4F-60E61379FB07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88d001ef743e60aa4e808b109cc5050a5b24bd29","datavalue":{"value":{"text":"Designing programs that check their work","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4369864$FF8D3F30-F8E1-4874-9F06-613989AEFB95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70c05a171e0889240263469e5a821fe132e0de2e","datavalue":{"value":"0886.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369864$E672BB57-CE92-4BED-9C60-FCB477D0DACA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d63aa281060bf5c74a6c202f08c41d9bd113bab","datavalue":{"value":"10.1145/200836.200880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369864$D072E2D3-7F56-4DFD-8DB4-042F6A7D6DA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ac5e296e61551101ee12e382a8020e6d6752b9a","datavalue":{"value":{"entity-type":"item","numeric-id":818834,"id":"Q818834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369864$61C68C5F-8218-4FD3-A69E-E3F98C3F9F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78f88676cda884e928275ea96ed51b8eba83b4d5","datavalue":{"value":{"entity-type":"item","numeric-id":6481013,"id":"Q6481013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369864$0257BD46-DC80-4769-8E65-1F77B63AB72F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369864$9AFB0AA4-1497-45E8-BDD1-AA8C72DCED88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b29b3b44fdd78badb644928bb4bc10e21ae97e1c","datavalue":{"value":{"time":"+1998-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4369864$457D6FF4-35BE-41D9-8747-82C6D685F2CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369864$65B11660-9BF9-42C9-A206-B10C2C231E2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bd35383d5bdb0c17e82c880b9ef2bd2f81e3f3d","datavalue":{"value":"1103529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369864$0DAAFE03-27EA-4EB3-9085-86384DB42294","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33de4915b72e815f6d4f5325f250f5a663291471","datavalue":{"value":"program correctness checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369864$1E5B5EFB-D808-4B59-945F-8C74CFD097CE","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":"Q4369864$4AFE2E38-A477-465D-95CA-BA066BFE665D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0bd4a5145f6666b1be86e82d7989d7de0fc7efe","datavalue":{"value":"https://doi.org/10.1145/200836.200880","type":"string"},"datatype":"url"},"type":"statement","id":"Q4369864$F1722044-D5A1-4E23-A9D5-7574E90982AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"930ba8258069038c6a6f9db4d3271645c8e59cbd","datavalue":{"value":"W1996839061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369864$7BDA9786-C1AE-4149-8E2C-4727B43E7DC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7ed045869b6a441841eca725f18fbd1dc467e2","datavalue":{"value":{"entity-type":"item","numeric-id":1898116,"id":"Q1898116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f9a07053f1b9aa7a39ef8fc1a4f95b656f2b18","datavalue":{"value":{"amount":"+0.8493439555168152","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":"Q4369864$684E0DAC-EEB2-464D-8AD7-EC099A7350A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b7bcb6089ce4741916f7b6f079b879f25f1670","datavalue":{"value":{"entity-type":"item","numeric-id":4036561,"id":"Q4036561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6fe76f102b03bbc300a6d8ad6200b434c9ef67","datavalue":{"value":{"amount":"+0.8413935899734497","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":"Q4369864$464D603F-BF45-44DA-8BAB-A9051B698490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf8ab86bdcc14941d203a39051cd32c6d702bc7","datavalue":{"value":{"entity-type":"item","numeric-id":1911462,"id":"Q1911462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0103e9cdf3791db8b4c270c76e0d45c48e27a6","datavalue":{"value":{"amount":"+0.8408164978027344","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":"Q4369864$522019BE-A2F6-4FD0-958C-C91F8BDD3427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2a8ef194b4e6ba8da60b91b2212de9b57f439f","datavalue":{"value":{"entity-type":"item","numeric-id":3212297,"id":"Q3212297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162e3f75118946b9270002280ef814d394b0456b","datavalue":{"value":{"amount":"+0.8336877822875977","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":"Q4369864$541F30B3-6BA9-4216-ADDD-879D09216C45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4369864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4369864"}}}}}