{"entities":{"Q3512503":{"pageid":5542407,"ns":120,"title":"Item:Q3512503","lastrevid":88313654,"modified":"2026-06-04T14:12:09Z","type":"item","id":"Q3512503","labels":{"en":{"language":"en","value":"Monotonic Abstraction for Programs with Dynamic Memory Heaps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301123"}},"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":"Q3512503$9B1CE7A3-962D-4D1A-BDCB-D22347527600","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f899baf6c840e15640b4d9091a8aa3ebaabd66e4","datavalue":{"value":{"text":"Monotonic Abstraction for Programs with Dynamic Memory Heaps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512503$2CFFC7F9-02CE-40BD-BBDC-9298615D41C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e46035f4d4db70ef941d01b73e4b59d3abe33b5","datavalue":{"value":"1155.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512503$0F3F42AE-8BB3-460B-A256-9CF5108CD5DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9ca19f1dc550da7a2876ba50234df9f32de4188","datavalue":{"value":"10.1007/978-3-540-70545-1_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512503$AFCCCD63-99E5-4CA4-BBD7-7E5EA8A21B01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$C36EF3AD-5EDB-40DE-9B45-E7650EE5E8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a75d1fd3e24727d5d5ad95de4882818fdb7a04b1","datavalue":{"value":{"entity-type":"item","numeric-id":2841993,"id":"Q2841993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$D063EAE2-EA7D-46AA-87C8-4744325BA668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c037f0d1306d2af9203e29cd112727d9f4fb9216","datavalue":{"value":{"entity-type":"item","numeric-id":2796062,"id":"Q2796062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$2218F9DB-9C29-4229-8EBB-76435FA11F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db2b9505b07169ac2970e5fecc30e68f1e9e332","datavalue":{"value":{"entity-type":"item","numeric-id":1039840,"id":"Q1039840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$4FD8286A-C4C8-4402-962A-BE4B609E1C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$EBBAAC33-206A-4F9D-9019-75B76749AB23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$C34DFB04-0167-4086-AD8E-A49F0DF63657","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512503$244AC6A3-D1FF-4642-B55B-3DE535C8FD93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512503$0E9026D6-2F58-4382-A3C6-A5154217E7EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bae45a2bed065b62dda4ce808f7eea1374b23885","datavalue":{"value":"5301123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512503$56A5196E-D7CD-4B50-894D-FC3FAFAD8461","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":"Q3512503$09FF6625-30CF-4A66-AF79-1937E1A8F8F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d87198a3bcb62e719f20db5d5d929b9dc4e3190b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512503$B6131A51-6B73-4B85-9869-6280633FD078","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c612d0feb69a1289ae7a96f8f08994706e14aa38","datavalue":{"value":"W1606654639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512503$34620A12-EA16-4218-885B-77CD6C159F45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ba291de6e6c288287b7f3a4d3e3a545b2c1853","datavalue":{"value":{"entity-type":"item","numeric-id":3512503,"id":"Q3512503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$7ADE45F6-7877-4821-AA71-F4F493D81288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$D6C6DDAE-DC46-466C-87A5-56949C6904B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a98dd6d97d70129a78995b432cf7ecbb251275","datavalue":{"value":{"entity-type":"item","numeric-id":5758139,"id":"Q5758139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$120DC9DF-E7DC-47C6-816C-7867586BF967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e4eab86dc21504526d3d070c41ee51a25788b51","datavalue":{"value":{"entity-type":"item","numeric-id":5429320,"id":"Q5429320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$B4A659D3-A0C9-4DEA-B89E-09DF047E7F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$6085D115-1684-4295-96EA-EE6C80A670D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddd894a479ab1374434c96d1f7845c467e8ffde","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$4956CAC0-5692-4D4F-9056-A4919EA42615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956690664b3e12f680b0245467bcc703a87c0ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$4BCA5AD8-0D6E-4A3A-A8B9-B98B984F0BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da45fc98e122038d90504035c635f38f260a985","datavalue":{"value":{"entity-type":"item","numeric-id":5452600,"id":"Q5452600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$E12F3DCE-959F-429A-A735-0EBE9BAA556B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$889B99C2-DC0F-4EED-BFBD-10214FD5CDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7970a0d371fd2492f27c8dd09606e28dddff5ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535007,"id":"Q4535007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$963C6577-73D6-49F4-81DD-A312BFD55148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$BC99704F-868C-4EAA-A6D3-453721336A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dc6e57666b405edcb89a9b298632ab270537f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$36083607-ABE6-4C64-9AA7-6993822DE2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d8a2e65ef4c9f2ea093cb4ae2b4cf39166e690","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$AE14EC80-5E14-40A6-A907-EE165345E0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$7411D483-E65A-4EEB-9542-E6D8ABCE4170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe872a814069bf2cf5a96b0024d50c8fa8c00b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$4AE4AF0B-73EE-47F9-AD3F-A498E83881D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e24ed71623d6e24c8ca66fec437f2e2cbe4112f","datavalue":{"value":{"entity-type":"item","numeric-id":5899065,"id":"Q5899065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$A4C24C09-A129-44EC-A4C4-1500F72E4B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e28476bfef33ad1b2b85b86e71d14c7098ed3c","datavalue":{"value":{"entity-type":"item","numeric-id":4936148,"id":"Q4936148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$F364C642-3346-4EB3-8109-ECC85BDEEC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$55C9AFBF-2CC4-4DF4-BC15-5A980F7EF1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$6E3753E4-87E0-4D85-A671-9E16C5F60DC7","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":"Q3512503$1800009B-9BD4-4247-993E-638365508801","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":"Q3512503$2FFF18D9-F320-4D11-B1A0-CFF2EEF327B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58bef328ea9f6bb0e8653d5a07f3e57490b43af","datavalue":{"value":{"entity-type":"item","numeric-id":688670,"id":"Q688670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$1497217D-064E-4E99-8CA9-CC6A7EF41C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f89133674e76c29495bcf32ab6232930559f5d","datavalue":{"value":{"entity-type":"item","numeric-id":5312904,"id":"Q5312904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512503$7D55FDB0-C734-4751-8376-245C4315A598","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea2dd295f99231d879a578fbc415779b0145aef","datavalue":{"value":{"entity-type":"item","numeric-id":2841994,"id":"Q2841994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f226e0c51a5099781f59655888e0740b56f9c83b","datavalue":{"value":{"amount":"+0.88997424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512503$72BF3624-A668-41AC-ABD7-C1856D8EDAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02bb12bc8f75675a82a45bb063289b4a53967642","datavalue":{"value":{"entity-type":"item","numeric-id":3172870,"id":"Q3172870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f226e0c51a5099781f59655888e0740b56f9c83b","datavalue":{"value":{"amount":"+0.88997424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512503$0737ACFD-426D-4514-B9BE-30D9CEB9CC33","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":"dc51633e6bec50b16dff8c473b98482e559282e4","datavalue":{"value":{"amount":"+0.85510266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512503$182C3DD0-A4EE-4C57-91B3-22139F880D6C","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":"16ebe759eb0fe08e562338c674c06dd91e90a45f","datavalue":{"value":{"amount":"+0.85148096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512503$63ECD66E-A8F1-4118-BDE9-0AF25AD92E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0123009a936ad5e7126032cc36dde474812f50b0","datavalue":{"value":{"entity-type":"item","numeric-id":5898797,"id":"Q5898797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9eb142e9925e8fbd994b5c9e0619f95a9061f6","datavalue":{"value":{"amount":"+0.8454983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512503$D58CC5C0-415E-4F84-B7A5-80BE748FE90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3bad521921dc80e0a271c01abedc4c64a1429b","datavalue":{"value":{"entity-type":"item","numeric-id":4645747,"id":"Q4645747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ecff82df00f595eb2133a1da6dd71a0ff61e41","datavalue":{"value":{"amount":"+0.8454452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512503$5EE95FFD-1479-4F7A-8AF6-0E5C207CE354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monotonic Abstraction for Programs with Dynamic Memory Heaps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monotonic_Abstraction_for_Programs_with_Dynamic_Memory_Heaps"}}}}}