{"entities":{"Q814631":{"pageid":816479,"ns":120,"title":"Item:Q814631","lastrevid":49779160,"modified":"2026-01-10T16:04:15Z","type":"item","id":"Q814631","labels":{"en":{"language":"en","value":"Conformant planning via symbolic model checking and heuristic search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003980"}},"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":"Q814631$0DE95349-325C-4733-A517-827746F40EBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b94f8944d12fad01f465962a9cd6d30f7d690ec6","datavalue":{"value":{"text":"Conformant planning via symbolic model checking and heuristic search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814631$D350B3EF-29F9-47F3-850D-125E1AC27BD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90bdb97514edd50e726d79a2424340fc7da69429","datavalue":{"value":"1086.68591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814631$6D54FC3A-B411-48B7-A86E-E8300284E3AA","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":"Q814631$ABA8CC2D-3C84-4AB0-9912-810819B02222","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af1e7ee79bb7db6c59f11bd3513948628cb420f3","datavalue":{"value":{"time":"+2006-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q814631$0CBBB38F-7BD9-466D-8372-9FF469DA8039","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814631$6A778DCE-7AE4-4C82-B115-7334DD630155","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4253ba4775e1eba4953f1f9d34cf1748374ec525","datavalue":{"value":"5003980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814631$DE7B5ACD-100F-48F0-8002-6E1D361A08E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465632f339ce2c11fb43cccd22c2c5308a869ecc","datavalue":{"value":"Planning in nondeterministic domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q814631$9A123916-EB40-48B9-AB71-70704B7F9535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4172abad02775ba591b7abdd9a16ff53e7bdea","datavalue":{"value":"Conformant planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q814631$C0CBD19C-46A1-49C1-8037-2C8409364AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a734aa9c7a1da46d2f3bd9ea7a23b9b66a2f5b","datavalue":{"value":"Heuristic search in belief space","type":"string"},"datatype":"string"},"type":"statement","id":"Q814631$6BFECA6A-154E-422B-AC61-45F7382FE7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae49cf91076c37fa9bdc48f82649df7562deb487","datavalue":{"value":"Symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q814631$91AC3D19-3E4A-49BC-AD08-F3F85042341B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f73bb3e7e38ba38402859800f9e325162c8296be","datavalue":{"value":"Binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q814631$996F3C89-2AD9-49E4-82B7-A259251371FA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f8c2d4f5daad2cfe1dbb71780182c15c142196b1","datavalue":{"value":"Q62041390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814631$6D831046-9369-409B-A657-D21FA735759C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$F2996C68-9DF3-4F31-B335-4A37C9239325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$6C6A3FAC-E6EB-429B-810F-0CDA1A47F4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e21d9c94256bb699076b4aabe1ec76059c6a4306","datavalue":{"value":{"entity-type":"item","numeric-id":1856153,"id":"Q1856153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$B67FFB36-2036-4D3E-8D67-D055DF537CA5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$51E999A8-D6D1-4043-B5A7-87C0CD76A004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$9D41B049-3A1B-47DF-9A29-F97AF8A61614","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":"Q814631$3AAA655D-5656-437C-A354-15C9D8DA37E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de488734b08792779ac92a2883ef7c20d373c1f1","datavalue":{"value":"https://doi.org/10.1016/j.artint.2004.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q814631$8CC1250D-E0B1-4B24-B618-DF86761A294E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e97a1d087f85ecf2fc7747baa3be4cefb99324df","datavalue":{"value":"W1992992996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814631$5B503157-CBC6-4DB0-BAE4-CCB25B45AAEF","rank":"normal"}],"P223":[{"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":"Q814631$79BA482F-A0BA-4D56-BFE6-A6A777724B35","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":"Q814631$12EFCE00-B1ED-43E1-84EB-96F9FC2D1B2C","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":"Q814631$85D557F5-B643-407F-89CC-8D17209CF2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$78E098BB-C358-458C-BE80-00817D9A5EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$02A86F62-17F7-4D92-8BD2-FE494F294B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0850fea071eeb746de213743329a7ceeda8fd6de","datavalue":{"value":{"entity-type":"item","numeric-id":814472,"id":"Q814472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$02814217-5E28-4E57-80B7-C7B20D976A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$74B7A0DE-63B4-4FA1-A60A-CCF995C97ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b59b3752a27cb4b81ce1f017228b46bbb7e13d4","datavalue":{"value":{"entity-type":"item","numeric-id":4737124,"id":"Q4737124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$E665408A-CAC1-4B92-9355-50A3AEF201D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f887475056f853e69431dc44504a1f573af60cf6","datavalue":{"value":{"entity-type":"item","numeric-id":814470,"id":"Q814470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$5A0A1FAB-35E4-4BD5-878E-DDFC2BFC4BA8","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":"Q814631$0B31DFD0-8604-4A23-BD01-83C74F03F370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c367d23f0a23333b203c4e82766dd90274eab75a","datavalue":{"value":{"entity-type":"item","numeric-id":2769595,"id":"Q2769595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$3C684C53-5FB5-4C5B-A86F-16DF622899D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$95265AA8-FD5D-46C5-A6B6-1D6053320830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892692c9215e7238e7bf5e14ae726685cc4c5f2b","datavalue":{"value":{"entity-type":"item","numeric-id":814436,"id":"Q814436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$F3E18074-936F-4287-8C77-B320A2575E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc0cb02e990bb9233f129466ce011b2ab533532","datavalue":{"value":{"entity-type":"item","numeric-id":4230719,"id":"Q4230719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$D127D3FF-05B2-4CDC-8586-2F86D6468D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b27929c399cc2d053d276191530c5ec9714a57","datavalue":{"value":{"entity-type":"item","numeric-id":1389538,"id":"Q1389538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$7D8B1FB2-4CD3-416F-A314-1096C16CC022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$56CEFA85-12CF-49A3-8672-F6F88C323048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$F534B402-1394-41F1-9FC9-2CFD21E450C6","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":"Q814631$827B94B1-F5A4-422B-BC31-9C0E0582B11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d32e88195f360f801c75e512fdf9c892d393683","datavalue":{"value":{"entity-type":"item","numeric-id":4230753,"id":"Q4230753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814631$E21B6D67-2292-44D3-B580-816A6B180FEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e81a60aae00e6fef42bb7605a34dde0f5d61e11e","datavalue":{"value":"10.1016/J.ARTINT.2004.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814631$DA5230BE-8547-49C6-99CB-54E7A0FB0D0E","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":"c36081e63de6c216386529462b1727eba388ede8","datavalue":{"value":{"amount":"+0.8895913362503052","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":"Q814631$6E942D91-364A-47F8-ACE1-C323F9C9291E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d945e4dfaebd24d1305129a6510f3e9e3b983c","datavalue":{"value":{"entity-type":"item","numeric-id":785225,"id":"Q785225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36081e63de6c216386529462b1727eba388ede8","datavalue":{"value":{"amount":"+0.8895913362503052","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":"Q814631$982290B0-0D09-42DA-B9A4-B1CF775356C9","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":"c2b325897a722bf3283e14e97dbaeca5f4425ee6","datavalue":{"value":{"amount":"+0.8782362341880798","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":"Q814631$63D30AFE-414B-4C47-A6B2-A418E543F4EC","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":"5099136be41040fa8802e282dd1c9134b6183d8e","datavalue":{"value":{"amount":"+0.8153436779975891","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":"Q814631$79881013-2D84-4F61-B0A6-D43873A05951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0c2f8b3935d3a5cb2ed0ced7abf155b97875c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3624010,"id":"Q3624010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a17b46ed0753eb02c28b1461710c73f7eabe06","datavalue":{"value":{"amount":"+0.8095651865005493","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":"Q814631$3B88E87D-08B5-46B9-B7C8-EE1CAD7415D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:814631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:814631"}}}}}