{"entities":{"Q5452601":{"pageid":7482160,"ns":120,"title":"Item:Q5452601","lastrevid":50326853,"modified":"2026-01-13T20:11:05Z","type":"item","id":"Q5452601","labels":{"en":{"language":"en","value":"An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259429"}},"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":"Q5452601$003DAAAB-CB4E-4380-BFF2-03A937415586","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa21ef5a326b9f023cfb73aff58a4e3c53def603","datavalue":{"value":{"text":"An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452601$A0B4E98D-DCD4-49B8-A51B-AB05A455E586","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84c2a14d1d5d2dcb66995c731c2eee3049827db4","datavalue":{"value":"1132.68354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452601$7F00AB9A-B2B8-499E-AB8C-1AF8202E8C4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed7d2ab9adad61ecbac41591b19dc90cf5341ad2","datavalue":{"value":"10.1007/978-3-540-69738-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452601$98D2376B-6EE9-4D48-90FD-E430BFADF938","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11f2b24824a3159e3071b1a76accae952fad828c","datavalue":{"value":{"entity-type":"item","numeric-id":470004,"id":"Q470004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$AC76F499-3611-47D7-AB3E-0ACD5095817F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e175df34cb80156a08994343d7b83fa1ab3f483c","datavalue":{"value":{"entity-type":"item","numeric-id":2462393,"id":"Q2462393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$ECBC549E-DCCC-48C2-9E64-19DEFEB9FE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db4024a540391b7ad5a5e96b7285f26b861ea32c","datavalue":{"value":{"entity-type":"item","numeric-id":470003,"id":"Q470003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$48E4A648-8C7E-4F89-8A59-01750CED4E28","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":"Q5452601$DD6A5F04-8B67-44F8-A69A-A73E0A39949B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452601$2E8D7BF1-9B13-4BCB-A7CB-BB319EE89E46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452601$6DE10D58-3C61-4701-8484-7A55E01A5906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452601$B79AEE28-BE24-41E7-915D-4572C90753A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452601$55C782A8-D1F7-411E-9819-184E75B763E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68c39c04e60cb2513067e4f62995e0bae23b8964","datavalue":{"value":"5259429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452601$0CD71178-242A-4303-A894-7C727118CA3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$B90AFADF-3BDC-4EF3-8DB8-452696743F14","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":"Q5452601$4A586B9C-A888-4180-9836-82906CDB9ED3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2537204d5f0636a3446910713d12d86120595983","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452601$45CE909C-8087-4BE7-938C-4FEC2BE65D89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84fe5bcc64ca0e43a0662cb4586baba506ea5efa","datavalue":{"value":"W1538691881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452601$35A21894-613E-4495-8070-1E699F3380C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddd0949a53b05a5c6e9163f0e19b465ef959e53","datavalue":{"value":{"entity-type":"item","numeric-id":5898619,"id":"Q5898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$628EDC58-41B1-4D8A-B004-65E7208C77CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52d0561d6adf9d7c6eabaf6de644e8ad9f5983d","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$5D856FAD-880C-42F5-B4A4-C2F637AE874D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$1494CDEB-976B-46CD-AC3D-D4EECD95A8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564cac3cecae500a03fe5c95804baa48e6236dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$6EB190ED-0A1F-4A4A-9849-8D9B4B12EE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1da1b48aad7248192eb6bac6e3c0872fcb00b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$97BDCE4D-EC3A-42FE-A54B-3D1487EBA6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838d1a0279b6bb577c789f0255b088571acfd62f","datavalue":{"value":{"entity-type":"item","numeric-id":5311254,"id":"Q5311254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$AE00357A-13C2-4FE8-A12D-EB645F24E5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$473AEB3A-8A01-4E3B-B534-476F3E6EBE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$8CB0325B-F36B-4E00-91DB-49874F1D5986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$6B4012AF-C587-4B4C-BD17-D47581CD1C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9aa2e0ad6c3a17491d918ed415db87319d88de9","datavalue":{"value":{"entity-type":"item","numeric-id":4417906,"id":"Q4417906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$4DBA4DCE-D224-496C-B6A6-578FA29717DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01893115d15c8b27d6dde25c7a72d7981bc7bba4","datavalue":{"value":{"entity-type":"item","numeric-id":5899082,"id":"Q5899082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$A186F9F4-4BC0-40EB-BFD9-686825151B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bc147e554421b32de8151899e567ae26f219e3","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$52AE606A-4FF1-46D3-A6FC-B4AE4FA9B492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1175367724993f3e0249db2e141c79883c1c01f4","datavalue":{"value":{"entity-type":"item","numeric-id":5711490,"id":"Q5711490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$E25B29CF-BE9A-4A8B-BD39-226A9115F516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31673880903a7f45b071aeeaa26db97b0515e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5716594,"id":"Q5716594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$E13BFCF1-9B52-4150-8AC6-BF2BF7BFD615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$389DCD8F-04AE-43D6-B4D7-7279BAA6650B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05471aae7e071cb257e3673e6ee079f4d3972f3","datavalue":{"value":{"entity-type":"item","numeric-id":4540967,"id":"Q4540967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$80FC6D4A-BCA2-4F0C-8E43-5F9BAE0A7E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82ac1875f2bd79fe60fd4a60c4b76074c2e13d8","datavalue":{"value":{"entity-type":"item","numeric-id":2722067,"id":"Q2722067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$5A0A3B23-B31F-454F-BD1C-87F134515C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257d08455ef584eb671b59fe645a2702cfc11cf9","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$92BB7408-A519-4F49-92A5-4300260E0650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$B6764F13-4C40-4108-B59D-5D454A261E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$035A895C-8CB4-47FB-8524-45CC23DB50CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$C5C21F6D-FEAB-40A2-902D-FAEFA3716CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186c4ecbf8700f32cc81202dc28f277d034a67b5","datavalue":{"value":{"entity-type":"item","numeric-id":5394609,"id":"Q5394609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452601$25A6F078-41FC-42F0-9544-90029B64B52F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe19249f44bc816dc61890c9937ca1f670a1985","datavalue":{"value":{"entity-type":"item","numeric-id":3510799,"id":"Q3510799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46d563dacdc3dbee21af9db74676f9d9b35f911","datavalue":{"value":{"amount":"+0.7928810119628906","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":"Q5452601$563D82DB-E0A3-4700-880C-9D0E6B76EAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b85eb390ca89c4206ca5aece9f558858df6a1ea","datavalue":{"value":{"entity-type":"item","numeric-id":5898619,"id":"Q5898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9e8e7fbb61cb3375fc621d3f3248de3168e393","datavalue":{"value":{"amount":"+0.790783703327179","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":"Q5452601$520615A9-9664-43C4-8988-B5A1C4DA9B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f24451847ad4eb0ec48494a5ae1d33727204ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5408433,"id":"Q5408433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69bcd98be8d22ac840e0fd146831ccb0f2d0ab2","datavalue":{"value":{"amount":"+0.7819842100143433","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":"Q5452601$ECDB5A1C-870F-407B-93F4-56779721745A","rank":"normal"},{"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":"7d9150cd2ae923c196e2b1fa3ecbc948450c5b03","datavalue":{"value":{"amount":"+0.7750874757766724","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":"Q5452601$AADC7F6D-7223-45C8-8553-DED3431921B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9babaf2bd52e8d0585eb0dfafb2c1d459313c380","datavalue":{"value":{"entity-type":"item","numeric-id":2908486,"id":"Q2908486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84648cb7c8f4da2b2c9d2045089b40a93dc7ee0","datavalue":{"value":{"amount":"+0.758593738079071","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":"Q5452601$B74E76B2-2671-44AB-BB9C-48D1C1D40E9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452601"}}}}}