{"entities":{"Q5408581":{"pageid":7438155,"ns":120,"title":"Item:Q5408581","lastrevid":51972605,"modified":"2026-01-20T16:11:43Z","type":"item","id":"Q5408581","labels":{"en":{"language":"en","value":"Decidable logics combining heap structures and data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282638"}},"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":"Q5408581$114A1AFA-9613-465B-915A-7FF0DF81D368","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"095999bd7eb9ca610f510419cf0a69216d911524","datavalue":{"value":{"text":"Decidable logics combining heap structures and data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408581$C6AA5259-B876-427E-8C43-B9C9E21389D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e84ff2f1d641033f7dd452ac3afd630bbed0fab","datavalue":{"value":"1284.68411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408581$B0FDC40C-887F-4B98-B281-06BD41EB88FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2b53c996eaca693cf7b8774df2ce931cdc8a82c","datavalue":{"value":"10.1145/1926385.1926455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408581$39E51249-8C7F-44B0-B20A-04F230019AD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408581$7DCA544F-537D-416C-9CA5-F462A2691DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a18e111e56a04dc2b8d1c99cdf070b4eb02f1f","datavalue":{"value":{"entity-type":"item","numeric-id":515664,"id":"Q515664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408581$83743330-8F35-43B8-B725-936770D99B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6814453d9688f9150912c1688f6069baeb94e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2287093,"id":"Q2287093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408581$216704CB-00DC-4435-8901-0C393BB783C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408581$D50E5C6E-FEAD-409E-8167-508437FB6082","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":"Q5408581$838A1416-6FDA-48FE-A9B3-515A054D0D12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0159e421263b84bf4cccb4418368d90e61550d52","datavalue":{"value":"https://eprints.soton.ac.uk/272448/1/popl-strand.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408581$D6915796-F050-4956-B7C6-875A2A635F52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408581$D0B4186F-A6F0-45A3-8324-9F553D699E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408581$753447E6-995F-4BB6-906C-58D02E3506D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408581$0AADC136-8150-4131-886C-0609D9BB35E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408581$74CF944A-75AA-48E1-B83A-4C5AD00650DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca12ef1dc94cd9925869cd5f1b0d3ff5040aa6a3","datavalue":{"value":"6282638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408581$87B147C6-8F06-4B9A-A6BB-76A45350C5BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408581$57F10B3F-E5C7-4391-A823-588619750810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524d2901950f08edde1dce54bfc7606a0940e8ec","datavalue":{"value":"combining decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408581$765F3DAC-5AAB-4ADB-9F9E-3D5E4781EF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408581$B570AC42-50A1-44B3-9305-86624371A537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6765a99b811b8fdb7494817a6601824458c085e4","datavalue":{"value":"heap analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408581$05B07C74-7E04-4DC7-AC2D-624A352B29BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408581$6B95BF2E-42F0-4910-9E5E-B2673695B1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61439d791f6aac729372268f16b553bcf47e3b78","datavalue":{"value":"SMT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408581$83670092-4F38-4C29-BE30-CFCCBDDAE29E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408581$8954E966-1C74-4ACF-AF51-58FBCF9D1163","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":"Q5408581$7591DFB7-DFB8-42C7-A8D8-E7F17841FB58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8cf5c65b08f549aabbc4ce18a4a82ee930b2858","datavalue":{"value":"W4238367836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408581$BA6D78DF-F0E8-4526-A2C6-390781DC4D62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74e7ae950967d9d83198b88f58fe257c62a8a73","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc46a5a511d6674d380c4ce12ac4fd3766f83b8","datavalue":{"value":{"amount":"+0.7840100526809692","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":"Q5408581$1E3F7D4D-4E9C-424B-B132-436F0F7A0D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500d63d94709eb017b31978b3c74de1e0942ac59","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19607aeb2437b2d686307060eb5a7cc3dc03445","datavalue":{"value":{"amount":"+0.7829605340957642","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":"Q5408581$9103DAEC-0E85-4156-80EA-B7853C5D0311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0fbceec55478b7811fdca0d030f66fe942aff3","datavalue":{"value":{"entity-type":"item","numeric-id":5899082,"id":"Q5899082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1387c93b97ac606ae1177563a115c66e0ff3bc17","datavalue":{"value":{"amount":"+0.7825395464897156","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":"Q5408581$D57392CA-0069-4E3C-9587-D67EDD5E4C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf94048c880ce6729da08cbc9cb359a4d8d9e4c0","datavalue":{"value":{"entity-type":"item","numeric-id":3184673,"id":"Q3184673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c2e66da649c6e635cd7f6a970983f06d20257f","datavalue":{"value":{"amount":"+0.7720460295677185","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":"Q5408581$E73BBB56-173F-4835-8F1B-D31BD707A53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f24451847ad4eb0ec48494a5ae1d33727204ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5408433,"id":"Q5408433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095e987c453fd7ba7198fcb1f73f1054e716628f","datavalue":{"value":{"amount":"+0.7544100284576416","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":"Q5408581$354B9952-78B0-4419-98C7-0309FA0C786B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408581"}}}}}