{"entities":{"Q5408443":{"pageid":7438017,"ns":120,"title":"Item:Q5408443","lastrevid":96177320,"modified":"2026-06-05T10:36:23Z","type":"item","id":"Q5408443","labels":{"en":{"language":"en","value":"A proof system for separation logic with magic wand"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282445"}},"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":"Q5408443$2154F96C-1F52-481D-97ED-B3CDDF0C6A66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40e09d099a4c3c4ed9f1595d2013adf6ace17652","datavalue":{"value":{"text":"A proof system for separation logic with magic wand","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408443$B85B50C1-B4C1-408F-83CD-C3F1E3927EE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71cb70facce0a2365eea498bd566437f42e65dfd","datavalue":{"value":"1284.68408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408443$7E3459AF-F23C-41FC-AEB4-BA322539D3E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4780390191dc49bcfef6fab478f4fb56d028b92b","datavalue":{"value":"10.1145/2535838.2535871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408443$3E2BB276-87D1-4A76-B7CE-FB707B04ECAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f1d86eb4307dcae5ad5a04a609dec38fae4a7f","datavalue":{"value":{"entity-type":"item","numeric-id":871091,"id":"Q871091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408443$068BAC64-6D1F-41BE-941B-F9CE29A859C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"960ec5db08fbcd49fa89ffa814c6eba04b6e40f4","datavalue":{"value":{"entity-type":"item","numeric-id":306394,"id":"Q306394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408443$7D84BCCC-9F88-4206-991E-1DCAE505B886","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408443$7407E0F9-9779-43DA-8778-CCB7AE59A18D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408443$760E5BB7-3B47-4C84-93B3-D391D27EDB99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408443$68A761B1-0D99-419D-8A48-C46A90A78738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408443$64AF6D2C-E973-4F1E-9323-806DD05D6954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408443$F421E904-C772-460F-B91B-725983AF5E05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85776b6f458a6ecb14aeccf2693ef624fc127c19","datavalue":{"value":"6282445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408443$5F862F59-9FA4-487A-82E1-CF2A373566D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408443$51B98207-DFBA-418F-A50D-DFA6BBEAC574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408443$63DE0C27-BF3A-4D5A-81A7-2AE16D7C9437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408443$5FD9264B-5E0A-49C9-9758-0526F7BF0B21","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408443$C271868E-D472-40A3-9201-0448E778AC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408443$4C6FAC2D-8A19-4873-95CB-C20F0AECFD1C","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":"Q5408443$21739F80-367F-49AF-80BD-A919F4BD8897","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56258806da515f14998097ced4e773fd607064d7","datavalue":{"value":"https://doi.org/10.1145/2535838.2535871","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408443$C8065D54-E7A1-40B4-B173-8FFA01AC35E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79c06cbc716559cba6370ede2a23be8394adfc72","datavalue":{"value":"W2144482530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408443$0200846D-0E5E-4834-B58C-C4CCFD80CCC9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"47e4769662dee40a764b5c476a43d092e7623734","datavalue":{"value":"Q130864090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408443$AA7B632D-781C-4CD3-B57D-E1F83A4DA98F","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":"d3ed500299ecdfda11439b9299c1a175a4654cbf","datavalue":{"value":{"amount":"+0.8191543817520142","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":"Q5408443$224EAE34-14E2-4F7F-AF72-F7D9F503B16E","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":"0f754a79138bb265639b446b92ce343f4a5c7c62","datavalue":{"value":{"amount":"+0.7912468314170837","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":"Q5408443$C782CADC-8631-4246-B54A-26AA1F4B83D9","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":"5a480de3881bfd99f77acd00064d8b111d771258","datavalue":{"value":{"amount":"+0.7906193733215332","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":"Q5408443$98751078-384F-45C4-87C9-0FE51A18794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99af7953828fe30c899bb8c4ca0d8dd663d3b0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2417849,"id":"Q2417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915bfdc281fae0024b1f5b533b662d153d21f539","datavalue":{"value":{"amount":"+0.7879891395568848","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":"Q5408443$52FC30CC-C5BE-4124-BD1C-21649EA531AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302effae99d5b630a1a547d06432f2bd4b8bfd35","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050744215dc4e4165684f2b167cc2e9a4c702cd8","datavalue":{"value":{"amount":"+0.7870668172836304","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":"Q5408443$D23CCBEE-4B8B-4F53-BCD9-F5CBE4D35906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof system for separation logic with magic wand","badges":[]}}}}}