{"entities":{"Q6541164":{"pageid":14152307,"ns":120,"title":"Item:Q6541164","lastrevid":57344754,"modified":"2026-03-30T14:10:20Z","type":"item","id":"Q6541164","labels":{"en":{"language":"en","value":"The logic of separation logic: models and proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850756"}},"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":"Q6541164$802AD91E-8495-447F-86D3-7D047A0AC725","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d10b16d79ec3c6ce256ca389c0ba2132c0301a2","datavalue":{"value":{"text":"The logic of separation logic: models and proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541164$CAE874B3-0892-41D8-89C2-8692C1C847E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"153b69dd4468401ed13616f460e1bd653c0f00f3","datavalue":{"value":"10.1007/978-3-031-43513-3_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541164$601272A9-E2FE-49F2-B941-BEC5AE57CF0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$B4BAE786-7FB8-4943-8EC5-2A76674AC6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"215a6f15b6577f5bb7dab2e8f95a2ff457c27f20","datavalue":{"value":{"entity-type":"item","numeric-id":6185825,"id":"Q6185825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$6F4C69C1-D4ED-4447-8C37-3FC120319B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e006463586296b6604df0526236cdd07ea4c259","datavalue":{"value":{"entity-type":"item","numeric-id":439943,"id":"Q439943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$85A2F2B6-EB2D-44EA-9B78-6DFFA3943AFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541164$B3508AD3-6AF9-405B-AD2A-331D740AD677","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541164$1B5F2819-39FC-40A9-B73F-6A4000ED4631","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f87210b9101dbfd6839475ccf4186cf85b127b","datavalue":{"value":"7850756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541164$CE43702B-E181-40A7-806B-CF2F1A500041","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":"Q6541164$094138E7-9987-4A73-AD92-BE77A4C0FB21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$3B42637A-889C-4055-B3A2-2827535DBC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16555ee5891c46c3734f4beaa56696b04148762c","datavalue":{"value":{"entity-type":"item","numeric-id":5214793,"id":"Q5214793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$7C2FDCF7-5710-46BD-AEA9-79B9E1532821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$8DBA1C98-422F-4F20-9A85-44CBE5088813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfd6eeba35083bdb99fc1b354aa7a2ba80bf027","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$6994A052-CFEB-476A-A2A3-6F093CECD9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf8423a6207d2b62d66d36a056cab45be06583e","datavalue":{"value":{"entity-type":"item","numeric-id":5155678,"id":"Q5155678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$5CB32AE3-89DB-4E12-9A19-33806C2D1FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2668941b9cbb4011fa79194e46bde158d377b1a5","datavalue":{"value":{"entity-type":"item","numeric-id":5121270,"id":"Q5121270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$A1169205-63A7-430C-BA36-AE760BE2A76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd27bf6d67a6d069ce32d785da5d98dbf4acf9d","datavalue":{"value":{"entity-type":"item","numeric-id":3406689,"id":"Q3406689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$E7F8792A-01D3-409B-8A4F-8524A4189331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$5255F394-AC02-4BD9-A87A-5349C509AC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$D5FF97E8-0DD3-4693-98D8-32141D405025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb85590b29131821d96963718430ffa09b000c2","datavalue":{"value":{"entity-type":"item","numeric-id":5408420,"id":"Q5408420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$196CFB36-540E-4581-B763-45FFBA3EA63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12558229d03a6a7ab694f951af4d8db7a9b025bb","datavalue":{"value":{"entity-type":"item","numeric-id":3179309,"id":"Q3179309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$FB691A98-CBC1-4771-92AC-EAA654B4236A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$F20A163C-F312-4D74-AA55-3DE3F4892C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b801b615e08f098641390b0fbab7219ff0e7229d","datavalue":{"value":{"entity-type":"item","numeric-id":5466572,"id":"Q5466572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$B83D06A2-0967-4154-9EA2-4D63D239E791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$636A5FBD-38ED-43BC-9CDF-32703C09E0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$488A63E8-3B43-45B8-9C8F-3AEE64395750","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":"Q6541164$48B5A929-CA10-4009-B96F-7AB1B544EE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51744bbaabae728a8929f8609bc516657e80f106","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$ED9ED603-CABE-49F4-BA3F-9D67F92FF01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b38b5112d5f653bddb02662af5d746f460335b","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$A8F4A76C-A0E4-4BA8-B035-0118D771EE67","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541164$51CE8BC7-30D9-45C9-9921-5BF03801CFF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541164"}}}}}