{"entities":{"Q1791147":{"pageid":1801889,"ns":120,"title":"Item:Q1791147","lastrevid":72966309,"modified":"2026-04-14T09:04:31Z","type":"item","id":"Q1791147","labels":{"en":{"language":"en","value":"Backwards and forwards with separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946974"}},"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":"Q1791147$5DC8A6E3-C55D-457F-816C-F89C8CE81D98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c3c30e9d1f93402be594ec11e3b604e4ed50965","datavalue":{"value":{"text":"Backwards and forwards with separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791147$BCF754C1-E870-4A5B-80BB-45CBFAC79CF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2d4e6bef4f8054ba79b995aaceb7d5614fb1726","datavalue":{"value":"10.1007/978-3-319-94821-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791147$FBABD261-8F7B-4ECE-908B-87413BDF8BF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c30535f1fee17e2c14974be762df20f2e3f8551e","datavalue":{"value":{"entity-type":"item","numeric-id":1617828,"id":"Q1617828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791147$5A427BFD-4DBD-47D4-BBCC-B36466736B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791147$2AA6EFDD-C362-4791-AF45-BB38D6BC3B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791147$8EBEBF04-A600-4A28-9C1E-A323DD15670C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791147$74595E58-2407-46AD-9777-355C2C928558","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791147$51C6BBC2-5112-4851-81D1-FA013FD36B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791147$B4CA1216-3A84-4A0F-9B11-1286A5B20D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791147$46F7E4FF-00B1-4042-9396-BE97BF586509","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f940874a99051dc70d2e8f9b2cebaa2a3dde03af","datavalue":{"value":"6946974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791147$4192CB65-F2AD-4F40-AA1D-591CA076ED8C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"605960617776ba8ed66a185753927e4ca021062f","datavalue":{"value":{"entity-type":"item","numeric-id":34522,"id":"Q34522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791147$CBA9C34D-C019-4A37-9291-427E627BAA47","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":"Q1791147$8EC9443A-74C6-4BB0-A546-9F87EE51C895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b93e794458fe807287b8d56ea3fded04a6238ff","datavalue":{"value":{"entity-type":"item","numeric-id":21767,"id":"Q21767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791147$45158E09-990B-4D8B-96A6-10FC48B58FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791147$6A0E903C-1492-45F9-AA23-7C21246A28CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791147$7A8FDDF0-E05B-482C-8BCB-35DDB76F7BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791147$DBDF4B49-CB41-4A07-8615-F4B6EFF8C0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791147$91A0C26C-83B8-4B66-B9EE-E8D5D596C0BA","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":"Q1791147$571974E7-1F7C-4E08-B5A4-7182B08B1043","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2602e99245c044518892be568a80713d55d86629","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791147$B8D09F6A-ECCD-401F-BDEE-0583B5721E8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9987ac4660fa5898bb7b4a800901b8267c262001","datavalue":{"value":"W2809898338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791147$5B4F705A-904C-4B5E-82A1-C38B3A9B27AC","rank":"normal"}],"P1643":[{"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":"149cbe1fba10f383e3aaa52fbfb89bbb0eaeaa71","datavalue":{"value":{"amount":"+0.8245241045951843","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":"Q1791147$93F9DA48-6805-4984-AEB7-FDB52E5DD3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5fd23a49a6ce7297ce3290e65b04bf54e5e8acb","datavalue":{"value":{"entity-type":"item","numeric-id":1617829,"id":"Q1617829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff393531825316f67fa4317cae8ec03f0d3a5fc","datavalue":{"value":{"amount":"+0.7889097332954407","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":"Q1791147$5CE69AB4-9792-4C06-A3BE-3079F1212EF3","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":"7822753c9725b97a917285d4653541201ffac6fd","datavalue":{"value":{"amount":"+0.779090166091919","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":"Q1791147$996DD0EB-D36D-48A4-987B-04C4ECD831EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8785aab0e3c1f4fd35faeabbe37c4b0af6291286","datavalue":{"value":{"entity-type":"item","numeric-id":5408443,"id":"Q5408443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c63d72d2818b76f65bb80d4d7134dfe87af339","datavalue":{"value":{"amount":"+0.7709630131721497","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":"Q1791147$CEB62F80-58B8-4500-B0EC-48073A04BEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf3c6288ae2b877d62f9026039c2314c5c15691","datavalue":{"value":{"entity-type":"item","numeric-id":5504642,"id":"Q5504642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f5252f57273b60e273dd7810c7f1f8a52573e5","datavalue":{"value":{"amount":"+0.7648959755897522","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":"Q1791147$435A9EF4-29DD-43BF-B324-83806DC126D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Backwards and forwards with separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Backwards_and_forwards_with_separation_logic"}}}}}