{"entities":{"Q3460899":{"pageid":5240299,"ns":120,"title":"Item:Q3460899","lastrevid":87231827,"modified":"2026-06-04T11:09:50Z","type":"item","id":"Q3460899","labels":{"en":{"language":"en","value":"Separation logic with monadic inductive definitions and implicit existentials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527878"}},"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":"Q3460899$531A94E3-AB7D-436C-B00B-D3E42922DC12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5de92dbd7b16a72a6ee5faca1c3d2df6cf3bf0a1","datavalue":{"value":{"text":"Separation Logic with Monadic Inductive Definitions and Implicit Existentials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460899$3003E417-1D04-4073-A3C2-21FB2FD21352","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b751ca6d059b9045f43582b8f05a0ad592a7c0b5","datavalue":{"value":"1329.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460899$9E5CA2B2-9F95-4A64-93AF-0DBA3A917DCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09ae9308909c6e1b28c8cbb3f302d8a8d6bd79d9","datavalue":{"value":"10.1007/978-3-319-26529-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460899$F76A755F-DC7B-4591-8610-B59143C207B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460899$91315D7A-F739-4F15-B43D-079132C7FE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17168131979283ffeacb3fd96d50dbe9ed48e14","datavalue":{"value":{"entity-type":"item","numeric-id":1758659,"id":"Q1758659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460899$533D1F81-F478-4A7B-961C-B59174A0DEEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460899$3ADAE5B8-5A77-4A31-846B-F0B2617D9D4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460899$0691EABD-2188-4F54-BF23-A7D37DC4E5D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460899$08EB2F02-5EDE-4FDF-919A-EC42C60A8E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460899$C4B0603C-DF0E-4C7E-A14A-8211A3D93FB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c19baa395f7c79b60b57781233dbd28bc7114268","datavalue":{"value":"6527878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460899$2198AFB9-25C0-4C5B-93E0-20D51AFCE1F2","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":"Q3460899$89601451-46D7-4AFF-829D-09521ADDC0AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e347aaaa1d2c165eb3db706f091a568b7118716a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-26529-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460899$65D2F5E3-70EC-49BC-9C9F-4E3733748990","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e61c22b7dc4fcd4de60056c70c770e051c51afd","datavalue":{"value":"W2395497157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460899$D779091D-4D67-4A5E-B3DD-2B3A471EBA4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a58a08463d10a6ff53aaac2336924a78fb3c14f","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2326080d3f8a8b90af6f13521b29d1cbcda165d1","datavalue":{"value":{"amount":"+0.8014833927154541","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":"Q3460899$C9A6CC51-DCC8-4826-A853-0742A25764A6","rank":"normal"},{"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":"a90622beea1807f9ec2ac9df4498575775c17c4c","datavalue":{"value":{"amount":"+0.7888878583908081","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":"Q3460899$01DA3F26-13EC-412D-9AFE-90EC66819635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db28bd672936b61fe9c8cde097ce2d66af8bf386","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2658a9b9c048a97087244c22192f02e00a3cbc2d","datavalue":{"value":{"amount":"+0.7888844013214111","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":"Q3460899$FB2160B5-9248-4F18-BBD3-70924DEE279F","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":"f040cf043ea1029a10a0d47d26d0dd171cd84574","datavalue":{"value":{"amount":"+0.7804664969444275","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":"Q3460899$28D0A404-5A32-43A3-9ACF-880D0DB7A0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb4108b45115d26819b86dcf38d106ae27c5ed7","datavalue":{"value":{"amount":"+0.7716420888900757","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":"Q3460899$6F030B06-789D-49CC-B0DB-500E607D67E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separation logic with monadic inductive definitions and implicit existentials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separation_logic_with_monadic_inductive_definitions_and_implicit_existentials"}}}}}