{"entities":{"Q2851924":{"pageid":2862644,"ns":120,"title":"Item:Q2851924","lastrevid":83518610,"modified":"2026-05-07T08:36:21Z","type":"item","id":"Q2851924","labels":{"en":{"language":"en","value":"Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213557"}},"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":"Q2851924$9B870FD0-8C25-46BD-B7E2-C6A1A53E77E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d005ef191db5c17d10ae43cada8542b8f1c16b3e","datavalue":{"value":{"text":"Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851924$AD5B626B-AB5E-4E1F-9A08-50EFD896EAA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af37703b938c303d303819649a778ec60d9c934a","datavalue":{"value":"1405.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851924$129BF1D6-D9F6-4BD6-8DDE-4E6071B1B7EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a975d5a98087db47567408d3b27910bb8432837e","datavalue":{"value":"10.1007/978-3-642-39718-9_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851924$6A6363C0-A02A-494F-B9F8-13C5C9C43403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c61e8b127a86990c4fb6738b302e7dd7bd17f42","datavalue":{"value":{"entity-type":"item","numeric-id":2851922,"id":"Q2851922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851924$A47CBC4D-D5F8-4B8F-9B0C-7395FDA7628B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0b089af3dbfc7c71f039cc790e0caa5cf0377b5","datavalue":{"value":{"entity-type":"item","numeric-id":2851923,"id":"Q2851923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851924$123CEBCB-31A8-4D5F-B1B3-77DB31770BFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"427e8eb9fd32bb5d57a5a57855d39d1b11cc9ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2851896,"id":"Q2851896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851924$1CB1B7C6-A5B4-4445-B785-E9D07A5EC8E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-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":"Q2851924$AA89557D-D906-4E02-925F-0CABFD622D54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851924$27EBA7D6-ED2D-40DE-BA07-BB7AD52688D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851924$1FC2749C-59E3-4FF9-8092-BE4D9FE938D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851924$BD23E744-991E-433E-96F4-2EC1EB1A7FB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"667e1a250ea72298eb7b169a7453319525643fc1","datavalue":{"value":"6213557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851924$39F32956-84C9-4807-A138-00EA44586990","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":"Q2851924$F14A30CB-B042-4395-B52C-1F2AD391B6EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd06fb881735bc4d3b521bbb1b86862ce07b82cc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39718-9_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851924$C6F616EE-416C-4D60-85A1-D3E31D5CB13A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9de0bccb1abefcdc231fdd87cce75727815da17","datavalue":{"value":"W340612474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851924$EC36C52F-8E53-41D8-B13A-C8DC2CCFF9A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3ed54c351d36f5d91aa80524059ac6791e15a0","datavalue":{"value":{"entity-type":"item","numeric-id":3128624,"id":"Q3128624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab67ac7bea91ff6df8a7e7fe269fdef79ac8df2","datavalue":{"value":{"amount":"+0.8687335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851924$5AE4D0AF-F851-4C5B-8796-18A7BADC3EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0b9c32ef14dffa0a3544b1fd302ae3602cb353","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b314e01c9e9508929164f4e6c752b48c47e0a13","datavalue":{"value":{"amount":"+0.8629861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851924$D612389F-5F2A-40B1-B579-4DCA08C43C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a10054c96e4da81fef6973771a2964b4f4bf39","datavalue":{"value":{"entity-type":"item","numeric-id":1274448,"id":"Q1274448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f54a60c676069a88c7562b6bffd9a3b4985a3b","datavalue":{"value":{"amount":"+0.85883844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851924$B0ED3D91-112F-4BAC-A6E4-EA63FAA1F9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b75373f9f0445c42710ea3d755e0ae2535555e","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88b4b3041d8127bba2dd55d5ca1bbc3f5e8270b","datavalue":{"value":{"amount":"+0.8496443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851924$4A68804A-74F4-48B5-97DF-AA3146663ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4f7550369b8e1b947e819d750997574708bd86","datavalue":{"value":{"entity-type":"item","numeric-id":5900714,"id":"Q5900714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9177104b8890b088f2a0b38db48a342835ffc8","datavalue":{"value":{"amount":"+0.84823847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851924$FAADDA05-E08C-429C-A4E7-5EA3310E26A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2bc0e6bf0e67b7e1044cabe3550c7658532cc89","datavalue":{"value":{"entity-type":"item","numeric-id":4490724,"id":"Q4490724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850d7c5ba62114bf83624ef0a5aae856022d31c8","datavalue":{"value":{"amount":"+0.84762645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851924$8BB9FA74-A84A-4901-AEBB-B00CC67D6632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a250ca016f0d5c763d56fe7f0ad35c2bbe1d87","datavalue":{"value":{"entity-type":"item","numeric-id":4501670,"id":"Q4501670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7151e9e53399432474e1466f4c636347a4ab997e","datavalue":{"value":{"amount":"+0.8472901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851924$B0B579DA-00CD-45E1-A97A-199B32AD0720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467def8de5552c77e72ccba93efa4f0a8e995884","datavalue":{"value":{"entity-type":"item","numeric-id":4520488,"id":"Q4520488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba99bdf170e6d33a2f2473f4655798813b77b8f","datavalue":{"value":{"amount":"+0.84645593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851924$AD71D429-CF70-4515-9A50-6BEA69F12950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9b84eaf773193e973dfedcbc9445b6b0d883a8","datavalue":{"value":{"entity-type":"item","numeric-id":5277914,"id":"Q5277914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4865b6a2ba3f52387855aa5b86776cc64e52b9a7","datavalue":{"value":{"amount":"+0.8447145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851924$65D56D2B-C9A3-4834-A602-E64F6C23C57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6aaebf68c59600c5656aefd5570e3997509162","datavalue":{"value":{"entity-type":"item","numeric-id":2026792,"id":"Q2026792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcef850b6a41538a111d4aeecb4b7a0b9157ee31","datavalue":{"value":{"amount":"+0.8404234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851924$93D29F6C-09F1-4F61-8918-A40D835E0645","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures","badges":[]}}}}}