{"entities":{"Q4452605":{"pageid":6482204,"ns":120,"title":"Item:Q4452605","lastrevid":48244729,"modified":"2026-01-04T02:31:24Z","type":"item","id":"Q4452605","labels":{"en":{"language":"en","value":"A refinement calculus for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048582"}},"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":"Q4452605$093A53B0-0AC1-4CDE-9302-BD26ED4BFCDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14470f3ba4d27762bdde136a1a466aa0e263c262","datavalue":{"value":{"text":"A refinement calculus for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452605$B05D6A32-8683-4F52-AEE2-16144109ACE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efaab0daa6c0406cf42cab23d10355f7cfd6111e","datavalue":{"value":"1090.68532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452605$2BDFF21A-32C8-4E6B-9CD4-9A6CE05D017E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b478428131361cc05b8c643f9d8845cf24adb1c2","datavalue":{"value":"10.1017/S1471068402001448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452605$A39B3EE9-C769-4234-8E22-64C2839F8A4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452605$F3278AF6-D03B-4C12-AC6E-D648DFC73EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7fb66b0206130190f243440decd1e8cf3e7850","datavalue":{"value":{"entity-type":"item","numeric-id":264525,"id":"Q264525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452605$28D778E6-7050-47C2-90DD-1D064B1F5996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"401acd651156f8f24a4edd9efe62ea6cf40a784e","datavalue":{"value":{"entity-type":"item","numeric-id":2841261,"id":"Q2841261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452605$48D57A5C-4B00-4BE4-A6A1-8C63290E78D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75898a5123f24d2694ce7df48e6c7c69dff7ed50","datavalue":{"value":{"entity-type":"item","numeric-id":1370154,"id":"Q1370154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452605$74CA6119-72BC-43F6-9D50-1977844BDB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2c2dfba78a04b1615c287fc4b443b44d5dae01f","datavalue":{"value":{"entity-type":"item","numeric-id":1121799,"id":"Q1121799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452605$0F68C2ED-27B9-4330-B7CB-EDD3BD79688C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452605$0CF3E538-1CF3-4667-92CC-556AF10984AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-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":"Q4452605$83FC8713-0994-436E-ADE1-C951C8897D38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452605$1B07DF2D-755C-4173-8FF3-EFEEDF39093A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b510df3975e867bb41a2f5b98f330695dd80a01d","datavalue":{"value":"2048582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452605$C1A8B525-28B3-413E-BCDB-A4427E904D7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452605$2C9F1815-6F3E-4C84-963E-F1101F9FA116","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":"Q4452605$F14F4607-E896-4D82-97A1-2943DEE7C5F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d090d085cff50384ab46fc0b59b96caa6d641","datavalue":{"value":{"entity-type":"item","numeric-id":3079921,"id":"Q3079921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262c55ae18448335cc74b681eff1aca6b1c5abf6","datavalue":{"value":{"amount":"+0.8658703565597534","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":"Q4452605$52731EBC-AAAC-43AC-AD56-62945D1A377B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8108a05cf159eecae1523f43d05c4ddca99cd8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4370272,"id":"Q4370272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b98a8ab21d9b4b097bd66e5b4d8f63fee1f0c07","datavalue":{"value":{"amount":"+0.8356895446777344","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":"Q4452605$C43DCCB7-307A-47BA-8B34-E11A3FAD7246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b730a67ba6ecebca63b4126c5e7ebcc6b1d146","datavalue":{"value":{"amount":"+0.8343846201896667","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":"Q4452605$90D45A54-04F8-4CAB-A0A1-5E4C389835EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2a9c6e13c18069753bd75884f331f4db799284","datavalue":{"value":{"entity-type":"item","numeric-id":4421869,"id":"Q4421869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20341064ab21abc2f547895e18c3732a04f3383b","datavalue":{"value":{"amount":"+0.82781982421875","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":"Q4452605$322E7A4B-8B48-4448-9281-7A084EB404CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0388170cd34af3ec77e53560a1e6c1dfcb5f5ba","datavalue":{"value":{"entity-type":"item","numeric-id":2841262,"id":"Q2841262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb266a6fe28ab4fb59c904ddaa0eac687d78aa5","datavalue":{"value":{"amount":"+0.8276394009590149","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":"Q4452605$512D8C42-C187-41D6-9E3F-CF8BD7D9EC0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4452605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4452605"}}}}}