{"entities":{"Q5452612":{"pageid":7482171,"ns":120,"title":"Item:Q5452612","lastrevid":50326898,"modified":"2026-01-13T20:11:06Z","type":"item","id":"Q5452612","labels":{"en":{"language":"en","value":"Automated Verification of Shape and Size Properties Via Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259439"}},"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":"Q5452612$3A2DF588-8589-464D-828D-AE51826A1A6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3d9a71cf276c770fb93798759e507e9d00fb65d","datavalue":{"value":{"text":"Automated Verification of Shape and Size Properties Via Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452612$A310D3D2-5BE3-454E-948C-0CE25BB3BA33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecf3e7f002877ea3ea7284953fc14228b3584831","datavalue":{"value":"1132.68477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452612$2E997078-DF47-4B5A-9066-E99CED8A43A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6862beeaa1927851f27fc527fce20315a416d14c","datavalue":{"value":"10.1007/978-3-540-69738-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452612$39E5BD8D-C685-4234-A3E0-E2A761ECB8CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d434b3386a2e1d22ea7d407073d0af6bd3f7060","datavalue":{"value":{"entity-type":"item","numeric-id":436398,"id":"Q436398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452612$999366D1-9C71-4C14-BB4A-9205A161E281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"090a113d0db9fc2697284494c2b1b7aae1b147ef","datavalue":{"value":{"entity-type":"item","numeric-id":436397,"id":"Q436397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452612$33F0802B-C1DF-4BAD-A6DB-B8ECE4038C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6240a0e63014b3ab3cb57b4f37c6b5dce0ed710","datavalue":{"value":{"entity-type":"item","numeric-id":436399,"id":"Q436399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452612$01A9E0A5-B53B-4BD5-9BAC-A950B2CAE242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452612$9197201D-A33B-4FE2-8590-0789C72C2C64","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":"Q5452612$84A69807-66D5-4497-AFC7-CF3FD9C439AD","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":"Q5452612$61FE5846-2E4B-4EAF-B76A-0B0EE09E6D01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"518daa4ad6308c106cbe9541b27ac88e39fd37ba","datavalue":{"value":"http://dro.dur.ac.uk/6213/1/6213.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452612$4B186FDA-B35D-4431-8F58-BCE0FBBEB91B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452612$1EA2625F-B423-4CF9-AB3D-837E0CF3BFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452612$1AB639EF-5FAA-4EE7-B04B-B10AD1D37844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452612$376815FA-6B90-41FC-A1A2-34B7151A2BAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da5a5b5e8cf4342295a78f0032c07dc60a771b5d","datavalue":{"value":"5259439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452612$2D72F055-3608-4834-B2EB-AC159EB9FAA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452612$58267F19-6826-40E1-8559-A3194D6397B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452612$A0E51484-0310-4A29-965D-FBAA4AC81A8C","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":"Q5452612$21D0C626-3F0A-484E-8926-9C46C0173EC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4894e9da279b19a6c1631a80ff09e06f3d93205","datavalue":{"value":"W1567479568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452612$BBE159EB-D407-428B-B2AC-FCEF721794BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea93506793d7ae3e9f100eda6c9ed8d96448d9b1","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284b2541df1f2af87411066afd7b9871abcb18b0","datavalue":{"value":{"amount":"+0.9534900188446044","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":"Q5452612$C678BA18-2C31-46DA-B8DE-DB3EFDD77905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"effa353d5ae0977d1a82ed8e033d68fc0ef92444","datavalue":{"value":{"entity-type":"item","numeric-id":5316560,"id":"Q5316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5bdf20f1d4645073e57b61a0760c0ecb6b58ad2","datavalue":{"value":{"amount":"+0.7967051863670349","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":"Q5452612$9F392F88-08E5-48D6-8D5E-B4C5789E71C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ff1e6c6fc26e94b52a8731f0edc52b7b70a33a","datavalue":{"value":{"entity-type":"item","numeric-id":744329,"id":"Q744329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f103d7f6ddb9934c47986d1d48cc932c37eec5fe","datavalue":{"value":{"amount":"+0.7885491251945496","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":"Q5452612$24D304CD-33CA-4463-8FA3-9DAA7577F1E7","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":"fb06eea6a1b7d233344b10725b14df2f6eb3f805","datavalue":{"value":{"amount":"+0.7837335467338562","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":"Q5452612$58D83CE1-E395-4B11-BC41-62A0A0994DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c73e27be43b684a3a9d118000e4bc37409973b","datavalue":{"value":{"entity-type":"item","numeric-id":604389,"id":"Q604389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d03c681be0098ccf0f87478c0d2425730a3f47b","datavalue":{"value":{"amount":"+0.7714979648590088","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":"Q5452612$027D2437-B65D-4BCA-A05B-7F0DF4AA360A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452612"}}}}}