{"entities":{"Q814472":{"pageid":816320,"ns":120,"title":"Item:Q814472","lastrevid":49778896,"modified":"2026-01-10T16:01:56Z","type":"item","id":"Q814472","labels":{"en":{"language":"en","value":"SAT-based planning in complex domains: Concurrency, constraints and nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003885"}},"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":"Q814472$2EE3D472-93C3-487F-9BC4-FA3F681399A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1119c39813daa35e636335cc99a0f573786e2a9","datavalue":{"value":{"text":"SAT-based planning in complex domains: Concurrency, constraints and nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814472$6E786A8C-3407-4C0B-BE14-7594F3A428DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94f4313448e30f4955b2a86ac5d039cab6d3b079","datavalue":{"value":"1082.68799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814472$22843522-8671-4845-9B41-23829B6FEDB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49dc1b443389fbc09dd5c9cc4e8231171b1acdc9","datavalue":{"value":"10.1016/S0004-3702(02)00375-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814472$E7CBEBA8-B693-4446-B061-B4A6DE56B5B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcd26f860b44bfba2e9bedcf5b19eb2d71483a","datavalue":{"value":{"entity-type":"item","numeric-id":814471,"id":"Q814471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$4861562A-77C2-4D8B-8492-638C43C1D400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$0AEB1B32-3DCF-4732-B7CD-9C98A48C1346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$785B3DB2-B949-4654-9EBD-1C152A6BCF56","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":"Q814472$10342F95-7735-49FE-AAB5-6CB95D812A27","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":"Q814472$DDFEA75F-A855-4F82-95F6-E38377B7CE97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814472$5ADE64F3-1BD2-4DD6-BD17-4535B1136ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814472$4AD0AEE8-61B7-4274-86CD-6CB2D0B55891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814472$98FB7844-CF4F-411D-9367-22C1B2F3A85E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c3682a9cf00f7187c6631b54f0ab0d8e34e947b","datavalue":{"value":"5003885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814472$493EBBF7-3AA0-4831-BA56-2F399A813525","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44035d8df6248a4abe88e2661a856f54252afa43","datavalue":{"value":"SAT-based planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q814472$5EB5BB4F-950D-494C-A351-6B976621E5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4cebf8876a8e849336b5819dfedff46a8d1ece","datavalue":{"value":"Planning under uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q814472$97E9FF9E-7B6A-4C74-B11F-AD9DB2873F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q814472$C8723FE8-745C-4698-9FE2-19F95D04063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q814472$9BB4D6D2-15B5-435E-80E7-02F9B40C07EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c46ed3b1ec1227e6124d04197d357edcff4187","datavalue":{"value":{"entity-type":"item","numeric-id":12936,"id":"Q12936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$1FB6281E-4B9D-4D5B-92B2-C23947CE6891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f08a2a8c7ead6319b5cdb95fb4e36c14c29b9f2e","datavalue":{"value":{"entity-type":"item","numeric-id":15880,"id":"Q15880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$C100D7D8-173F-4553-B678-E4A3741E3F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$3A584ED1-9C27-4D70-ABF3-CFE2C0B9602B","rank":"normal"},{"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":"Q814472$40AFEBC6-D70B-468E-B46A-E7C1BCFE2EFB","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":"Q814472$0CBEF24A-47FE-4F3D-AEB3-6B793DCF0C80","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d8bb1343e6836ba9497c9fcfc13b581739c7f387","datavalue":{"value":"Q62652857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814472$23B42865-80EB-447F-BF93-D490855D6608","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":"Q814472$9BFDA8E5-9DA7-437B-BEA5-D28BFCE0D89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bbf71fa00e4703cd5dab0592a6d3defb70c3e7","datavalue":{"value":{"entity-type":"item","numeric-id":4019994,"id":"Q4019994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$F9727DE9-3F53-498E-90EC-A96EAD6B956D","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":"Q814472$C6736525-EAB5-4971-9C2A-098AA0187269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a179078c9a9f8b24e5164f170dbd1be09ede2650","datavalue":{"value":{"entity-type":"item","numeric-id":4551177,"id":"Q4551177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$CAF611B7-81D2-46F8-92AA-E3324A2B832E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$FA6C2B46-F95E-4671-A113-889D9B036DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044b0e0c53999d5785a2e1816e7022ccf22e4da4","datavalue":{"value":{"entity-type":"item","numeric-id":2723426,"id":"Q2723426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$587F320C-038D-4D23-86BD-0373A229A8CF","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":"Q814472$B1FA21E0-41D9-45E1-A252-FF58CFDFECEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e69fa5e2f2ac754b66363d1885e8388223310","datavalue":{"value":{"entity-type":"item","numeric-id":1610667,"id":"Q1610667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$1C5D8334-0882-4970-AB77-BA4D6BA05F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cb64b0528c98205216ec932060ad7398d2f289","datavalue":{"value":{"entity-type":"item","numeric-id":4539619,"id":"Q4539619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$148ED600-BF11-48A6-8EF9-69CAD08D230D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f234ec68b7997aa22e47724a28d2902748ef614","datavalue":{"value":{"entity-type":"item","numeric-id":4954178,"id":"Q4954178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$1BF33F6C-D0D3-4D05-A175-19E1503F226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62c573142ce8aa8359285c2c9b666189dad8d7b","datavalue":{"value":{"entity-type":"item","numeric-id":1174513,"id":"Q1174513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$B364ABB3-DFC6-4541-8291-7BEB0E41ADD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed4bbbdb68b552a3d9b0c508fb4af15948afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1127347,"id":"Q1127347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$64D58A8A-797E-4328-B6D1-B2B3EEFFD8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a544e9f07adf34d30eb3f091874b5b0166f7df","datavalue":{"value":{"entity-type":"item","numeric-id":4316298,"id":"Q4316298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$CA57BC7D-09ED-4BBD-8DFB-BB46F4E54400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6509c2c5d7de3398690a894a40717bda9c292ce4","datavalue":{"value":{"entity-type":"item","numeric-id":4242054,"id":"Q4242054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$7A3BDF58-C264-4AC3-A1CC-33F9813653D8","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":"Q814472$005A95C7-8C83-4107-AAAB-A4252AC0DC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$85259D54-D0BE-4659-970D-1FA2960AFF2C","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":"Q814472$F4215110-356C-4320-A310-C24C7ADC5100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbfdc3423a13c0e159fffb7f2eefc9ae94ed175","datavalue":{"value":{"entity-type":"item","numeric-id":2996176,"id":"Q2996176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$4B465E79-1923-406B-BEF5-25B9350ABF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b3ec2ebad61e0cf6b1df8ac8c200c146db0252","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$74A0C00D-239B-4D95-A0C8-957258B9BB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814472$95878183-340C-49C2-93ED-8F048DCF61A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5884f98900a139d68aedb9b92df1051edd605ac","datavalue":{"value":{"entity-type":"item","numeric-id":5394133,"id":"Q5394133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79becc18cba6eb7fecf9f579996ad3b089d5e8cb","datavalue":{"value":{"amount":"+0.8138707876205444","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":"Q814472$A9A6F552-E4D2-48AD-9642-11B22B1D4B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe61a7e3adbdcaaf405e1fe7b1951ecdd88dea1","datavalue":{"value":{"entity-type":"item","numeric-id":2457605,"id":"Q2457605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80a711f418851bf7cb2d0926104b9c58cb9eb591","datavalue":{"value":{"amount":"+0.8110361099243164","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":"Q814472$1F31F564-BB05-494C-889A-E01240281ED0","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":"ee63ce4768f0a5afe19ab6c793a588aa30749dc2","datavalue":{"value":{"amount":"+0.7959803938865662","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":"Q814472$D2148625-6B7F-422E-AA36-5188A01D3646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2254ff666400758e6ddd6cedee7d2de4ce8d8c08","datavalue":{"value":{"entity-type":"item","numeric-id":4415235,"id":"Q4415235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee63ce4768f0a5afe19ab6c793a588aa30749dc2","datavalue":{"value":{"amount":"+0.7959803938865662","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":"Q814472$35E00BAA-73FD-4C64-9CB9-CA77FF4E6547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e761c249d1734e74c678c055b20f4b1eb50aaa9f","datavalue":{"value":{"entity-type":"item","numeric-id":2941742,"id":"Q2941742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7dd411e4d3298aa48a153ab009a86ad37189cc7","datavalue":{"value":{"amount":"+0.7940676212310791","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":"Q814472$7D479B8B-3B93-416E-8674-72A11AE0BFB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:814472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:814472"}}}}}