{"entities":{"Q2817951":{"pageid":2828689,"ns":120,"title":"Item:Q2817951","lastrevid":79745861,"modified":"2026-05-06T14:37:06Z","type":"item","id":"Q2817951","labels":{"en":{"language":"en","value":"A complete decision procedure for linearly compositional separation logic with data constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623284"}},"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":"Q2817951$64174CA7-6DA2-4C1C-ABFA-F8BD2B113CEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"405ec27774339e2edf7e814bc1d513f6a34e7e76","datavalue":{"value":{"text":"A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817951$24358107-2692-4D33-B658-7C1D98A34E43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cedfaf64868d931131b8f6e6f877dbfa5c99d3a","datavalue":{"value":"1475.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817951$6ED8034C-02C8-4693-91A1-DF7BEE54CCC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f47c08a59f65b94608d06f0bcccceb3dfbc89f89","datavalue":{"value":"10.1007/978-3-319-40229-1_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817951$31A58DF9-59FF-46CC-9E99-F0A5CB4AD700","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09e5a0f0034fe99eb09895cb3577da37678d3920","datavalue":{"value":{"entity-type":"item","numeric-id":2817950,"id":"Q2817950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$9C2790BC-7256-4256-A03E-CCA09D7C471D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$E8199E82-6D7F-4C4E-A507-8EA9255B530C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5f7394a0cca1cfe5ffc6e0fdd04b8d512ae0ea","datavalue":{"value":{"entity-type":"item","numeric-id":342711,"id":"Q342711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$1A756C29-3EC0-4C9D-A57D-69FE1BBB15C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$75CBED13-0F91-4082-9429-EC9D4CC948D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817951$88F3ED74-691A-412E-A755-0CABCED4633C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817951$02840B34-A78D-400C-936C-5C7315B0AC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817951$674CD4AD-F242-4532-9E1F-B186541B19B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817951$F629062C-12EB-4927-BE32-0B120BE901D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817951$7DE785A8-1019-4938-AB9F-32C0841CE4A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b16a305a46351bdf578ee9650bd0ef7dd9e9df59","datavalue":{"value":"6623284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817951$4ADB5365-D966-4A77-9BDB-C0DDC07B5054","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c38d7d9c9f3af17c25a5c6cf3800ef2ed92e522a","datavalue":{"value":{"entity-type":"item","numeric-id":35077,"id":"Q35077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$BAFBE075-5D1D-4590-AD1D-E63C0AE04863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da473e069d657f6312622e5621b040a55a3a4367","datavalue":{"value":{"entity-type":"item","numeric-id":32676,"id":"Q32676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$E8FCFA0A-3DCB-4D98-A964-EED47B3573E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$C5405D27-4509-4312-B97B-F29F39D48050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86e863a5050d80bfffa55dffe8141581cefb24d3","datavalue":{"value":{"entity-type":"item","numeric-id":40256,"id":"Q40256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$837F0464-4001-47BC-986B-3CA3604DC416","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":"Q2817951$B2EC29D9-4730-493D-9EEA-0E0A448B1396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d0f07174cc4dd193761ff8401b37fde23b07c94","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40229-1_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817951$3C8AF980-3399-4A2B-81ED-F0CE33BD7AC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90dbbb38288837dfc5e6a6fa1c9ec4e65975c7e8","datavalue":{"value":"W2341060778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817951$41E9F9C9-70CF-4630-833F-5C567B27F322","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50703cd05e2859946ec4c082f410f58ddf7eb379","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$5301AC0D-1421-48D0-B703-B7A376E87E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$DB8118B7-3BEB-45FE-814B-A2E34903E6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bb5764f9f8da63ed23f37bcd731196a63498f0","datavalue":{"value":{"entity-type":"item","numeric-id":4649295,"id":"Q4649295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$D7608151-00C0-4225-8355-6E54DAC9E204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a8c30782817b610a7ffc1fc1b06590b4a095e9","datavalue":{"value":{"entity-type":"item","numeric-id":707740,"id":"Q707740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$605A9F6D-F02F-4E72-BAEF-B6646FCB3C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$7F1D67CF-A2F2-4759-A274-261CBE5CE5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329632390571b70c858fb813a0e714410ba89992","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$94FB4C6B-D9A8-408B-B620-A14020143272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720ddbc225606ec696668d2945dfac90af50e274","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$C275E533-F66D-4634-93E8-E0D1603BB5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$B1771AA7-C58C-4596-86DC-53E220EDDFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cdaf4c19240161f084c8bd06e024f4fa42c69e","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$D9C00596-F84B-4410-B1E4-075805871AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfd6eeba35083bdb99fc1b354aa7a2ba80bf027","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$0B6C2682-4F73-4221-BA7B-647BF09A50D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636a058f8e83cc505757b510fb62dd99437be061","datavalue":{"value":{"entity-type":"item","numeric-id":2789053,"id":"Q2789053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$3F9AD4B1-EE47-40D3-AADA-D5382B0C212A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53a698547733b150b7c94cdb425c4289080ccd6","datavalue":{"value":{"entity-type":"item","numeric-id":3460548,"id":"Q3460548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$5AEB74C9-EECD-4E6A-BF71-9F27CCCFAC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce21aee6b7d1f63ca3a02103d5e7f034f254282","datavalue":{"value":{"entity-type":"item","numeric-id":3454118,"id":"Q3454118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$F1C13310-C0CB-44AF-B12C-5CE05FF52DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dacbb7b14dcb3672700d9db550ae5fb6adc5c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$8E931D66-BB15-4D91-A61B-41EF2DFA7E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eafa32561bedd2503fc06cf62f87454a99ba0b","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$EEAEB7E9-37C5-4135-80EF-BB7D53D10D8A","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":"Q2817951$FF5FDC27-7692-4534-B659-78C720E91E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494aa31720bff090f87eabeb86ce7380ba058cbf","datavalue":{"value":{"entity-type":"item","numeric-id":5747649,"id":"Q5747649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817951$8FD3B632-31AE-4F11-B8E5-CCEB51F777BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e7e6afb67b14d5ac655e9aad0be896869a7453","datavalue":{"value":{"entity-type":"item","numeric-id":2789053,"id":"Q2789053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c75a4db9d0870b1b9f4cb49648308bcc5cfd5cb","datavalue":{"value":{"amount":"+0.8773556351661682","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":"Q2817951$9E861FA6-B277-4C89-B47B-D54A63A6A066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa10a0492b8f73c4de4e6b54492d0fdccf84bf3f","datavalue":{"value":{"entity-type":"item","numeric-id":1688543,"id":"Q1688543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c438824d7177a8d220b8f1e4b7af5047bbc04c11","datavalue":{"value":{"amount":"+0.875177800655365","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":"Q2817951$6A41128E-D10E-451B-AB38-8C86194135A5","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":"3f513578055b882ae896428fc2d533d3dd745bf2","datavalue":{"value":{"amount":"+0.8329506516456604","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":"Q2817951$7DDF0623-4CDD-47F5-AE28-4D458DB84E95","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":"faa8fa7f9acbd1eebcdb255f6109187ba9989544","datavalue":{"value":{"amount":"+0.8303646445274353","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":"Q2817951$5ACCF107-571F-4562-9ABD-F49D9241A936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1337f6f778fe290fe3a403311747133f44a1a0","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d295e56719168fa1fc977b98accc06529a1a77","datavalue":{"value":{"amount":"+0.8282868266105652","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":"Q2817951$03135EAE-FF37-41B4-B869-4E64929B53FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete decision procedure for linearly compositional separation logic with data constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_decision_procedure_for_linearly_compositional_separation_logic_with_data_constraints"}}}}}