{"entities":{"Q7361650":{"pageid":31520489,"ns":120,"title":"Item:Q7361650","lastrevid":105366755,"modified":"2026-10-07T13:36:42Z","type":"item","id":"Q7361650","labels":{"en":{"language":"en","value":"Verified SAT-Based AI Planning"}},"descriptions":{"en":{"language":"en","value":"AFP entry Verified_SAT_Based_AI_Planning"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85ddd33b535e2950ebc9ddad15ea954c26f157d9","datavalue":{"value":"https://isa-afp.org/entries/Verified_SAT_Based_AI_Planning.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361650$65BD4825-E246-41C0-BC7D-CA2825ECC503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a06559dad485452a1744556521b1b7e9eb99e2a","datavalue":{"value":{"time":"+2020-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361650$6259E8FD-7444-477A-86ED-BA7FFF05A7C3","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"e3197daec18da879d676deb1842389ee9bf4787e","datavalue":{"value":"Mohammad Abdulaziz","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361650$548FAFB0-D97A-4FA0-8DF7-5432F3BA3DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"daf8a454419d7e89491b6242cdc086ef28acd629","datavalue":{"value":"Friedrich Kurz","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361650$2CB7F94E-AE64-4315-957B-19EA27A833A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed8445c88fc4d3eee9e56a30e802bdc7d2a53e10","datavalue":{"value":{"text":"Verified SAT-Based AI Planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361650$326AB681-F389-4396-BCCA-938B644C7D87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf1e44158a65d76484d9be1340a9e4df482f70e2","datavalue":{"value":"We present an executable formally verified SAT encoding of classical AI planning that is based on the encodings by Kautz and Selman and the one by Rintanen et al. The encoding was experimentally tested and shown to be usable for reasonably sized standard AI planning benchmarks. We also use it as a reference to test a state-of-the-art SAT-based planner, showing that it sometimes falsely claims that problems have no solutions of certain lengths. The formalisation in this submission was described in an independent publication.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361650$09C47E2C-E027-4B63-A359-F4D129702EF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b7f242d24937bbcdb000517db57a53a3e35f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4575605,"id":"Q4575605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$62144C01-DEBC-4AE7-AB26-E61E325241A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b27df12ff6a00266eec05f715c93535cf3934c","datavalue":{"value":{"entity-type":"item","numeric-id":2945619,"id":"Q2945619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$72A61736-53D6-4C8A-A9AC-0580BF2FE36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fdfaa2e085562091eb227b83fea97fcca8bdc8","datavalue":{"value":{"entity-type":"item","numeric-id":2829238,"id":"Q2829238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$769B05AB-8B7B-4CC5-8B76-2C3193185750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64008b4c107ef7e4a7969f67350470b1da25942a","datavalue":{"value":{"entity-type":"item","numeric-id":3686011,"id":"Q3686011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$E114581A-DDC0-46DB-BE00-0F47CF254CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1569f5530b9747eba4a828270bb888d9d63503e","datavalue":{"value":{"entity-type":"item","numeric-id":4268701,"id":"Q4268701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$7004AE9D-23FA-4E0D-BE74-C605CECD0CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42451d9b2f091244b010a7dc1fc6a0f53a57abc4","datavalue":{"value":{"entity-type":"item","numeric-id":4369883,"id":"Q4369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$AC7C68AB-CDBE-4B46-B646-47B98EA453D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232637b3c8b377b0f78e769b0e3efbafe2361935","datavalue":{"value":{"entity-type":"item","numeric-id":1356884,"id":"Q1356884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$2A149992-2325-4088-990E-CCC5CD5B4391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ba7bdc184fc50f1d32193b82843ca5d4f4fe77","datavalue":{"value":{"entity-type":"item","numeric-id":2815541,"id":"Q2815541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$923E86CB-CFDF-40D3-BF7E-4CC6BBE52EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7833dd7657d7340f82095141c7283db7cc4942","datavalue":{"value":{"entity-type":"item","numeric-id":2851931,"id":"Q2851931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$3AA3ED5E-CD00-4B09-8E55-9A16CC9A617C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344170b015e91f2c1e385af7eff20b912b356d9f","datavalue":{"value":{"entity-type":"item","numeric-id":4804893,"id":"Q4804893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$DE5EC494-BD4D-49CE-966F-9F301E858BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061885fa573451da1302a78a271f913f69225f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3249327,"id":"Q3249327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$7C49D2B8-EFFA-4545-BADE-06F7BF9CE28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abf186eef34e677af3ad25e0a4f83b9409b40ef","datavalue":{"value":{"entity-type":"item","numeric-id":7010080,"id":"Q7010080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$7684A1BB-F153-4CB9-9289-F98EACAF5385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$F857BE68-EB99-4A35-8EAA-3FE091BE0DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5791688c0d08cb0956d2f1e861eee0a36c47d237","datavalue":{"value":{"entity-type":"item","numeric-id":2471743,"id":"Q2471743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$2D5A032A-8846-48A1-A502-1477C4C3B303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e16d27d5d100a181db6c88ec8fe7463cdd6c9808","datavalue":{"value":{"entity-type":"item","numeric-id":2771266,"id":"Q2771266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$37AC00AD-205B-4193-9617-D5E9DF5113AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f788049477e6e5a97c1d807ad8078fbbdf3ea61","datavalue":{"value":{"entity-type":"item","numeric-id":4429693,"id":"Q4429693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$657C3CEF-7994-4920-9C8E-8533F69C2F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b39464a78499f9fbbd00185efc04ba3627e5aee","datavalue":{"value":{"entity-type":"item","numeric-id":5466464,"id":"Q5466464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$EC636A5C-91BD-4694-B615-E8F0D67AAC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9395c9f1db18f2a2c543ea7dc76354d49c566d96","datavalue":{"value":{"entity-type":"item","numeric-id":2817909,"id":"Q2817909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$EA439D00-6909-4E27-AF60-AA522933B95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$8F161AFD-A901-46D7-90D2-DFCDDF1B457C","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":"Q7361650$1DA287E4-D13D-4BCC-9A70-04DA673DE840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a534fcd94c9d92b1be606fbe147730e2fbf2d560","datavalue":{"value":{"entity-type":"item","numeric-id":3750100,"id":"Q3750100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$C814B638-495A-4C2E-8345-3B1674B747D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2db84c3550fa1dc0678f74da260cb820417bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4411159,"id":"Q4411159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$CDB9731B-6921-469A-AA9C-E8F9D70D377D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a11dfdcd3309a56302af4f694bf0296108f93a3","datavalue":{"value":{"entity-type":"item","numeric-id":1603531,"id":"Q1603531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$20A258C3-0BFE-4BC1-AD4A-88893FB9B4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7161ffdae4c47424f6ecfa93c5125d449e5f0b0","datavalue":{"value":{"entity-type":"item","numeric-id":2986792,"id":"Q2986792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$1591A797-157B-4C02-BADA-6C4030987DC6","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":"Q7361650$904675EC-1618-41C9-A494-F3DE92D425F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d28266d9d0f4737bf9de4002674aec5c329a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3053160,"id":"Q3053160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$E4ADC13B-BEA9-42BB-9D51-B6A211BD84DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043eb9080e2ce38ad3dd772535a60cd52da9b3bf","datavalue":{"value":{"entity-type":"item","numeric-id":5384040,"id":"Q5384040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$6E17F32C-3C28-49BF-8485-08B86E4FF284","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":"Q7361650$C583BF01-26C7-4419-B40C-BD00F3252D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$C46A5398-E541-4DF7-BCF5-4296B9E3FC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabec7ae26b1fac5976f48c1ef2f82548e15782d","datavalue":{"value":{"entity-type":"item","numeric-id":3102050,"id":"Q3102050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$B9D4E05C-1944-45C4-8887-1DF9863FF137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$96D4EE2E-675D-4625-97EC-2EED8B1D6AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf64620cbaa189b5344c60d4e135d5b6d9b67869","datavalue":{"value":{"entity-type":"item","numeric-id":1775900,"id":"Q1775900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$5D4C656A-2984-411B-BDF2-55E85BD31908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89eadf0826f1705bdea50f97ab314e5ef7d3cc95","datavalue":{"value":{"entity-type":"item","numeric-id":612941,"id":"Q612941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$DD99B461-3C2F-491B-9837-0BE0ADB40309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3347fbcc62f722664aa5f07cb6cc8b7de6173af","datavalue":{"value":{"entity-type":"item","numeric-id":906483,"id":"Q906483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$FC580FCB-ACB6-48E5-9829-92732E39F8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4aed9b8c360dba198361b37afc63de7b6c5158","datavalue":{"value":{"entity-type":"item","numeric-id":5920089,"id":"Q5920089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$3FC6C122-1C86-4607-AB28-0B7AB406FA98","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":"Q7361650$17D1E412-8EEC-49BD-99DC-D1662D29456F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f79a27a7618da3c2b04e03f358b1b7cba468ba8","datavalue":{"value":{"entity-type":"item","numeric-id":1663245,"id":"Q1663245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$EE7C56CE-FF3F-40E4-97E4-B9AD56C6075D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$E6488283-2FC7-4D0E-AD10-6BFDDA3A72F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af38a80a15165de9447c68a451d21e2f1f1a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$8713C845-8280-4977-8A4E-0FBCD84154E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0b3facb70812b00b44d9fdb1dd38f92026c91f","datavalue":{"value":{"entity-type":"item","numeric-id":2921080,"id":"Q2921080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$2F3CE0B0-FC5D-417F-BB68-CB76EDCB6D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6930b5d30b40008083479f898f52bf6f3f2e4aed","datavalue":{"value":{"entity-type":"item","numeric-id":839032,"id":"Q839032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$2B0060D3-2A2F-4EBF-B7A5-1F774E079EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd76ee1d43d8351f82db815b5dfd273d51c2d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1262322,"id":"Q1262322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$ECF929C7-AC7B-4371-95C6-FCDF67E1B2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067e393b8b4356a444ebb86fe4868b077a480748","datavalue":{"value":{"entity-type":"item","numeric-id":4273608,"id":"Q4273608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$9D9D1549-82D2-4C8B-BC70-3174B27D826D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b5e9764238b84a89b6f90ca43e0cea49889b35","datavalue":{"value":{"entity-type":"item","numeric-id":2551696,"id":"Q2551696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$17BCF21E-3DDF-455B-83C8-95C657C6FB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c11585d6392da0604fd3c12d216689fdec031a","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$8C03C151-4D12-4047-9099-66513ECADFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0397387a50d3d2a63c7a5f8382beea29196cf88a","datavalue":{"value":{"entity-type":"item","numeric-id":4449295,"id":"Q4449295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$0FEE59B6-AD5B-4EC3-84EE-23C225155680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14acfe2f4f339610911d7bf217920bda5474651c","datavalue":{"value":{"entity-type":"item","numeric-id":4091447,"id":"Q4091447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$16C83434-6613-4ADC-B64F-5CDA4BC5A797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6704ccbb4c75ac5e07412c0181b63f464f1b7a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5225293,"id":"Q5225293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$5F9B6BA8-7FF0-47A6-9F1A-91B958945148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70d25d335984640e6dfdb95e29f1c296c0c5fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3325058,"id":"Q3325058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$8B1C596C-3A16-4B66-B2B6-2FE1F9A539F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9cc606ef8f4128bb9981174c47ed56a0c8ff8ec","datavalue":{"value":{"entity-type":"item","numeric-id":846164,"id":"Q846164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$8F3D2A04-2C6A-4AE4-8BFE-1FF4416512C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c1ad738076dfe553b169e07ae74a094d1a5cc7","datavalue":{"value":{"entity-type":"item","numeric-id":420826,"id":"Q420826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$48FD43E6-7F17-4C0E-A84E-F604A0446F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b070b31c61fde77c5210fef036722178c213942c","datavalue":{"value":{"entity-type":"item","numeric-id":696962,"id":"Q696962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$782438C1-DF2F-4616-B962-B105F8B5D728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$CD001C50-A81B-4911-9BA3-6589CEC1E694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$E142EA36-DB5A-4CDC-B261-B9E62EF1CE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$1305AF55-8349-4D53-BB50-B5B76754900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f6b6d4228b347cc2739f081e8325ac08602763","datavalue":{"value":{"entity-type":"item","numeric-id":4695387,"id":"Q4695387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$B7A8AC97-179E-4154-95A8-9FCEC67FA9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bee5f0057389e1c16ac139c18b978a9fc1e0e6","datavalue":{"value":{"entity-type":"item","numeric-id":3624014,"id":"Q3624014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$BA49ED72-F7D3-41FC-A661-6D5FD401FA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159cb3cc612d101890719b6cc1e59e11631dae1e","datavalue":{"value":{"entity-type":"item","numeric-id":3189651,"id":"Q3189651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$60FFA923-6117-4BDF-95CA-7DD34DCD5934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269e4816dcace19189dccca17376dfdd1f1882c4","datavalue":{"value":{"entity-type":"item","numeric-id":846367,"id":"Q846367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$BD2048CA-DB9F-4DA0-B6C0-3270DD07F873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$42FADE94-8D55-4D3E-9E91-CAA640466700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$20117ABB-0F8E-420D-8E6E-C35EC4DC0333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0f3937afe354a8dde1b230065f71f0c410c45b","datavalue":{"value":{"entity-type":"item","numeric-id":1961920,"id":"Q1961920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$133851F8-ECE5-4530-8516-DB615497A1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f224d6e11069ef9d5e62f5532ff4dba0c8ec7b48","datavalue":{"value":{"entity-type":"item","numeric-id":1128767,"id":"Q1128767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$74A97F2E-EB0B-4421-84FB-38800DB21C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f612395bd74e833e3f9ac6f12aef172a5ed6c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1267773,"id":"Q1267773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$66CF9451-E85F-404C-8624-AA8CBE600BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b1068ac358d026ad8f2ffa16f0fe67d2b11b9b","datavalue":{"value":{"entity-type":"item","numeric-id":1810858,"id":"Q1810858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$D24300DF-DEB6-4D19-AA88-82B670FE6A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1af8abe41c9e8aff502622e419feb3df55654b","datavalue":{"value":{"entity-type":"item","numeric-id":1332851,"id":"Q1332851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$12ECFD7A-BFC0-4DBE-A1C5-CEF2EECCC670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d24113b383c97b7bc812502b725ba6639971c4","datavalue":{"value":{"entity-type":"item","numeric-id":5264255,"id":"Q5264255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$F69CDCE7-95C4-485A-B15E-5FE794949B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacb907dd9697f1a762f9a4806c2c91d826f7e19","datavalue":{"value":{"entity-type":"item","numeric-id":2848683,"id":"Q2848683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$04FB97EB-E828-4C8E-91C0-E487C1852899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea922bc3cd3ddaaa42fe2bfaa5b81fa3391d5959","datavalue":{"value":{"entity-type":"item","numeric-id":3088266,"id":"Q3088266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$9E10C219-4D39-4719-968E-C6959A5B60D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87957d20676b341fc2d415efa4c896e75ab57ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$C01E363D-264C-481D-AB4A-D9C656B8A089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999b14224255809098a606c16262602638de58e6","datavalue":{"value":{"entity-type":"item","numeric-id":2879260,"id":"Q2879260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$EC78A3E9-24CC-4F67-A533-3ED8CF459F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62005ec72ec2f611f752e07bf6457e9307f8e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":799390,"id":"Q799390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$DC40EA8D-5BBF-4E21-B737-1B9C3B69AEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a1ce015f9a6115f5e15ce96a4b6a73ac4d89f9","datavalue":{"value":{"entity-type":"item","numeric-id":5327340,"id":"Q5327340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$45DD0A2D-8EC7-426D-A81D-B6D2B55A952F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7e2eba4b949c6a06c4afb0b8dc3c238c22d93d","datavalue":{"value":{"entity-type":"item","numeric-id":4694758,"id":"Q4694758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$57578A50-7B16-48EF-B5B0-51F863CB3597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb859fc691841d164dc83bc674b45469dcd4763b","datavalue":{"value":{"entity-type":"item","numeric-id":851144,"id":"Q851144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$435C0702-2F12-409F-AC46-E71661E01E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7fb806cb84b37335d37b3efe1590f8bc64cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":839035,"id":"Q839035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$7CB6B8C4-12F2-49E8-A978-FA15EA30825D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f646046f02cde628a0680327261c8770d27e5ab","datavalue":{"value":{"entity-type":"item","numeric-id":2437295,"id":"Q2437295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$68A7A423-ADC6-47BC-89DD-192570EDFC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$C76C8EA7-2A78-4088-B6B5-93D6C249B3C3","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":"Q7361650$C6230200-62A2-4D22-B784-F40084451352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b659b1f6009ab3df1cf8432adfeb1aaf4fe4f69d","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$4A4D943F-D8D4-4C11-8B11-E5F8E5022767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6baec46ea7a7f97c5e0dfc3ae1985ee3aaeb4b","datavalue":{"value":{"entity-type":"item","numeric-id":2396003,"id":"Q2396003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$3494A8BC-07B3-4FE2-AE69-14A2B71C3A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbad2797dbdbc6e30c55124f13720ced1a87e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4488091,"id":"Q4488091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$FE8C500E-26F7-4EF0-8840-1A984001C27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7653da84007c7a5f47e587934a232ab2e277182a","datavalue":{"value":{"entity-type":"item","numeric-id":3525136,"id":"Q3525136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$8EFD85AB-6E2B-47D3-BD92-1DBF9762D011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78f9e51b63c4e692cfd1c2dfcec05b263377e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5477669,"id":"Q5477669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$7EAA2392-85D7-40E6-82B7-7D79E1886F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c1e845270f8722a572f77f99ea7688c7ac33ef","datavalue":{"value":{"entity-type":"item","numeric-id":4725746,"id":"Q4725746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$0A2618F5-5425-4988-B981-3F62379C20D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9e23d06ba128e6f458cb69868b08cfef79af62","datavalue":{"value":{"entity-type":"item","numeric-id":1433224,"id":"Q1433224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$0ED8F457-4448-4BD6-B372-3BEFE39B4EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$CA9BE62F-A313-4B4B-BE30-488711E832A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babd23140874eb5fae71cd5313ccbf026dbcbf25","datavalue":{"value":{"entity-type":"item","numeric-id":3454094,"id":"Q3454094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$4A944FA8-97E1-4D15-B53E-BCD1C1F65869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062562533f4b55cd657db8cda7e50f735d1caac0","datavalue":{"value":{"entity-type":"item","numeric-id":3055802,"id":"Q3055802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$39EE2E40-53C7-4F1B-8020-FF0028243E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57971a1dc21b4998ecc5dbfd573eb38d79059318","datavalue":{"value":{"entity-type":"item","numeric-id":359984,"id":"Q359984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$B71FED8D-16C8-4B5D-8A75-E15EC2D21561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4675fdb0e0708f4f0cc371668bf4c2847e859377","datavalue":{"value":{"entity-type":"item","numeric-id":5495822,"id":"Q5495822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$623A4D94-C8D8-41DC-90AF-49D3845C90FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fee3290184e0240c1fcdc78a5c0bf709606b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1846747,"id":"Q1846747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$1F4B9F40-4959-4C3C-B2AC-45AAF8660B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d75d3a49bdccbda045af07abb7b72f3249deadc","datavalue":{"value":{"entity-type":"item","numeric-id":5713713,"id":"Q5713713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$C673D9AD-E232-4C9F-B20F-0DE9F1B57B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4243a855a95d15dcc52f4675bed6925988c3cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$E6CEB78F-F6EE-4B6A-AD41-33AAADA95F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$7A041386-9643-4E30-B840-C3468380FDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9681784022b86162db543dda6c6ef131035bebcd","datavalue":{"value":{"entity-type":"item","numeric-id":4020701,"id":"Q4020701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$4F80EB72-509E-4B32-89A5-C011B586A6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$BF3E57D9-8E8E-4E39-BF37-33BEAA096A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6c3c140d8c8833ce94f97f6df8b77616ba58be","datavalue":{"value":{"entity-type":"item","numeric-id":2457650,"id":"Q2457650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$594C1B2E-0241-4AC5-93E3-53022783552E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa8ba283d9e484943fe807a0c4c63c25e9c2ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5901085,"id":"Q5901085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$2AEABDFE-CFBA-46FA-B3D5-076781DC7933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ccd0189a93523a1b270b425ed7f41b9220c33b","datavalue":{"value":{"entity-type":"item","numeric-id":5712173,"id":"Q5712173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$5F239364-5E37-49D7-9360-8A40401901E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce670ec1d34ee6c61f1437c968abe3b27423157","datavalue":{"value":{"entity-type":"item","numeric-id":3088018,"id":"Q3088018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$C154D00D-F5C7-41CA-8B3A-0B8AF47C85F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a914c4e44dde41b17e5fb1fd3ebe0fef3dbf648","datavalue":{"value":{"entity-type":"item","numeric-id":2829278,"id":"Q2829278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$D7F23FE0-3E0B-4B92-894D-6E3163AC443B","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$15261993-70DF-45FE-AF48-48293E760242","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"6615b9721957de7f5cee151b861e0edef1b336c4","datavalue":{"value":{"entity-type":"item","numeric-id":7361089,"id":"Q7361089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$710FF385-1EDC-41D9-9F80-89F34644EA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e0b5465b6a0d9e05645cdb7168eee1aaf7eb2845","datavalue":{"value":{"entity-type":"item","numeric-id":7361518,"id":"Q7361518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$B29B90A9-178A-48BC-BA60-03D475CC42A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"6603b2a587424388be085eadb1b94d7144f1c3de","datavalue":{"value":{"entity-type":"item","numeric-id":7361652,"id":"Q7361652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$AAE115D8-5F0F-405F-ABE1-083E76CCFE54","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ce3280e9ef2fb44c844e03b65b6366a348e2eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":7360783,"id":"Q7360783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$0855CDFB-F4D6-41EA-8753-180051D153ED","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361650$26B2EC04-FBA1-4759-96ED-F00C7ABBCDC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified SAT-Based AI Planning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_SAT-Based_AI_Planning"}}}}}