{"entities":{"Q5504642":{"pageid":7534202,"ns":120,"title":"Item:Q5504642","lastrevid":96369236,"modified":"2026-06-05T11:03:34Z","type":"item","id":"Q5504642","labels":{"en":{"language":"en","value":"Separation Logic Tutorial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5496676"}},"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":"Q5504642$4CFCD888-40AC-4774-8151-3800438BBED2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a1197a9245723e1319c7f33fb3a62def9a3df60","datavalue":{"value":{"text":"Separation Logic Tutorial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504642$B65F0D90-5428-4E24-9760-C7C80FD8A136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aec3d1830c23286c185e822990586c0763b65ff6","datavalue":{"value":"1185.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504642$BB2E3ABA-7E32-4387-899E-85A81442DFA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3df501e23e2e6e1dd4397e7748c9c9795b3fd651","datavalue":{"value":"10.1007/978-3-540-89982-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504642$4B8B3175-2691-408E-B266-F7606C35E623","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$6503E159-B8FD-49F5-BED4-48E93DF7B726","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2844be9af34a276fa39e2e4031f3513bcfe525d4","datavalue":{"value":{"time":"+2009-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5504642$DBB0499A-9BB8-4950-851D-9DDADDA21EE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504642$63E3EAA0-C80B-4BF7-9BD1-6297484B3D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504642$848C4EC9-8AE9-40D9-964A-0656540DAB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504642$9B1F386D-D039-447F-BA5A-4D37B390ED95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1701911d08db323976760059eb9d02e375635ff","datavalue":{"value":"5496676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504642$344655B4-9886-4843-AA64-573E4783117B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$55248D11-5BBB-4CF0-B0DE-0C25782C10FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$C4C7959F-B28D-4F4E-A153-B905A05B48CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f7967210adc16826061ff291b00fd6c5f13684a5","datavalue":{"value":{"entity-type":"item","numeric-id":26973,"id":"Q26973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$A59C91D5-1498-4761-8B27-4950DC4203C4","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":"Q5504642$742B921C-44D5-4913-9E5C-BD7A02DA409D","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":"Q5504642$3116BA3C-992A-45E3-AD57-D56080CB3876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ab9e372eb13cc8b819d204a0f8769bb5e8f36fa","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89982-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504642$1D134E84-8EB8-42F3-A355-BBB2CF67C3B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a3fdbeab29609938b985f1dd334274f9cd07bcc","datavalue":{"value":"W2138403792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504642$B7A393E7-47BF-4943-8288-6741938D76EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$824E0630-0DEB-4320-AADE-AA2B49098467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$913D323C-DB23-4AA7-A19A-86705F0D0F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$8B74C803-F12A-4F15-8A57-6E9B646CA95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a0e6895d7265b1b90f97c095daa111dd9c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$43473C51-5722-4237-890E-CFE9ABA01DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$8717680F-7BF1-4125-AF09-FBF03F1B65D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$AAF453AF-77CB-418C-891F-E038F7F1C88A","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":"Q5504642$CFD03AB3-D47E-42A4-A83F-B42393C510C9","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":"Q5504642$54963291-8E24-4D5C-8890-C7FA207D0C74","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":"Q5504642$C65D13E5-691D-4F7A-AACC-83C2F3FD1732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27cde0e5bddced17473d8bcfdb6540e645282378","datavalue":{"value":{"entity-type":"item","numeric-id":5276154,"id":"Q5276154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$24DD61E5-B97F-4683-8541-098D1BE06F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52d0561d6adf9d7c6eabaf6de644e8ad9f5983d","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$4BDC76EF-C199-4B31-B037-872709AAA278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2875da2348ba3de61abec02e7268276d1bf41d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3512504,"id":"Q3512504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$48B39231-5B01-433E-96DC-4B28C974B455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fbfcb44e06b78196b34cbe2844bb7b3e7e56bd","datavalue":{"value":{"entity-type":"item","numeric-id":3512506,"id":"Q3512506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$B4FF7672-D1D4-4050-B142-94ECF6040A14","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":"Q5504642$64A8231A-B524-403F-9660-8B1F8F2027BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac30c585b3eca0009fc86a02535b9a25c0d03553","datavalue":{"value":{"entity-type":"item","numeric-id":5758130,"id":"Q5758130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$37BCAEFF-4D98-4096-A680-6C8B6C6F8E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$D74678E1-67A8-40FA-902A-1088DF083E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$A54EDCB1-CDCD-42FE-A71F-71AB879F2279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504642$4D32B57A-F5C2-482C-923A-473BC5CB8382","rank":"normal"}],"P1643":[{"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":"ea28f3e625b5b21651948fe53981ce5520bb7e59","datavalue":{"value":{"amount":"+0.8208296298980713","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":"Q5504642$1DF6DD35-34F3-45DC-91C5-2362AEBE0985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d21b2e849ce87ab5d54a2f7fd2e571c470cabbc","datavalue":{"value":{"amount":"+0.8189388513565063","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":"Q5504642$864E1721-68CB-4AF9-AFDB-9F0F103AB351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e037eb17731415252d8c469861c7d67806ea85","datavalue":{"value":{"entity-type":"item","numeric-id":2892740,"id":"Q2892740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01ff5dd0d8aa50d5be3ec9b719377ab35f0efa0","datavalue":{"value":{"amount":"+0.8022141456604004","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":"Q5504642$8B57E853-B0ED-479D-B587-415DFF5BE7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef0c45eff2b2c4ed336432f988b4f64b8926aa6","datavalue":{"value":{"amount":"+0.7989393472671509","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":"Q5504642$83161C86-692F-4651-908B-AD9C54A8AE35","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":"3cff332df82280a6b5b2cf7e2f1960d8cdbaeabe","datavalue":{"value":{"amount":"+0.7966569066047668","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":"Q5504642$D50CFD31-C90B-47B6-9F47-1F0E221A4FB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separation Logic Tutorial","badges":[]}}}}}