{"entities":{"Q1373300":{"pageid":1384040,"ns":120,"title":"Item:Q1373300","lastrevid":67268040,"modified":"2026-04-12T16:29:17Z","type":"item","id":"Q1373300","labels":{"en":{"language":"en","value":"A new technique for verifying and correcting logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1089470"}},"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":"Q1373300$D48D4D57-9C54-431F-A4AF-80A1DC37B96E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a40c85fa722e860b3f1ebd9c64f9f8e78917308","datavalue":{"value":{"text":"A new technique for verifying and correcting logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1373300$94EE6841-BAC4-44EA-A1B9-5947BE1E2508","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f7d3ac03dffbb3d15a84bfecafd30eceece64e3","datavalue":{"value":"0884.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373300$28D2FB46-6434-4936-A677-96C4162AA317","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1729038cd4e19d62207e4e4b69664ffc066741d","datavalue":{"value":"10.1023/A:1005878609884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373300$9FF9A964-EE13-4865-89E2-DC0CC3AB5ABC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373300$19062A72-5654-458D-A8D2-FB5A8A4F02A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373300$34FF3AEA-031B-4326-ABE1-5EFB34E2CF73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373300$D75B8966-4A9C-4BC9-982D-0AC046FA2EC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ad10448408cd5d0453e0c76817ffe6c61d936aa","datavalue":{"value":{"time":"+1997-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1373300$44EF8F41-1F74-4B2C-8E7D-D915CF7689C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373300$87285D46-3DAE-4059-8B27-6C55B6881E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373300$5C682C43-6D57-4C62-BE80-58EE4D8F8E48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b61f40057b89d889d1cc7e77e5c652f4d726575f","datavalue":{"value":"1089470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373300$87C8C874-C790-4B34-BA03-90C21E53B2E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a61e0918aceacc399e5f1fa8557a01e7321d3b","datavalue":{"value":"model-building method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373300$141ED59C-A8E8-48E2-957A-86DF7741FFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373300$83F4F107-58D8-42A0-96D3-C6D4E8A39C41","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":"Q1373300$21F6C653-5CAF-4254-81B6-FF5FA3011471","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037422c377da1bdd6fdeff14904e8cc8582f49d9","datavalue":{"value":{"amount":"+0.8018473982810974","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":"Q1373300$18AAAA2E-77BE-46F2-815A-BDDD34E78BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fcf607df370d05227db36713c13767c7a1e60c7","datavalue":{"value":{"amount":"+0.7889418601989746","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":"Q1373300$482846D4-E26A-499B-B3BC-45185B90B7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe662ea68824dff5e1011237fe1a6fc32ebc19eb","datavalue":{"value":{"entity-type":"item","numeric-id":3776674,"id":"Q3776674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16fb66efa59f3e79380d60e716b964fdfe622a8","datavalue":{"value":{"amount":"+0.782541036605835","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":"Q1373300$35114060-BF18-4071-94E5-603C98178497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed941b0c5e36f2d4a69842696bd03cdec74a15e","datavalue":{"value":{"amount":"+0.7819961309432983","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":"Q1373300$4A0A0103-1129-400B-A425-8FC8064AFB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fa35f6556ff12fcb137ab6d3c5f990ee6d58fa","datavalue":{"value":{"entity-type":"item","numeric-id":1105352,"id":"Q1105352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a039aa5f21a8b562dd4f3da88c4313cd95d2f570","datavalue":{"value":{"amount":"+0.7689354419708252","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":"Q1373300$B7D1A2FF-341C-4E28-8C38-81753FC2738B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new technique for verifying and correcting logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_technique_for_verifying_and_correcting_logic_programs"}}}}}