{"entities":{"Q5387848":{"pageid":7417422,"ns":120,"title":"Item:Q5387848","lastrevid":41741856,"modified":"2025-05-07T19:37:51Z","type":"item","id":"Q5387848","labels":{"en":{"language":"en","value":"Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279533"}},"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":"Q5387848$BFBA3422-3EC1-47C7-8FE2-83D419CF3766","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd0f996f1f73a80523dcc57a399e66bddba4624c","datavalue":{"value":{"text":"Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387848$673F557B-9982-4030-8CCE-1E2B3BC9AF2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ef8b3d6c56bf91384d428f8b6fd136e05c7add9","datavalue":{"value":"1143.68583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387848$EEF1169F-E107-4AAF-A5F2-40982503C98F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f54f98f9286fb4f9008ab02697ce771ee3e3bc2","datavalue":{"value":"10.1007/11591191_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387848$65488FA0-477A-469D-8A6B-E9C1BD3137BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387848$A2CB061B-3CCF-4879-88A2-C9E85558FFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adf482bc390836e4c23988820629e51ba0628faa","datavalue":{"value":{"entity-type":"item","numeric-id":947792,"id":"Q947792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387848$F03982CC-1085-4195-9786-1D1D0279A5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387848$8370B874-BB18-4111-852C-5FCAFBC8F09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3495207d1965356b5c09ec509a7ee4275d91cd14","datavalue":{"value":{"entity-type":"item","numeric-id":947793,"id":"Q947793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387848$65655B8F-C489-4F4C-8870-74350EF17663","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387848$AC1CC3C5-303B-4FD8-8F77-2C470A213289","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387848$AFC6188E-B5D0-4EC0-A4E4-75E94B3F14DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387848$53669E8E-03F5-4D20-8131-80BC0707F244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387848$6B5204D4-6900-4AAF-B496-BEB8BC9E3241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387848$459208F2-7B09-4B7A-AACE-6E5A0A9ED46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387848$27080DC4-015E-4B06-8AA9-3AF53E044FA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46fe59299efe46b63b915ecc6bc6e64654ac6945","datavalue":{"value":"5279533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387848$A2DAC34B-055F-46F5-AC95-3646D3010F47","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387848$C8A1ACD6-45CE-4118-AEDF-128116CE8C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387848$C10D5942-B9EC-456E-9E42-7A1B0C9C2116","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":"Q5387848$ABD86481-74D8-49E3-A741-E17554DCDF05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe654fbdc16a554c902bd0e512777dcd9a9da336","datavalue":{"value":"https://doi.org/10.1007/11591191_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387848$ACEED76A-FF1F-41B0-B299-8CB7724E59D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fa7ff5891d2925c543e04fb6f3878c6ee9f1a80","datavalue":{"value":"W1518101386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387848$A23497B5-3113-4563-8500-3DFE44FBAE95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08912331d8e77cc41be4fb52d38eaa1484cd116","datavalue":{"value":{"entity-type":"item","numeric-id":862390,"id":"Q862390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a7cccee6d10ce659bdf6324d8499a58d06b5ee","datavalue":{"value":{"amount":"+0.91096866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387848$F0A4447D-5E7B-43DC-83DF-AEBE1F477CEE","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":"1c6a1c0cb2a53b3c5395eb1f2013376f1a2a3ff6","datavalue":{"value":{"amount":"+0.8929274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387848$7A3C0F88-1D23-4F86-9C4B-623CA6D0831C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250834f45f057a927abfea28e9f0a9bff54c14a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ba562ed8bfd4d12dc1c9ac8edcd0c2beb25076","datavalue":{"value":{"amount":"+0.89001095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387848$E00B85E2-31DC-45F5-B7E8-C4B0BAA19FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862f4cd4afdccae419399e58a2bcfb802b5e158f","datavalue":{"value":{"entity-type":"item","numeric-id":2234106,"id":"Q2234106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2cbdfac2f62637ee59c5c9e052bc7bbcab101fe","datavalue":{"value":{"amount":"+0.88212514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387848$02AF0878-9A9D-4124-A10A-8364F3399F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e101aa12f8433dfe039af423261b1e7d474bd8","datavalue":{"value":{"entity-type":"item","numeric-id":4804898,"id":"Q4804898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef02138c96ed5d4ef0aaddc68d493557176b77a","datavalue":{"value":{"amount":"+0.8819062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387848$43D4E0A3-5DC4-4147-9EC2-9E75EB74B445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78647c42b4985b6971dbcc2faca81087d8bcb4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3192182,"id":"Q3192182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83bce381d0075118da1bf962631afcc3202c256","datavalue":{"value":{"amount":"+0.86959684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387848$9F4473B1-71E4-46BB-9CE9-97483E790C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321dfc3b4c9c7651a8484ba5234ad14e8d589acb","datavalue":{"value":{"entity-type":"item","numeric-id":3179308,"id":"Q3179308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f3961e46c9b1bd1f761fd8f46baff3506fbe3b","datavalue":{"value":{"amount":"+0.8615695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387848$EA2E01D8-05E7-4D75-9ECC-9BFA43D0B949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b38d639ddc0f36df456dbd856b2d88288e356b","datavalue":{"value":{"entity-type":"item","numeric-id":6091213,"id":"Q6091213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63202fa45e8318c38165c97cbba4bef2f5901a5a","datavalue":{"value":{"amount":"+0.8593876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387848$D42D439E-46A4-434C-A806-37BAB76B6D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a322aa46d2ada2d25813ce43f8cc564e8a7bac","datavalue":{"value":{"entity-type":"item","numeric-id":5875468,"id":"Q5875468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d741070fb588d25c6b41dd5db439d86c19cacb","datavalue":{"value":{"amount":"+0.8586813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387848$21670937-0178-40BC-8E2A-1636C473B13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651006af4f64a7c4bbcbdf5718f802833b4f6a47","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefc84fb56a6f34b5a29519b9b574f63ca84dc99","datavalue":{"value":{"amount":"+0.8521196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387848$86CCC67A-3EB4-49BC-812D-772AC4657812","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387848","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387848"}}}}}