{"entities":{"Q814470":{"pageid":816318,"ns":120,"title":"Item:Q814470","lastrevid":49778893,"modified":"2026-01-10T16:01:55Z","type":"item","id":"Q814470","labels":{"en":{"language":"en","value":"Weak, strong, and strong cyclic planning via symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003884"}},"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":"Q814470$7D4A1E5B-74CA-4F69-AC70-AD3D4B2FFB66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96c53d05b67f4b048288b2e98019b2189515e6f3","datavalue":{"value":{"text":"Weak, strong, and strong cyclic planning via symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814470$DD4FA20A-5770-4CEF-8ACF-B3329EE6A87A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2826f75f38a88b1ba4ebf9485e2d836b1da18fc3","datavalue":{"value":"1082.68800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814470$01D54292-B740-4816-B56C-02D98B12EB54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c073f2c7935117973844ab9b581bbc0bea1255ca","datavalue":{"value":"10.1016/S0004-3702(02)00374-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814470$C0FE6B45-7428-4E53-B025-EECD4C83C7F0","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":"Q814470$06523D5D-2C68-4144-AFC0-A97E115D3DA5","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":"Q814470$97B09B9A-2F9E-4ADC-9291-3EED1646A939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814470$36D61958-47A3-454B-9E7B-E924A9C1C614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814470$AB692074-55FF-46E9-8E03-170D63C75409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814470$5AD58975-3056-4977-AC66-CF09D81D3376","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f118a0a17a428153f9e2466e34afabbdb29906c","datavalue":{"value":"5003884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814470$613D777A-0458-474B-96E0-CE820D9F93CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465632f339ce2c11fb43cccd22c2c5308a869ecc","datavalue":{"value":"Planning in nondeterministic domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q814470$5529A86D-DEAB-4808-AC67-0140FC4D1629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b73b90d48a3c13694a814168684112886e9cf50","datavalue":{"value":"Conditional planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q814470$E9D13BE8-2150-4F49-AADA-2F105A6B915B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f493fad76a9fbc60bdcd3b0bdd5d4fc0d4f5c4","datavalue":{"value":"Symbolic model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q814470$B5D258AD-199D-46EB-A6BC-7B15B1D40F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f73bb3e7e38ba38402859800f9e325162c8296be","datavalue":{"value":"Binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q814470$CCE34016-A8C9-4EC7-AF4E-C0E0D627C6EC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ccb13b8f6f0ccb7b1a63e7ca40e86ba4fc01ece5","datavalue":{"value":"Q62041399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814470$9AB50A63-82AA-4E3C-B26E-E1687B22B6EB","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":"Q814470$5DF0B765-FF3A-439E-9474-412DB4353228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"960c7faf3b9ee15079ddbeb2d5d3b32b315230a0","datavalue":{"value":{"entity-type":"item","numeric-id":199007,"id":"Q199007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$9B1CA8B2-D93E-448F-A7AC-612B6FD3B648","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":"Q814470$482E9487-1049-4BAD-87F3-7897520FE12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"943c650392a3817201cf599afc27db772c982eba","datavalue":{"value":{"entity-type":"item","numeric-id":1380426,"id":"Q1380426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$C4DE72B4-ED2D-42AC-AD6A-4E62C9A26942","rank":"normal"}],"P1463":[{"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":"Q814470$C09630F9-3D48-41BA-ACAF-8F03FF7B347C","rank":"normal"},{"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":"Q814470$42335A99-9655-4F29-8860-B696355BAC4B","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":"Q814470$F8E2939A-DD9F-4B8C-8DAA-7AE90DB9E86A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"140707a542a9d45a6f78619413d8c06c89d7576f","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$E83C7150-E726-4367-A2B2-0A2A2DB500E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce585837a919025fa0560b9c65a92d28da1c713","datavalue":{"value":{"entity-type":"item","numeric-id":1978242,"id":"Q1978242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$7E29476D-8CD6-4773-994C-C2C38941F645","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":"Q814470$3FB1916B-0202-4DC5-A9DA-DCD4D54B1141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9042ea9facddc8784b59cfee28dd7cc10c84d59d","datavalue":{"value":{"entity-type":"item","numeric-id":4256521,"id":"Q4256521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$8984D490-E4E5-4B61-A574-E859DEBC5FF5","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":"Q814470$EFC9A739-5F3B-4D24-A485-C034132B7526","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":"Q814470$F590DB42-82E1-44AE-B6E6-74D819D50F83","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":"Q814470$83010C79-6510-482F-8F1B-36F65DDE9964","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":"Q814470$0F205398-D43E-4BE5-A171-5ADC46698BEC","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":"Q814470$3CEFC267-DDED-4FCB-AC55-0D9B105889C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$2D44DB19-B736-4154-BDF8-363EBEA6924F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$93B974CF-4AAE-45CA-A36D-983576F7A698","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":"Q814470$83648A2D-F5D5-432A-BDB5-35EFBDF901B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af42d21e0650c72e08918183d753c2059b0b0b0","datavalue":{"value":{"entity-type":"item","numeric-id":4527273,"id":"Q4527273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$12CA7617-8C6D-4697-9C6D-7C9F1DC10AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c31785c8dbf1fb6e88ed2bdb1abab57bc24dda8","datavalue":{"value":{"entity-type":"item","numeric-id":1389598,"id":"Q1389598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$B7504A64-697B-47E2-8F14-0AE36902C4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$05245CD6-D392-4BC5-AE89-62DB609814F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$C01C1F80-F971-4558-A359-601F2A810FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$E085A576-F151-4DA2-B9E2-BE8352020681","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":"Q814470$C211B96D-4C43-44DC-A1C7-381588335281","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":"Q814470$AF08DC20-5EB9-4E78-8EB5-0F288D326483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc75e886fbdf71be23e2431e3d1861376cec723","datavalue":{"value":{"entity-type":"item","numeric-id":2771059,"id":"Q2771059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814470$75B6750E-EBD0-4D2C-ABFE-4943C23441F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4675331e4587149ce6f09ab8949b62512bb14488","datavalue":{"value":{"entity-type":"item","numeric-id":460629,"id":"Q460629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a63550b1fd17fcaefa4a04305a826c1c0182ec4","datavalue":{"value":{"amount":"+0.8686842322349548","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":"Q814470$5CF80B03-C999-41EF-A307-1EF2B04BA004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395035dc59f92793a0788c4772c12405ac9dcc45","datavalue":{"value":{"entity-type":"item","numeric-id":2457630,"id":"Q2457630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05cc3f96034525d2370abda8c1a8a08b95b13ab","datavalue":{"value":{"amount":"+0.8382576704025269","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":"Q814470$F5E3160F-2566-4819-A55F-BC5392A7691E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bb4bfed3920205e31d34c388a100e9bf61c743","datavalue":{"value":{"entity-type":"item","numeric-id":504220,"id":"Q504220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcb8928347cbef0f72755c161c29e128f9647e7","datavalue":{"value":{"amount":"+0.831339955329895","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":"Q814470$525EED53-8475-4AB5-82D9-42D832ADD87E","rank":"normal"},{"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":"39dab6fc83f75e454857a43623dfbfce8542597a","datavalue":{"value":{"amount":"+0.8135392069816589","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":"Q814470$5ED57CDE-CC33-4575-8841-5F6242F520CC","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":"39dab6fc83f75e454857a43623dfbfce8542597a","datavalue":{"value":{"amount":"+0.8135392069816589","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":"Q814470$C7E07B00-0D71-47C2-A9D1-C3D545C793B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:814470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:814470"}}}}}