{"entities":{"Q3593078":{"pageid":5622983,"ns":120,"title":"Item:Q3593078","lastrevid":50171300,"modified":"2026-01-13T08:51:58Z","type":"item","id":"Q3593078","labels":{"en":{"language":"en","value":"Abstract Counterexample-Based Refinement for Powerset Domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5194965"}},"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":"Q3593078$C94A89E3-9A83-4538-B25B-D3523DD4BECA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e2851d131f822ff5e4dbdd40f5b88b30beaa620","datavalue":{"value":{"text":"Abstract Counterexample-Based Refinement for Powerset Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3593078$75428543-04AD-41D0-BAED-0A53E8FAF8B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f1a7728cf69d1615e436726463302baea890c21","datavalue":{"value":"1149.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593078$4FE4ADB9-A6C7-4E2C-9A71-E56A882131E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6752ceddb80ca0cbe7472740f9d38fb0b9f208e","datavalue":{"value":"10.1007/978-3-540-71322-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593078$C8448859-920D-461B-9982-18D05E89DCFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70e9ce9a5b5c46f7bf37a00c51034be3896ba64b","datavalue":{"value":{"entity-type":"item","numeric-id":784126,"id":"Q784126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593078$85C97FCF-DFA7-4A70-9CC4-F128CBA2F133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a072d79dc10dd470eae0ea36d8621bc918b9d6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1004059,"id":"Q1004059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593078$94F34515-D433-4F69-A55D-E59CEDF94549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d208141bc41673e028cfe04d8fe99d63fd222d","datavalue":{"value":{"entity-type":"item","numeric-id":436393,"id":"Q436393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593078$00D8A2F6-07AA-4E3D-986D-98418295E2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593078$2689AF6F-EE25-4696-B20E-33966B9C6282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593078$FA1D9D4A-D596-4AFF-8920-D66D4B58C283","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d27b7bce54b9a3f428c68262be7845cadda998ba","datavalue":{"value":{"entity-type":"item","numeric-id":3593061,"id":"Q3593061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593078$6ABB5DD2-232C-49AC-A071-5B18857AE2AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"892e1c80fb63024570d29dbd990e9f3404511c8e","datavalue":{"value":{"time":"+2007-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3593078$776B47FD-BFCE-4D87-AED4-ABCAB1900C4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593078$0AB275C5-AC9F-497E-9630-2322048F42FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593078$92A3C750-1936-4636-A04F-77CBAFC99A4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5892b74a21be4945d8d81930b193e8e13a7d8eb","datavalue":{"value":"5194965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593078$CD0ED7B8-F4F4-494A-A6EA-59D1EBB0D953","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":"Q3593078$E4EB49AD-A1F1-43DC-846D-665F654BC460","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"409b1fbd5d5513213f7216fa15231717b5fe54e9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71322-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3593078$CB5D57DB-2DAB-466D-88D7-57A0C8A6ACDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db237aabef1b48d6a16793b9135c996dd412d20b","datavalue":{"value":"W1607111701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593078$DEAFCEB6-0F12-40EB-BF70-F02F949366B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4658c5e72a4c0ea75cbbf4d0f19e95055ca4e499","datavalue":{"value":{"entity-type":"item","numeric-id":3646262,"id":"Q3646262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddeadcd6873f2d445720ef24bb914a85c9524e6a","datavalue":{"value":{"amount":"+0.8248090147972107","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":"Q3593078$CB5E64D7-333E-417E-98B7-C45D78AF0872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e0fff1b4bc3f8bda7efaf271f7270e4d54d584","datavalue":{"value":{"entity-type":"item","numeric-id":2291815,"id":"Q2291815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f65fea5bd6d54e9c1a47f6d124ba3c182fc9507","datavalue":{"value":{"amount":"+0.7925703525543213","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":"Q3593078$D9075FD1-B46E-41FF-8B20-A0F2F3A37C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e37202865b00b45ceaa1918939f07dfc2660db","datavalue":{"value":{"amount":"+0.7841139435768127","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":"Q3593078$CB61953D-0741-4A59-BE6E-56FD6F43E3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898b391f074fcb2567bf2d966421214577a5e099","datavalue":{"value":{"entity-type":"item","numeric-id":3612008,"id":"Q3612008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf621451fca4a25a944783d00ef9d5ce7167e95","datavalue":{"value":{"amount":"+0.7804193496704102","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":"Q3593078$ADE890E2-2FDF-47D4-9752-BAB838F86926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ed85000d694d87daf631567dfd347f73b7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":3512491,"id":"Q3512491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce614dbad635125f204abad48f553e3a82b2e2ca","datavalue":{"value":{"amount":"+0.7756062150001526","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":"Q3593078$611CC796-90DE-4513-B138-5F5EDB4E9C57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3593078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3593078"}}}}}