{"entities":{"Q3608667":{"pageid":5638573,"ns":120,"title":"Item:Q3608667","lastrevid":50591879,"modified":"2026-01-14T12:17:29Z","type":"item","id":"Q3608667","labels":{"en":{"language":"en","value":"Automatic Correctness Proofs for Logic Program Transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523625"}},"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":"Q3608667$E08118FC-D123-4B5C-BE13-C97AB7CF8A6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dabba2e62014787a3a099bef4398fdb37ed8a4b8","datavalue":{"value":{"text":"Automatic Correctness Proofs for Logic Program Transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608667$7B2B052A-405E-43BE-86D1-2B1CAA372CA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04da8f1eb5f7f7f9d21bc7e040e3a24eb1031a59","datavalue":{"value":"1213.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608667$3F6B671A-237E-4AA5-B14C-FF78BA5D14DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4952856c5e4e0610541fc9db2761c493bbf399a","datavalue":{"value":"10.1007/978-3-540-74610-2_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608667$5E4AD42E-3E9D-4F52-8472-B74DC624C418","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608667$D51DEBE4-C4C9-4743-AFCE-FB66C541EC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608667$FBE118A1-E1AC-4CDE-B6B4-E3FADAE11954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9431f83a4f8857bb74e3ca69031f854d9b027223","datavalue":{"value":{"entity-type":"item","numeric-id":1941872,"id":"Q1941872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608667$05B4791C-7570-4ED4-B581-627A6971E8F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608667$8BEF7A9C-0044-4673-BD93-7FF601072B7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608667$8167ACC1-8080-4E65-A5B5-FA22671FD534","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6fb8fcb92ee0e376dc2d6e89246132a4bbdbc4b","datavalue":{"value":"http://hdl.handle.net/2108/40167","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608667$C8C1BCF5-628A-40B7-B05E-642352BBC0B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608667$D3D1A7F7-7800-4D68-ABCB-281BDD52FB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608667$C0210AD2-E313-472E-876A-C8F8B8AF577B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2411cf9fc4a7fb2797e6f93634a8a11ea37e4815","datavalue":{"value":"5523625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608667$995B628D-021E-4BD2-9621-E79F30DB65CA","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":"Q3608667$5C2726D9-9443-4F54-ACCD-DB8FC7BB9331","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6966831cbbcda8e9d3954d2ac6353d442c030ce6","datavalue":{"value":"W1944291887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608667$7F3849CA-DC9C-49E2-87C9-2B9A138152E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6716d6ecc84eb79fa308b7a301b91dfa012d2c","datavalue":{"value":{"entity-type":"item","numeric-id":1941873,"id":"Q1941873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375e94085e684104347028e51a097cd38674c472","datavalue":{"value":{"amount":"+0.9593899250030518","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":"Q3608667$60933010-2ECE-4CCF-929C-8AB8CE33F1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323da5be1cd32b10efb198a86740427d123e78ed","datavalue":{"value":{"entity-type":"item","numeric-id":2865083,"id":"Q2865083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b0f3cf0c893dab63c83724685bd84938dab140","datavalue":{"value":{"amount":"+0.8422394394874573","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":"Q3608667$915596FB-F76F-4694-B01C-632144D10881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e0f4bc12d4867a4fb420ee960de80eada6443f","datavalue":{"value":{"entity-type":"item","numeric-id":2271905,"id":"Q2271905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ea4215df42b9012c5534817dca6fd986510f76","datavalue":{"value":{"amount":"+0.8383154273033142","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":"Q3608667$8D369528-955B-41B8-AFC9-2D683DED1223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430fd0482eb849f118395adb9fd09baf288afd93","datavalue":{"value":{"entity-type":"item","numeric-id":3698293,"id":"Q3698293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da744db8913a354f2b166c2a5742b0ff2f3ceb9","datavalue":{"value":{"amount":"+0.8060099482536316","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":"Q3608667$07D0FFA6-8CA5-4021-A717-DD2B90B46513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db798162da9c996084b740456339b092a7fda2da","datavalue":{"value":{"entity-type":"item","numeric-id":4939537,"id":"Q4939537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942a3256fc163c6e6b222a7b9871f7a9fec8170c","datavalue":{"value":{"amount":"+0.8040220737457275","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":"Q3608667$D4EB6444-75C7-4650-99F4-A5159E642835","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608667"}}}}}