{"entities":{"Q3183535":{"pageid":3194243,"ns":120,"title":"Item:Q3183535","lastrevid":80028182,"modified":"2026-05-06T15:16:34Z","type":"item","id":"Q3183535","labels":{"en":{"language":"en","value":"Types, Maps and Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618514"}},"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":"Q3183535$442AD38B-78FB-4E80-AACA-3EF0525E60E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29c88b2dbb90d3e25defee202aa05276b230483d","datavalue":{"value":{"text":"Types, Maps and Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183535$18807A99-4D9F-4604-86EB-A7CA684EB84A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5614308336ddba3e5cf5b2d182c6d16514edda46","datavalue":{"value":"1252.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183535$B8F18DAF-0886-4832-854A-15B93E1A9EE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56478ffed04a34f6c5135fd8b942e3dbf24ca60a","datavalue":{"value":"10.1007/978-3-642-03359-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183535$F39F43BF-4D4A-491A-B379-86C5A7BA3996","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12962e861bcd5806794148f68880772868b69fa","datavalue":{"value":{"entity-type":"item","numeric-id":2907310,"id":"Q2907310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$FAC58453-12DC-4F53-A3A0-F74CF1841C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$E861BE56-3BA0-49F7-B7CB-19B5CD50C584","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":"Q3183535$06A359B3-6C6C-400A-B02C-A3385528C073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183535$A48BB661-8C68-46F7-B053-82571F4495E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183535$28F13C1D-2F75-4345-8CDD-986E7E79DC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183535$87D78C7E-B84F-4388-B50D-18B32AF6ED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183535$524427E7-770D-49AB-95E2-5466D00D7E3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b428ad98b274b4d1c31968ff80bb4db9870cffd","datavalue":{"value":"5618514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183535$82E0BC79-85B4-419E-8116-70B91AAD6197","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd52eea2a697b4b8d049e4bc0c35f7cd532d00ef","datavalue":{"value":{"entity-type":"item","numeric-id":13243,"id":"Q13243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$32880A86-FEC8-4FF7-9263-36BB14FED5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$36DBC474-F957-462E-9B4A-7E9470CBDB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$C69C5C04-EC2A-4F0B-97C9-1A1EFD695F6E","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":"Q3183535$263A13C4-5EDC-4D8E-9132-7E55919DA8E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60116b8b348825144780abd11eeefa90f24e35de","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183535$45DC0305-12D7-4C95-A7BE-80980264347C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87b771dd9bac91853724a700024124f57a65685a","datavalue":{"value":"W1494673397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183535$6946A2BE-BDB8-4DC1-A449-91EA9940F371","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db1a4e5dc42421c546d4010b6ec0e33d7f4d940","datavalue":{"value":{"entity-type":"item","numeric-id":5458324,"id":"Q5458324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$2EE044A3-71B5-4E84-840D-758ACF962739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$67857C0C-EC47-42CC-BBBF-F59FE6E02BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f4de4f4147c8ebb33c614c7ab09b5b2ab51110","datavalue":{"value":{"entity-type":"item","numeric-id":5493234,"id":"Q5493234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$44A5A8BA-A0B5-44B7-A2D3-0FB098C56EE4","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":"Q3183535$8BA6EF35-7B6E-4C37-8A18-AC47C13146B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1461786fd9147b7231c61e645f0ab20a3eaa42","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$8285ECED-5FA5-42B1-BEB4-207063A6BFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$19FD6CE6-BF50-46FA-8C2D-93AA6E73C136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74772c129535fa0c1534c8e096b9ec51d4c23e1","datavalue":{"value":{"entity-type":"item","numeric-id":835773,"id":"Q835773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$CCAA720B-15E6-4C82-B323-3B26E6AE5D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97baeab46b0692e5e4140b1df7919bcaed4e26a3","datavalue":{"value":{"entity-type":"item","numeric-id":835768,"id":"Q835768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$87D784A3-730D-4BE9-BAF1-E56F5F4DC07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$1C8BCD0B-7452-4FF3-82DB-69A320DC22F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fca8c6bae599173b38636aaeee9a044e8d5419f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183535$BD80FD1D-0EDD-46DC-9240-3AF4275307AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ea7909e9397407fcbedc7c4f2e8d498454d7b4","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d948849af02cc401e0fa599a1c9e0575cbe482","datavalue":{"value":{"amount":"+0.8760567307472229","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":"Q3183535$C686C000-71C1-419C-B780-84BADE125933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e125d08823e9eeeea82b37bc8cc9a6da32af54","datavalue":{"value":{"entity-type":"item","numeric-id":835768,"id":"Q835768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6b4af5e82ce8e93f9d692c98d22b79f2964821","datavalue":{"value":{"amount":"+0.7994353771209717","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":"Q3183535$ED33281B-B4AE-449D-9F57-0CE8ED6AA569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61176e4a257274883ea7ee8cdaea317407853624","datavalue":{"value":{"amount":"+0.7941827774047852","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":"Q3183535$F23E2948-3243-4347-9F60-EBDFCD92CE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfec3ced7587ca1876c7fa59a35e6c50dc496243","datavalue":{"value":{"entity-type":"item","numeric-id":2931805,"id":"Q2931805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15e4f0767f01747fe37fa081206526e688bb9a9","datavalue":{"value":{"amount":"+0.7806878685951233","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":"Q3183535$AAFB7FD3-1554-4686-A3E4-91F88917E457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302effae99d5b630a1a547d06432f2bd4b8bfd35","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a682f783f0271ad388db344c2a08c0873269cf","datavalue":{"value":{"amount":"+0.7606837749481201","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":"Q3183535$A558F4B5-5BA1-4EBC-9964-489C866E8373","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types, Maps and Separation Logic","badges":[]}}}}}