{"entities":{"Q2432239":{"pageid":2442982,"ns":120,"title":"Item:Q2432239","lastrevid":49952323,"modified":"2026-01-12T06:34:43Z","type":"item","id":"Q2432239","labels":{"en":{"language":"en","value":"Procedure compilation in the refinement calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067139"}},"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":"Q2432239$02524035-F379-46E3-A948-6F5F3715473D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1caf9675a3358502f280ec042efb13814714c62","datavalue":{"value":{"text":"Procedure compilation in the refinement calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2432239$E72F0551-AF2D-49FD-A544-602415B9B7D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f7f9f04bbe47075439f49f0b4b8ca68543d1e35","datavalue":{"value":"1102.68439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432239$D34D3DE0-651A-4175-B0CC-9C478A91C87A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432239$6508E03F-65D7-477D-B311-3A88337061B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2432239$2FE9773F-9435-4F8B-956F-7154D8601DBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10fa9ca55b9652701a8711121025cf23369d7950","datavalue":{"value":"https://eprints.qut.edu.au/224936/1/5318.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2432239$D7D10B94-7EAC-4EAB-B505-955B07D39737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432239$9292F281-BCF1-475E-B918-F81F58F7B4EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21328559ada65d705668490aa57ebde492c4573e","datavalue":{"value":"5067139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432239$73BCD546-3143-4153-98D2-EF6FDE998421","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08485d10dabe7be18278aba734903345d2920300","datavalue":{"value":"Program refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432239$13D9681F-1F7F-45C9-B002-F0FC3EEFF348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"525e99f5df692072692d512ba2af5d838acc9c48","datavalue":{"value":"Program compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432239$485CBF4A-2475-463E-925B-91B2CB524B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab37509baa87ef44d6714ab2029dc65f5226ec93","datavalue":{"value":"Procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432239$D1C8A6D5-6324-4860-BA4C-FA4E8B324A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eba28ff8231ccc0f2ac1ddddabedb6549ac713","datavalue":{"value":"Predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432239$EBC0A290-82EB-4A09-8FBE-0CF91402A97C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab712635b884640daa2f5ebe5a1b35d9393debbe","datavalue":{"value":{"entity-type":"item","numeric-id":706491,"id":"Q706491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432239$9BCEC1F9-9EFC-4B4D-9494-23CD602D15EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b7876d568df50ce3b035bc48ad897cc06d7843d","datavalue":{"value":{"entity-type":"item","numeric-id":706492,"id":"Q706492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432239$FE4B0793-82E8-4EB2-A766-F111F4AC2C86","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":"Q2432239$B8DF3A0D-9FAE-44D8-9ECC-4AF9E91D79A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"888a4739ea615c89bb55bd6a7b5ed2bbd176248f","datavalue":{"value":"W2068438882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432239$817A314E-B3B1-41E6-BB26-F5990A756E43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a34bbf25e2987e1e6e1e97a39c2d2826de2a78a","datavalue":{"value":"10.1007/S00165-006-0091-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432239$97E1CF03-F12E-48BC-A288-8E1935A71185","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53ce4dfde3b9187aa98a0aeaef051d4f351f960","datavalue":{"value":{"entity-type":"item","numeric-id":4370262,"id":"Q4370262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b814b67c3265c80ba57f260f946a78e3e203e2","datavalue":{"value":{"amount":"+0.8448954820632935","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":"Q2432239$07F78E32-A9C6-45A4-BCE4-BF84EAE56570","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":"2bdc40de777518052583d4ba90be7e56c99d0d7b","datavalue":{"value":{"amount":"+0.7666651010513306","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":"Q2432239$FA11CACB-8AED-4D60-A3E7-AE331AE817DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff1b3edacc699431ac79f72e3fadd5641186cde","datavalue":{"value":{"entity-type":"item","numeric-id":4808847,"id":"Q4808847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af48d2e9577986f5842b935a2f1bc607049df36e","datavalue":{"value":{"amount":"+0.7611011266708374","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":"Q2432239$828D5335-89CD-4293-BF06-B66921D36231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc77aa29d54755cd116df6e9c1bb02ac3a697876","datavalue":{"value":{"entity-type":"item","numeric-id":4518887,"id":"Q4518887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59079bb7d80e6fdafb59749cda2177b55e0d08a3","datavalue":{"value":{"amount":"+0.759631872177124","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":"Q2432239$ECB259B7-F344-4EA3-AE3A-CCB05C20DECF","rank":"normal"},{"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":"9ddd62d527685852d4f8771fda26a54ec033c70a","datavalue":{"value":{"amount":"+0.7492280602455139","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":"Q2432239$8F7955B5-E329-4022-BA4F-02441E1212D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2432239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2432239"}}}}}