{"entities":{"Q5747672":{"pageid":7777223,"ns":120,"title":"Item:Q5747672","lastrevid":101722583,"modified":"2026-06-06T02:38:30Z","type":"item","id":"Q5747672","labels":{"en":{"language":"en","value":"Separation logic adapted for proofs by rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785362"}},"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":"Q5747672$EA189E61-62AE-472D-A2F6-91A1F7D949DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff96cb99dc41f165b6834f70dfef6285397275c3","datavalue":{"value":{"text":"Separation Logic Adapted for Proofs by Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747672$2DA4B452-097D-4D32-8C9E-495B3A003FCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fd3f89d2b51083d15663faf497031306402fd3f","datavalue":{"value":"1291.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747672$FB42D855-40B3-41E1-AB73-FB2F91BFB8F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"259eba8e7f06bb0b5df3e2a881eedfaa5ae84be8","datavalue":{"value":"10.1007/978-3-642-14052-5_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747672$111924D0-E565-420D-BE77-4EA177D549A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747672$6E9709C5-2276-438A-A581-8048F6398240","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747672$BB06B0C8-3F1D-4A7F-9349-0DC21DC6AC9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747672$03C9DB25-286F-4031-80FC-64527AD1354F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747672$B787D02D-F124-4109-BEA1-27443EBFBF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747672$57E7A62C-2351-4175-8616-ED695553AC22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e31d561b3b61de74653f099e602ce5ef82217d47","datavalue":{"value":"5785362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747672$AB250F15-790A-429D-9F05-C6187EFB561E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747672$5B17391E-0091-4930-ACA2-550FF914E31F","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":"Q5747672$3982C6B3-15C6-443E-9A25-AB4B74500AF8","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":"Q5747672$696945C8-DB16-4993-A418-E2BA859BC116","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31fa7d78214dd84ddaa1a509d32e4101b1357bb8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747672$171CE821-6831-41B9-BAF1-B3EFF424E06E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3acc45bc12fdd66473a246408a83ccc4959857b","datavalue":{"value":"W1588363303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747672$060F89E8-8527-4365-913A-469090839F1C","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":"5400b0d04258a17f5cec4d3254ebc792da3eea28","datavalue":{"value":{"amount":"+0.7995686531066895","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":"Q5747672$D975507E-221F-4AC4-B524-ED48A5BFDA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1694d6bf440cb2a8ed659587389564d3cae23a","datavalue":{"value":{"entity-type":"item","numeric-id":3454118,"id":"Q3454118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135d707b89b02be8e0bf8cba08b6d42b9c297d48","datavalue":{"value":{"amount":"+0.7931110262870789","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":"Q5747672$B0CF4253-A584-4F0C-B965-9857A66DDD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c142c33cc6c23273f5e1e7f49ef9665a895bb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1687747,"id":"Q1687747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09820109ffc898ffe2bd79a188742b1b1e13e3b","datavalue":{"value":{"amount":"+0.7844125628471375","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":"Q5747672$EE74DE33-233C-4802-97BB-73C4CB45CF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce9665b91ecb3a2eb7e60be16e012a2320e66e4","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecebc6191e9bdd671c3b18fd78cfb2ca45e5b708","datavalue":{"value":{"amount":"+0.7767781615257263","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":"Q5747672$67E600F8-9EB6-4D32-BDC6-6A456F5818E4","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":"5779fec155f1be92869bf92d2e9c78ae4a16d344","datavalue":{"value":{"amount":"+0.7629983425140381","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":"Q5747672$AB11633B-8C6C-4F1C-B46B-F3BC6A560931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separation logic adapted for proofs by rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separation_logic_adapted_for_proofs_by_rewriting"}}}}}