{"entities":{"Q4580275":{"pageid":6609861,"ns":120,"title":"Item:Q4580275","lastrevid":53167964,"modified":"2026-01-24T09:13:36Z","type":"item","id":"Q4580275","labels":{"en":{"language":"en","value":"Counterexample-guided Cartesian abstraction refinement for classical planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917514"}},"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":"Q4580275$79797C2E-6A7A-48C0-B979-5B668AA10DDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59b95cbf94cf0f9b982092153ffb06f7f35296be","datavalue":{"value":"1448.68392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580275$8E747018-3234-4DE7-8949-EB27E9101C18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e35f1b2fdb1675af98ff36d4c45bc5a3b8ce3f8f","datavalue":{"value":{"entity-type":"item","numeric-id":4580274,"id":"Q4580274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580275$BF31156C-1071-4826-95D2-5EB3394BBE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f71c227b26d9806b159a4606416064289b4db48d","datavalue":{"value":{"entity-type":"item","numeric-id":814424,"id":"Q814424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580275$C847011C-C6C0-4692-833B-75CFA0BA4C16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb9b273b9cb05dbe58bc28bd22b908175e93fba","datavalue":{"value":{"time":"+2018-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580275$C540D09D-B2E9-4CE1-A59B-70B914FEEAF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ce3f166c2de987a9555cf643d8bff70fd3dac27","datavalue":{"value":"https://www.jair.org/index.php/jair/article/view/11217","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580275$AB000CE4-79AD-439F-A569-A5C491BD9340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580275$76524713-88E9-4BD2-8B79-EAD351A86BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580275$AD801D34-B81F-4662-8B1F-DF33411940CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e9af4e2df89c50f5e57f1f360b371912e3ca53e","datavalue":{"value":"6917514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580275$821A69F1-BDC8-4C63-BDC3-81267CB8F801","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1815eda075c5f90cacb7890fe50cf50aeb10a68f","datavalue":{"value":"optimal abstract solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580275$7A7FE4C8-2194-4FE0-82DF-397DA23F7342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580275$139D2123-D488-44FE-870A-2CB0B5FA2599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7da874b3f90159339416241877c662412615ad29","datavalue":{"value":"saturated cost partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580275$DC64BAD3-2D86-4704-B0ED-113FBB818BA0","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":"Q4580275$C99CB034-7E5C-44BE-9D06-0A63A1BCE94B","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":"b0807eca137ee9d37267d89a610e138fc88b2e50","datavalue":{"value":{"amount":"+0.7655209898948669","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":"Q4580275$11B79B07-6BE7-4EEF-B22E-A1F8CDC2F63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd906a9ab8709e04e5f8bf25406df6fd2ecf413","datavalue":{"value":{"entity-type":"item","numeric-id":2946618,"id":"Q2946618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773f2653973a2582e34c3b99d9474b3373000ed6","datavalue":{"value":{"amount":"+0.7595354914665222","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":"Q4580275$BC30A21E-70C7-45BF-B3EC-3FC34432BE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dacf5734af7d9cd4d97fa486404d78c542f0230","datavalue":{"value":{"entity-type":"item","numeric-id":3055801,"id":"Q3055801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae0766c18d0ce81e9352f082057e0b9a0ff17c2","datavalue":{"value":{"amount":"+0.7445780038833618","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":"Q4580275$669AF13D-8C6E-4F34-A987-3C72E4149F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5717b046f819699c40a5b3feaa392a6dfe5a97da","datavalue":{"value":{"entity-type":"item","numeric-id":3593078,"id":"Q3593078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19db2e9af6efd605e08b1540f55c5290b61115c5","datavalue":{"value":{"amount":"+0.7439723610877991","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":"Q4580275$D047D6AC-FF2E-49D2-8396-52F1919A4E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0462f2fba9e9f66deca71b6d53a9fde896a527f8","datavalue":{"value":{"entity-type":"item","numeric-id":1761301,"id":"Q1761301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeed40892d4297d8ac90635cdac41c729fbd99ee","datavalue":{"value":{"amount":"+0.7427449822425842","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":"Q4580275$690D9F30-B629-4575-ACC0-4D093EECE30E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580275"}}}}}