{"entities":{"Q5415628":{"pageid":7445202,"ns":120,"title":"Item:Q5415628","lastrevid":92373233,"modified":"2026-06-05T01:33:46Z","type":"item","id":"Q5415628","labels":{"en":{"language":"en","value":"Multimodal Separation Logic for Reasoning About Operational Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294828"}},"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":"Q5415628$55026BE4-816D-4BD8-A234-2A99C90982F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe79ae4a815bd6b45a5526a1fa1a23073b615353","datavalue":{"value":{"text":"Multimodal Separation Logic for Reasoning About Operational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415628$68A3CB41-C006-4336-8250-91096E91EBC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"888bbe73f538a664a4e2ad9f0cee8d57b5554aa1","datavalue":{"value":"1286.68395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415628$4643D51E-3761-4FD6-B602-A9FB3370579B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d29485605c03adc7bdf0416a1032ee00690e0","datavalue":{"value":{"entity-type":"item","numeric-id":1945920,"id":"Q1945920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$4BAE8ED8-F787-40A7-A0DC-7DAAB55D8BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$5C49671D-A7DD-4423-9C63-F144A77373FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9394590d5c791476eee96a2fc2c66d87e6d79c43","datavalue":{"value":{"entity-type":"item","numeric-id":832309,"id":"Q832309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$75CC4E2A-20D9-4EDB-AF07-1F6C7D6D4F8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$18A8D55E-3D2B-4059-BF4B-4A7EA2CE622A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415628$3A69F411-170A-4931-A8A2-F9908FF415C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415628$6A2E05DE-92B0-4088-8995-E1BDA8C07D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415628$9C454752-DA77-4828-AC80-62075462A73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415628$3F0F08E1-24F1-497F-AFA6-0FFDF51A0845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415628$40DF3E08-3D5A-4447-A02D-C9D9E7551D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415628$12455321-6712-42AB-B21A-950282A01F2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccaa2ede9dabbee4c905d8b06ffe18239c934cbf","datavalue":{"value":"6294828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415628$5E0FA1C0-F2B4-4B49-AFE9-EB82065E31B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415628$8B260272-5602-4A7A-9156-AA96AD341941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415628$2282C1A3-6B90-4490-A1D3-9474A273ED95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415628$BC5D0BB0-6CB7-4887-83C1-04E1EDF3C4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415628$F499A83A-A1BA-41EC-BEB3-CF76F969BBC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"328a4887d5a745918f682c9b5cd832468b1041c7","datavalue":{"value":{"entity-type":"item","numeric-id":21718,"id":"Q21718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$E178FC99-B53F-4C8F-9F34-7B5360FC3DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$D7209BF6-857D-4B77-84D7-D74EFC205C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$3284A0F7-F733-4CFD-AAD9-460E67659ED7","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":"Q5415628$1F5F7EF0-CEA2-4B5A-AF0F-D67FB57F5E6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6da9a3c1869d66f6e1ce7eacc39f2ac858a64d91","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415628$34E01F74-3305-4B79-9420-5DA91481E738","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e32eed23ee852c6314d1c65372f3650a984f85ba","datavalue":{"value":"W2134194297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415628$B8EECA39-5459-4769-B2BD-32A98653CF55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed5124fab1d64feb8b4feb25646b660a09eb4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3523161,"id":"Q3523161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$A7B9C4C6-E5E6-4E07-B911-4632A9D5943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f785ae8c8ddf47ebee7b84cec0b052cf2b54fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1945921,"id":"Q1945921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$D2C612F2-C10D-45E3-B94E-D4C875A48989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$952E6617-891E-4036-962A-461D761C1065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$BEBC47B2-B030-4EE1-8F6F-101F023733CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c0aee96fc75c48554d283e014b50b7c23f4f22","datavalue":{"value":{"entity-type":"item","numeric-id":4536314,"id":"Q4536314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$7030A7E7-DBC4-41EB-A895-AB0E81808362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cdc7283fe176cc7266c2ab2cb14158c061aab4a","datavalue":{"value":{"entity-type":"item","numeric-id":3613414,"id":"Q3613414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$0376E4D4-E616-45DA-86E9-B077D27F38A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$474F66AF-80FC-41C6-AE49-491FFDC56F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c013e136cb03e4c5ab8c3a7e8c7df1e0a2f62e41","datavalue":{"value":{"entity-type":"item","numeric-id":3189791,"id":"Q3189791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$B96E5EF7-FD94-41DE-A875-23076730568A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2734f88fd72006d8b2708509b4e6be833b86adc3","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$7A6E5533-F08C-4B1B-BA16-A2C9B9D3FE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c95ee77d807b93fe80eba171bf481cb646d8cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4812315,"id":"Q4812315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$C11CD5FC-111D-4B33-B6A7-49ED21C40280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b3855c763f1bab453e9881e7e67219e28855","datavalue":{"value":{"entity-type":"item","numeric-id":1422628,"id":"Q1422628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$6DD6D4EA-3123-4C0D-B78C-1B7D5F9D3B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db457c46a75b20727f84612ba0607e2d094d824","datavalue":{"value":{"entity-type":"item","numeric-id":3498431,"id":"Q3498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$D6F408BB-E004-44A3-BCE7-6FACAD3244C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$FBC9E6F2-1637-4B6A-80A7-DCA86AD3062D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de173836c028013896cd8bf3b02fa6e12262641a","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$BBF8F456-4A65-46F8-AF5D-55D7E459ECEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$5446F445-04FB-43B3-A3E1-983BBEAD290B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$F54505C1-BCB6-4637-984F-F35D492531D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$6B41A7EB-CE58-4F1B-8356-5BC2C136A12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$3E32A8A2-739E-461A-99D3-417BEDDB5A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2bc1544c590c17526d3e66dbb693ecff0e8af1","datavalue":{"value":{"entity-type":"item","numeric-id":2754138,"id":"Q2754138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$43D09C3A-F3BA-442C-B607-5A9A8E0EE823","rank":"normal"},{"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":"Q5415628$04AB5920-1393-48ED-9C86-827628D332EC","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":"Q5415628$3124EEAF-61EA-4A32-834C-1B1CFA03606C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c43073869ad19af3d7d3c84c26c1451c29bbbd","datavalue":{"value":{"entity-type":"item","numeric-id":1150592,"id":"Q1150592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$CA28A737-1BCF-4B3C-B8B9-97EA35341744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7c68b4d2f2637cb9ac79742d9c96fc8c9c5a22","datavalue":{"value":{"entity-type":"item","numeric-id":5898611,"id":"Q5898611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$75A8D318-DA85-4188-A4F4-C10864C5E174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415628$3633C8F9-1FE6-4E93-8CF9-D83BC2DF4BF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"181b14ce960446f01558c8f737fca05886a6d753","datavalue":{"value":"10.1016/J.ENTCS.2008.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415628$BB3416AC-3A5F-4D8F-B320-EDDA5D79488E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f28a28358356e931ca995f53b57ba656f58046f","datavalue":{"value":{"entity-type":"item","numeric-id":4586138,"id":"Q4586138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b86b7559d9313606b1077b742d0a1096a7b799","datavalue":{"value":{"amount":"+0.9118279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415628$19FD4495-6821-448A-80BF-C2F296094F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b840b9d057f2452c09f3bbadb913e6a78f2db079","datavalue":{"value":{"entity-type":"item","numeric-id":3455830,"id":"Q3455830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193b99263766ba527a8926e994b45501e309cec9","datavalue":{"value":{"amount":"+0.89961034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415628$CB3068C0-7E71-4031-80A4-BDB09EA5E14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7997923f8ea3695262a5568baba6a54518ed42","datavalue":{"value":{"entity-type":"item","numeric-id":5739365,"id":"Q5739365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac102e0f723dd0eeae07c4132440aad5933d418","datavalue":{"value":{"amount":"+0.89799726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415628$1B0D1597-9BD4-40BE-8593-DCC04464A511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab969b19566956f805a7597d42b9abc2936c9eb","datavalue":{"value":{"entity-type":"item","numeric-id":4636289,"id":"Q4636289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c36dd3093e1839a1bc08b8b0095087c335a363","datavalue":{"value":{"amount":"+0.89643866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415628$3B27EC28-8C57-489C-838F-7C2BF3BCA0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7624953e18541fd5529c19f830455ba77535e2b9","datavalue":{"value":{"entity-type":"item","numeric-id":2919456,"id":"Q2919456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d565d8b37471e62c7e67ada8ae05cfe654eda6d","datavalue":{"value":{"amount":"+0.890553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415628$DA61459E-CD8D-456E-A701-5E2D50238731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a90c223ab4c301f2d04ef53ee8575fa60f7ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5216335,"id":"Q5216335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f574913faf3783bf29b3d7ecfd7b1954979129e9","datavalue":{"value":{"amount":"+0.889874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415628$2DEBA5A6-7656-44B9-B410-2A17C260F232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9569e0bd2f0d06187355c8a2b170deaa99922c8","datavalue":{"value":{"entity-type":"item","numeric-id":2859100,"id":"Q2859100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2bb644ab611793e556601feb16d0bc40b990ad","datavalue":{"value":{"amount":"+0.8891641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415628$9081C18A-0D4C-4028-9031-1DC3AB292188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd4b8eb7a9fdb762b7b6b247d433dd50abaa943","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216db467cebd4c5138c14502f91cdbac6fdef2d7","datavalue":{"value":{"amount":"+0.8882798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415628$B963B21B-0C00-480D-9553-DEEDED8B7E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e0c8b89b09b43ffdf5f743b2cd45fd54600fa5","datavalue":{"value":{"entity-type":"item","numeric-id":1924325,"id":"Q1924325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d09d547973412cbce50a97d99aef58867fbd058","datavalue":{"value":{"amount":"+0.8867551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415628$C5A41DF5-9BFB-46A7-8EE0-C92F18BD9867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0986c75780054598f834c275e12f63054d4e1708","datavalue":{"value":{"entity-type":"item","numeric-id":2180535,"id":"Q2180535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8778bc59a82ebd10164a128bf02a2b4a4cb4c56","datavalue":{"value":{"amount":"+0.8861368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415628$F75DB652-676D-4584-A144-2419CED0E010","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multimodal Separation Logic for Reasoning About Operational Semantics","badges":[]}}}}}