{"entities":{"Q6091412":{"pageid":13225719,"ns":120,"title":"Item:Q6091412","lastrevid":56726376,"modified":"2026-03-19T10:28:43Z","type":"item","id":"Q6091412","labels":{"en":{"language":"en","value":"Effective entailment checking for separation logic with inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770669"}},"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":"Q6091412$D94AC4F1-2752-4F07-B438-E34519F783A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55e27d047ef0e37e83e630c705046f8d53a56d36","datavalue":{"value":{"text":"Effective entailment checking for separation logic with inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091412$F814621B-57DB-4695-9AA4-2B9A01734CA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25dc8357a5aae038810346a5cf6214d3e758ed5b","datavalue":{"value":"1527.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091412$0113D093-2086-4F4C-A39A-AB22892F95BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97a5975e8dcafca909261cacc8f5976d8b2c7115","datavalue":{"value":"10.1007/978-3-030-17465-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091412$7CC717AA-9289-43FF-BF60-45A08D6BAB64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baee09d3d788977496509cbd53316872ef909db2","datavalue":{"value":{"entity-type":"item","numeric-id":1799105,"id":"Q1799105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091412$09B1305C-06D8-4A70-9655-FC594EF842FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6540e32a203254877553aac5eab75fd0bcfef04","datavalue":{"value":{"entity-type":"item","numeric-id":832286,"id":"Q832286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091412$DF76C28D-235D-4DF9-BF09-534AE6189BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091412$9C8C90B3-29D6-4D13-9BCC-20CA1A6EA24A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091412$548FB2FE-DDFC-4415-B500-93E2F7F8E29B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091412$B9966C33-8C19-4D01-861B-E2BD2663C648","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091412$3C018816-76BC-430A-BF1F-1D9DEBB86F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091412$BA62C17E-8D7B-4262-94E5-8A0F0E309076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091412$21A18849-CE99-4A28-A7FE-F7E535C14CAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f677681a15f2bc42c7f49c32eede030e47d62fb","datavalue":{"value":"7770669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091412$6C0D78AD-FB5E-4C1B-BCE5-483C49D36901","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":"Q6091412$E9968B3D-4587-403B-A56E-9493426F2C6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e19bbb791608ca63a345b3983f727d0d9a2b56","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c485b7631e95451d0bec76ba102b56274944013a","datavalue":{"value":{"amount":"+0.8357293605804443","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":"Q6091412$4BB4D83B-2DBA-460D-BDE7-667F56BE0CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca72a740cc4518e5cbf6b1379c150f31db31622","datavalue":{"value":{"entity-type":"item","numeric-id":2817951,"id":"Q2817951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d325ab9d7292096269fdc98d4f54e41ca76af1a9","datavalue":{"value":{"amount":"+0.8141385912895203","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":"Q6091412$CDBDDB48-F6B6-41B7-B452-CD14A5373B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321dfc3b4c9c7651a8484ba5234ad14e8d589acb","datavalue":{"value":{"entity-type":"item","numeric-id":3179308,"id":"Q3179308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa192b113dc325ff78f0e75f20a4b51571d747b4","datavalue":{"value":{"amount":"+0.8134635090827942","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":"Q6091412$70D53E3F-5831-4072-95AC-3B9D18DA3656","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":"Q6091412$98F95AEE-4E3F-438C-B77F-384E773F6BE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091412"}}}}}