{"entities":{"Q4907859":{"pageid":6937438,"ns":120,"title":"Item:Q4907859","lastrevid":90949145,"modified":"2026-06-04T21:52:16Z","type":"item","id":"Q4907859","labels":{"en":{"language":"en","value":"Reasoning about heap manipulating programs using automata techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138799"}},"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":"Q4907859$2C4CD8C6-AB65-429B-B2AC-CD3E9D9ACCC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb0922b58e98ac74770df34fb98bbfaf6a8cd00d","datavalue":{"value":{"text":"Reasoning about Heap Manipulating Programs using Automata Techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4907859$C56EED3F-A690-4A68-BF3D-A3DB9E2217BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82c7ab90365979feb1424cad6fe1d312ac350d0d","datavalue":{"value":"1256.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907859$92EDC4F9-5791-41EE-A911-731E05BE3A33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6929a0cabbeb9369de236257a618022d33165aba","datavalue":{"value":"10.1142/9789814271059_0007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907859$7F924158-2B34-468E-9953-AAE87FF16897","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907859$CFA2308E-F32D-456E-8AF9-286FF6BB2C1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aeebf9bd4378e6f764c1e2d0c61fa01519002d39","datavalue":{"value":{"entity-type":"item","numeric-id":4907852,"id":"Q4907852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907859$E5739B29-A430-4FB0-974D-0DBF65AFF73A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ea8e6212b2d0b7fd67fe1be831418ddf2951d7","datavalue":{"value":{"time":"+2013-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4907859$53202099-03EA-4DDD-AB4B-3D11B5EE2466","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25900e5ef1e2dadddc5a3b7f3789fa0120ee46fe","datavalue":{"value":"https://semanticscholar.org/paper/c4996a08328ed01cba94a3c0b5d057cf0819fd76","type":"string"},"datatype":"url"},"type":"statement","id":"Q4907859$F1C2781C-7227-4670-AD3E-BD2D732095B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907859$3E091828-8394-4BB2-A5A8-F2DBAEF0A3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907859$FED5E4C5-964F-402E-80D2-2363893941AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907859$C9D3616E-0B43-4F23-8246-D5D5E446F1BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27c215a5eb12baeef57ffc1844ddd0cb317e0bea","datavalue":{"value":"6138799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907859$A1FFC9D7-F95D-4100-9437-7FCC7CE55719","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":"Q4907859$73F21C52-34A2-4DE1-8EE5-215B2E62BC97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33bbe8a4474bb4c43e94a438e37c9649522bd0d2","datavalue":{"value":"W2395854335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907859$8971A149-78D7-4173-8AEE-CFFC0C459B26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1af7964d445b1653d8a5c0655b158c04645ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2441715,"id":"Q2441715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2906f9039bfc41db2e4f85070b276f9634b3cad","datavalue":{"value":{"amount":"+0.7488874793052673","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":"Q4907859$E3AE24A9-26C8-4042-9975-68646FD618A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0dbb3f9da6f8e967e3c8716ee26d8e2be4ebe1","datavalue":{"value":{"entity-type":"item","numeric-id":5255075,"id":"Q5255075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c46661dea26b539bc09121f5da1d6def7d5ef97","datavalue":{"value":{"amount":"+0.7488283514976501","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":"Q4907859$F1EF026E-16A8-4EA1-A5FD-036863A9480B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74864b923291ea50043a414dd9cc0cf6874cdfc","datavalue":{"value":{"entity-type":"item","numeric-id":4640971,"id":"Q4640971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc2aacd8794c75cf08e6653f4f2325ea1833c82","datavalue":{"value":{"amount":"+0.7456651329994202","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":"Q4907859$F78FA5D3-63E1-46C9-8344-434CFA2B9C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84f21daf21253346d5fd3946a70e0683c5928c1","datavalue":{"value":{"entity-type":"item","numeric-id":3512503,"id":"Q3512503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245f2e2b2aa78f2d650cb321edfb3fcaeebc2e18","datavalue":{"value":{"amount":"+0.7373313903808594","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":"Q4907859$EB5A83CB-D45F-4879-8A66-F983402A8283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e160f2c9fbb4ca6ef209931912ce7f9cd094dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5208779,"id":"Q5208779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567ed34c573b5bddcc8b9e677ba6c55eb14d60bb","datavalue":{"value":{"amount":"+0.7358746528625488","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":"Q4907859$7F1230E0-32A7-4539-AE45-1B18F6AB898A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about heap manipulating programs using automata techniques","badges":[]}}}}}