{"entities":{"Q785225":{"pageid":787074,"ns":120,"title":"Item:Q785225","lastrevid":64357143,"modified":"2026-04-11T19:18:29Z","type":"item","id":"Q785225","labels":{"en":{"language":"en","value":"CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228990"}},"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":"Q785225$0A2A9D45-61B1-4F5B-832E-854FC3DC09AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4296dce28876c71c76631ab5a33c2801303115be","datavalue":{"value":{"text":"CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q785225$FD1B6AD9-827A-43F2-8012-F4934FA653EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"772995867adbd1152c2f7f1e92b7e2cdc43cb7c0","datavalue":{"value":"1451.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q785225$1A6D2F20-AB45-4451-A073-1D31F0DC160D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a0d6e1436c796420beba784a0ae2b920307a11","datavalue":{"value":{"entity-type":"item","numeric-id":785223,"id":"Q785223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$39966129-C325-458C-B0D6-50F076A62CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a33e4d864dc9f1969c8a8a351137fc0c1a93273","datavalue":{"value":{"entity-type":"item","numeric-id":785224,"id":"Q785224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$FA192722-3C0B-4A5C-8160-F3A81C133199","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$8D9AA9A8-58A5-428E-BF9A-3C2E769D2864","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2f48f5ce61ecb0b673378077bcc5a9950613dd6","datavalue":{"value":{"time":"+2020-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q785225$0B9E0AD6-2747-4E83-8909-1F81EDA09390","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q785225$6CD7EB12-02BA-40D8-919E-E3D3D4EECD48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a263110674e97090ab1a64efd1ff0a343a90052","datavalue":{"value":"7228990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q785225$8A83B24D-584B-44EB-B060-9040DFB356D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cf6a87b7550e13fbf6d441afde119136c0f400","datavalue":{"value":"conformant planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q785225$50C32372-B36E-438A-B5BD-4A1268556C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906449a6d4bb1b1615abe406edc2a2c25130a2f5","datavalue":{"value":"classical planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q785225$2B8F76D8-32F4-47F2-8E75-80CB5DE4256D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q785225$C2C5AAB3-0B10-4052-85D0-F59EF95060B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"503825d68ed5a35842f88c1c76dc6088e21c1efa","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$0E8F50CD-9DA6-437A-AC21-B8740D2E6EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91f8109f9ed2f04d12462882caaf1148ee5f31e0","datavalue":{"value":{"entity-type":"item","numeric-id":19137,"id":"Q19137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$A42FB2E6-04BE-408A-8623-94D097C145EF","rank":"normal"},{"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":"Q785225$19164D2B-F0EB-43AD-95C6-B6F9DEC6FECF","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":"Q785225$D05C6258-26BF-48C6-9D1E-8889341F7C18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1517314166411dd1402b7445451c4583ea4d15f","datavalue":{"value":"https://doi.org/10.1016/j.artint.2020.103271","type":"string"},"datatype":"url"},"type":"statement","id":"Q785225$897EBC56-1B1D-4F82-B6F6-4E4A5B5DF8D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce6d408ff2d8b4da411241c857e9464c9ac6766b","datavalue":{"value":"W3013702123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q785225$FE3A67F3-9ADA-48AD-8FA7-02D4B6F7D093","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"83845b29cedd670deb747f97137d0b7b23edead3","datavalue":{"value":"Q124810917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q785225$B2CC2A5D-242B-4F52-BFC5-97E7364DC61C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb495bfe7fd9ed938dfd1a508fb5beede98825f","datavalue":{"value":{"entity-type":"item","numeric-id":2999178,"id":"Q2999178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$1CC06A30-2E30-4660-BD4E-783023F1FFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4db1d3dbd42116620e185986a69fbfb9e425f1","datavalue":{"value":{"entity-type":"item","numeric-id":1402751,"id":"Q1402751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$BA298A04-D307-43FC-9556-2EB43A203137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc52c10fb0aabf937c643506849c0175e56d6f0","datavalue":{"value":{"entity-type":"item","numeric-id":969534,"id":"Q969534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$BF547C88-2E8E-4FA1-AA05-D135AA174A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e033e049c5f1a26ce9b84deda7f1f418424a90","datavalue":{"value":{"entity-type":"item","numeric-id":5941310,"id":"Q5941310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$7C5B2D34-7353-40F3-8BC3-3747186E59C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59adf94e14d544354eb49cf5835357e2671962ee","datavalue":{"value":{"entity-type":"item","numeric-id":4899128,"id":"Q4899128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$D7C5CDCC-AABD-43D0-B985-7DF0EFA2C14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$4B31DAE8-2416-4FA7-BAEA-E894DC454705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26bf019ca42ed6b74e697390ba04be423e01b357","datavalue":{"value":{"entity-type":"item","numeric-id":3624010,"id":"Q3624010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$14576A93-2D84-4C12-B50B-A85633FD8D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51349babc9d3c4785c029872745b0bb797ea3fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1337679,"id":"Q1337679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$A1EBDC82-AC42-40C8-8DBE-D1A3896E0A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e676edf9a61c14434cc1c48090af5e6d67c733","datavalue":{"value":{"entity-type":"item","numeric-id":4527271,"id":"Q4527271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$BA26C860-3099-420C-A20F-89B5F9B72E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5028705a660b12d824a681b2f43bdacbb3cd700c","datavalue":{"value":{"entity-type":"item","numeric-id":814631,"id":"Q814631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$AE882B9E-B7A0-4055-BA36-01702B796078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$E928FB26-9D83-40E6-B133-978D0BF31BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$ADBD4E62-B1F9-4268-8C19-515C0F052648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50c9d9aa61f974c5f6695b189187a5aef7851430","datavalue":{"value":{"entity-type":"item","numeric-id":2398267,"id":"Q2398267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$037ED049-291F-4D19-85F8-972B917B394F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c91bc8a27cdd0e45f34a0523f0d208919089938","datavalue":{"value":{"entity-type":"item","numeric-id":2457623,"id":"Q2457623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$A1D23328-28DB-4ABC-9EFA-1447DBDD9D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1bac3abb8c0c48365bec06af3b9c76749da3a4","datavalue":{"value":{"entity-type":"item","numeric-id":2717791,"id":"Q2717791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$4B4C7EE6-9226-41D9-94E4-348E9FBB5B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4671476537af65414cd3bbb9268a84a5b10a3e88","datavalue":{"value":{"entity-type":"item","numeric-id":3624075,"id":"Q3624075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$5EFD4161-106C-417D-853A-9DF8B6E2A076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2f1a6456ce216688086f75187bb547f673ed9e","datavalue":{"value":{"entity-type":"item","numeric-id":1057073,"id":"Q1057073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$E5265B08-059A-4091-A87E-5026C9CB137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18e21c326cb0a377951c4464a5eb3b18b0bb267","datavalue":{"value":{"entity-type":"item","numeric-id":3651474,"id":"Q3651474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$89EDE593-5724-48EC-A057-C48D252C8AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee217a6efb56bcafe9bc6e8f2cfa457703ce050","datavalue":{"value":{"entity-type":"item","numeric-id":4252522,"id":"Q4252522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$542B05F2-0791-4A71-BCE0-6A6F6F0283BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38aa065fcb645375906b0784737eaeaa5507ac9","datavalue":{"value":{"entity-type":"item","numeric-id":2457605,"id":"Q2457605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$29B98EF7-62BD-4D1B-918E-51C075210BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5df1a6f82dee3beed32e69d593807b76ccd2b52e","datavalue":{"value":{"entity-type":"item","numeric-id":899156,"id":"Q899156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$7E5C118F-FDC3-44DF-8310-937BD81835B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2736edaaee4f754b6be175e6a0fc46108d76c015","datavalue":{"value":{"entity-type":"item","numeric-id":543583,"id":"Q543583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q785225$B7C800D6-1663-4438-BA21-D25E4113ED16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a80585cc6b0f01efd82a659344ecffea49c08634","datavalue":{"value":"10.1016/J.ARTINT.2020.103271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q785225$81F242BB-7CA4-45E1-A7B8-B11CED1771C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09198ed44fa84e02e49fda3d47b55eb2520c8b49","datavalue":{"value":{"entity-type":"item","numeric-id":4527271,"id":"Q4527271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8293496aa10800a2608f7bf344b263a633a6a0a7","datavalue":{"value":{"amount":"+0.7885785698890686","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":"Q785225$9B78F172-6859-4C1E-8AE6-15023825DA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca354f7567ebd2dae087694699d3106fe2c1d634","datavalue":{"value":{"entity-type":"item","numeric-id":5015399,"id":"Q5015399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8293496aa10800a2608f7bf344b263a633a6a0a7","datavalue":{"value":{"amount":"+0.7885785698890686","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":"Q785225$544CA0FA-95D7-4151-94E2-2FE3F251C09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092fc08659f27ed9dde6eb51d698f7a57fe27756","datavalue":{"value":{"entity-type":"item","numeric-id":3651474,"id":"Q3651474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e8926322854a00be65a7734bb06e90e59dab17","datavalue":{"value":{"amount":"+0.7835948467254639","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":"Q785225$20D8D9F9-6D28-4BD5-B619-9254800564E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85dc1754bddde397a8897f914e7521a7ca5a2e4a","datavalue":{"value":{"entity-type":"item","numeric-id":814631,"id":"Q814631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6fe323895a3e7c97726fc1a9b2dad18a1220fd","datavalue":{"value":{"amount":"+0.781886637210846","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":"Q785225$B1284211-45D2-41C1-A38B-82A49DDECD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe080774fe64fdb06795b83565d78becc972b4f","datavalue":{"value":{"entity-type":"item","numeric-id":2457623,"id":"Q2457623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0352f50b9c86d102a23e3ecd4b63a7f56616ffd","datavalue":{"value":{"amount":"+0.7753775119781494","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":"Q785225$6771E5D4-9784-401B-85EC-F25AFE433EC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CPCES:_a_planning_framework_to_solve_conformant_planning_problems_through_a_counterexample_guided_refinement"}}}}}