{"entities":{"Q5713936":{"pageid":7743490,"ns":120,"title":"Item:Q5713936","lastrevid":101623757,"modified":"2026-06-06T01:51:23Z","type":"item","id":"Q5713936","labels":{"en":{"language":"en","value":"Logic Based Program Synthesis and Transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2241670"}},"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":"Q5713936$73218884-E692-49E7-BF2E-D1338D80E592","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce4af49bd35f4d53f7ee668b56a081856586d899","datavalue":{"value":{"text":"Logic Based Program Synthesis and Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5713936$FE1AF699-D9FE-48B5-A290-651C73D69C85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd4d831fc59f29f91d4ecc22f3101a4b9212e820","datavalue":{"value":"1099.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713936$3821C55E-99B3-427B-AB3E-CBD61F3BAE9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713936$264E566C-9E63-4E0F-803A-15D13BB71BFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"090468e13eb9a2069bf3cb41c6a80ae70dcecdb0","datavalue":{"value":{"time":"+2005-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5713936$8266927F-22B5-4AB8-A643-BA6154541FCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713936$42B2CEF6-E28A-43FF-B13E-7AFF9494F424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4107d0e634ff232c7cc4f60e49a56c48cbf48bf8","datavalue":{"value":"2241670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713936$588D61CE-748C-460C-B1A2-83B423C0651B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713936$9300833D-F399-4A87-BFBE-6D62621184DC","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":"Q5713936$C0012743-EC7B-497A-91A4-19946BF659A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"413fe129bda5def11ab16011dc48bcecc801a48c","datavalue":{"value":"https://doi.org/10.1007/b98080","type":"string"},"datatype":"url"},"type":"statement","id":"Q5713936$EAF3D083-C677-4815-BB21-9F99353E1608","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a2194eed8c1061f6e103ed17206ad71dcd4a8bf","datavalue":{"value":"W4301837838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713936$1D69DA44-A1AB-45A8-9BA3-CA09CB00F5FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eedeb413f38171312a2e9bbd69143a7846c8b6fb","datavalue":{"value":"10.1007/B98080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713936$0CCFB74E-42BD-4C98-99AC-B7B0CA3AE27E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608dc25c8bb942edbd9de1a087e3c75464deefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4917036,"id":"Q4917036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad71056ddfaa754a29922b4439b0a8155df6c92b","datavalue":{"value":{"amount":"+0.8476139903068542","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":"Q5713936$F6CFD078-0D78-4690-A1DD-367CCBBBF7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f43dd9c852cf867e617df44f7b06a7ba5f542fa6","datavalue":{"value":{"entity-type":"item","numeric-id":5234276,"id":"Q5234276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f929b1fb51f5693c8bb0cf17538867c0ba525e75","datavalue":{"value":{"amount":"+0.7814311981201172","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":"Q5713936$15DD3759-C758-4447-AB10-138F6FD62844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb0544cb1b399e5c692ae4c0c8e4a9f1f2d8d34","datavalue":{"value":{"entity-type":"item","numeric-id":5348904,"id":"Q5348904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd843dc8a20fa93afb6c0f9fe3aeb1600315078","datavalue":{"value":{"amount":"+0.7722736597061157","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":"Q5713936$CB89EB2E-BCB1-4831-91D6-AB96C7194117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14114be4301eaad51f1739758cc68603700c49f4","datavalue":{"value":{"entity-type":"item","numeric-id":1881267,"id":"Q1881267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80dc0d0bcca6d02e9304d715fdec3bebe81b833","datavalue":{"value":{"amount":"+0.7656709551811218","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":"Q5713936$C5EA6BFD-51FE-4B7C-AA26-0E002736D82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4512687151a509ea619fcd5d3efb81882ad2c1","datavalue":{"value":{"entity-type":"item","numeric-id":4764267,"id":"Q4764267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e5457787b58021f1acc19dcd2032e4eb75f729","datavalue":{"value":{"amount":"+0.7624689340591431","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":"Q5713936$C969FE59-2B0E-42F1-996F-803AECE0C787","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic Based Program Synthesis and Transformation (scientific article; zbMATH DE number 2241670)","badges":[]}}}}}