{"entities":{"Q5452611":{"pageid":7482170,"ns":120,"title":"Item:Q5452611","lastrevid":101124443,"modified":"2026-06-05T23:56:05Z","type":"item","id":"Q5452611","labels":{"en":{"language":"en","value":"Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259438"}},"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":"Q5452611$C9DD775A-5923-4EAE-A8C4-194D6E680CFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e7ffe61555bc21fe6bcc3b918ae17ebc4918671","datavalue":{"value":{"text":"Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452611$4F0AE3C2-680E-42CC-91B5-8135B9E549F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e56f2eb741325edd04fe868fe4b207b37ddc511f","datavalue":{"value":"1132.68467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452611$6D709B7F-3305-4104-BB5F-FF1EA7615A7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"869acdca950c9a922b733b4f428836e7a45a3ef6","datavalue":{"value":"10.1007/978-3-540-69738-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452611$C84A235C-4E7E-4D6A-B262-24685F437AC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b6045a64d91cf3e16226f838f0451351ea3923c","datavalue":{"value":{"entity-type":"item","numeric-id":5452610,"id":"Q5452610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452611$51BCCFEA-3DB0-41D9-9AF2-17B4945AF42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84033e5f08e232b4a895932cf03288a9f0ca3e58","datavalue":{"value":{"entity-type":"item","numeric-id":2764070,"id":"Q2764070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452611$5A02A1D0-1AE9-4E3F-A25F-97EF10ABE1B4","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":"Q5452611$E1EED054-7476-407A-A81C-D702E09A085F","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":"Q5452611$BBE6E318-4F72-468E-8FAE-C9BBC0D51A4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452611$BAC92908-9E64-4996-A60A-E9088F90584F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452611$BC8186D5-22AA-4293-8C3D-9C98C8D4AD43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dc79a3e9ec5546534c34fb9df4f496471f5c805","datavalue":{"value":"5259438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452611$52033395-C84E-4D7C-B959-7433D2151758","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":"Q5452611$FFF5F34F-C1FC-48F8-8C8F-45BCDDC242B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e216322c7aeb3ad6fd8c4f93ad84aac8468cb582","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452611$89A25F37-0139-45EF-BB18-7DCF0B56D3ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83c8342d2e2768e118171b38f96f190e3f2921ef","datavalue":{"value":"W1738877549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452611$69AA6320-F22F-46C6-A86A-4909C78D653D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aec95ea7e5d32d36598df24a980314749c80112","datavalue":{"value":{"entity-type":"item","numeric-id":2764069,"id":"Q2764069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef75c7b60d3722b7cd1e9c0b9f7461e84244d928","datavalue":{"value":{"amount":"+0.6921948194503784","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":"Q5452611$08E65CD9-D176-4847-AEB6-5CF1F630E89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5ebc0d81548d921a950ddf4ee0d5ca7486a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":4930728,"id":"Q4930728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e66175d395064701a8320af03e12b71cffa978","datavalue":{"value":{"amount":"+0.6854745745658875","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":"Q5452611$CE04EFC5-345D-4EA2-AF49-566696EC8AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11a34c1631b77cefa63ff6edcd7b5b9edab8a27","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68dd44e3f50c5ec77ee3e0c904d90b5b47c7e2be","datavalue":{"value":{"amount":"+0.6841219663619995","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":"Q5452611$C3C7DEB3-BA74-41A3-A4C6-940E80A11AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee00864ade5cb8aa97b3bee5509a251adeab8846","datavalue":{"value":{"entity-type":"item","numeric-id":5276155,"id":"Q5276155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e009768e9ee1de12cfd72d542d166dcbc889fc","datavalue":{"value":{"amount":"+0.6828511357307434","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":"Q5452611$849571C2-D633-49E5-B4B8-7DF63CC56712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf6e1539f3abbeee51f7619366fb45e1ed51711","datavalue":{"value":{"entity-type":"item","numeric-id":3189844,"id":"Q3189844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b97e0a15f8e8df39cb78183095085c615575ed","datavalue":{"value":{"amount":"+0.6825267672538757","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":"Q5452611$9878AA37-150B-4D79-B11A-167B2E42F2A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maintaining_Doubly-Linked_List_Invariants_in_Shape_Analysis_with_Local_Reasoning"}}}}}