{"entities":{"Q439866":{"pageid":441633,"ns":120,"title":"Item:Q439866","lastrevid":61935396,"modified":"2026-04-11T02:39:56Z","type":"item","id":"Q439866","labels":{"en":{"language":"en","value":"A framework for multi-robot motion planning from temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6067198"}},"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":"Q439866$B6076E06-BC61-4173-AD94-A7B4E027BD14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b33939063f32c72c251a6d470e723dabd0373f19","datavalue":{"value":{"text":"A framework for multi-robot motion planning from temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q439866$C18555FA-C00C-47A3-9EAB-084CD64DDD22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f76149564a3d7b1b3592c5d3402f9ad069d1940","datavalue":{"value":"1245.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439866$7C66F65F-25B6-4886-8F0F-5C609394AB4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9b960ef01373d1c352f90166f4023ce350084cf","datavalue":{"value":{"entity-type":"item","numeric-id":439861,"id":"Q439861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$ABB3EB57-DC28-47B4-94D7-EB7FA12047E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83693e606b9d26cec9abf57cb09a253b87b139b5","datavalue":{"value":{"entity-type":"item","numeric-id":439862,"id":"Q439862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$10F3BBA4-98ED-4273-9C08-7A11C2BA869B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6390e49970553dffb629aa39eae7c59f7e7d3c","datavalue":{"value":{"entity-type":"item","numeric-id":439863,"id":"Q439863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$7165EE9D-1DD8-4767-A9CD-B5FE94F5CC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99b285a30604e778d35fbcc44f87050886cadc80","datavalue":{"value":{"entity-type":"item","numeric-id":439864,"id":"Q439864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$B6965517-7BF8-41AB-98E3-E28A8F15ED67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f5aa392003d88cafafcacec4121e2c3337a64f8","datavalue":{"value":{"entity-type":"item","numeric-id":439865,"id":"Q439865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$8F6F54D0-BEB5-40C6-9C26-40F7C3D2BC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae9107eaea58817eed0137da4082178a72d9359f","datavalue":{"value":{"entity-type":"item","numeric-id":398363,"id":"Q398363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$264E39E8-8B3B-42C5-8774-954FAFA2931E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b603f6512fef6ae8133f8f1ff885bde2efd37af6","datavalue":{"value":{"time":"+2012-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q439866$2F613108-512F-4ECA-826C-D7559A3F45CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e928895523a4e5ec66104a3d03a5118f01f2921","datavalue":{"value":"http://engine.scichina.com/doi/10.1007/s11432-012-4605-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q439866$75241A0A-1AC8-4056-876D-E3E006997757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439866$2ED301CC-E941-476B-9ABB-346CD17A3584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439866$28C1B99C-582D-4B97-98E6-0A06B02C0246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439866$D476BCA0-402F-4CCD-9999-E5998A2AAC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439866$A915D97B-5588-4221-896D-0BC3E560F899","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1fcf00f155ca82fa59d2319ad345faf812fb457","datavalue":{"value":"6067198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439866$210C6551-28DF-46DF-BA5B-8E0C88BF28B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3c4174a5d716f293c7527ce1cefdfb920908bc","datavalue":{"value":"motion planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q439866$9DC48F6C-61D6-432D-94CD-7F11D5DE6F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e661c8472590bed41791411cd01019e97a450837","datavalue":{"value":"multi-robot systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q439866$130CC791-FCF5-4590-B37D-48C44159C353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q439866$30899AB4-B8EF-4841-8D2F-3B70A5687834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q439866$121C566C-D30D-4704-BD6B-C2B79ADEA02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8f7ff3a5e17e9b8956bcbde9a29d669fb36effb","datavalue":{"value":"discrete abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q439866$1775D45A-33D8-4019-9BAE-CCFD9733ACD8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d85edb3ce99122a91874624562aa066c820faae3","datavalue":{"value":{"entity-type":"item","numeric-id":22907,"id":"Q22907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$387AC8DF-E1FD-4C6E-8BAF-0B16A306D57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ad725596f99b531ed67c340f4e5db7fc66fe2c1","datavalue":{"value":{"entity-type":"item","numeric-id":19812,"id":"Q19812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$46D775DE-36B5-4768-8F3C-4589DA37B45B","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":"Q439866$85AF9080-87EE-4A38-8344-9A506A9B567B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa5d60ceb3bc4f7b44e66ee1cda0737c77faaa11","datavalue":{"value":"W1979205345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439866$F13E450F-9969-48B5-B09E-6514ED1606D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd17aa1c513d384a58dbfd14dbbb5f8b050a596","datavalue":{"value":{"entity-type":"item","numeric-id":5953546,"id":"Q5953546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$CD8B8095-1DEF-4CC7-80A0-98057D0B3F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c5f1d14f7cc50ec0d148e09de96b993a81ae82","datavalue":{"value":{"entity-type":"item","numeric-id":4736591,"id":"Q4736591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$073022C0-F356-4B32-9E6A-A52FF26D092C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4eac48660dd43d4c001dede0e79b7b0add4585b","datavalue":{"value":{"entity-type":"item","numeric-id":5898988,"id":"Q5898988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$A0BE9A40-B049-43E8-B869-BA0B7F90D1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3811528e3e7d7937580c2dd4bcb9a89711daebbe","datavalue":{"value":{"entity-type":"item","numeric-id":1012729,"id":"Q1012729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$4762A9A7-A46A-4381-BDAB-8E931BA20B9A","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":"Q439866$AADF7B30-557F-4A74-8DBA-B24FDF75555C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a470c5ce589890367502981ff1b71f1c93977be2","datavalue":{"value":{"entity-type":"item","numeric-id":4540483,"id":"Q4540483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$854A5C03-16C7-4A6D-8171-BE521E341105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c563860f739c4bf7a3cb0074bffad21c50245f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$8A12DD0D-54D3-4A30-94E8-A19E9973E85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e3e7f78b7508caba9f51ef52b2603c02d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$6745A76D-63E7-433C-B7B8-6FCBDCA05F9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"136f7b311ac2adf75576c3f07db2a37a596d971e","datavalue":{"value":"10.1007/S11432-012-4605-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439866$0EDAC01A-347D-40E0-905A-7995EFAAA971","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e61521466efc69453d03c996ffe47614665c4523","datavalue":{"value":{"entity-type":"item","numeric-id":5018141,"id":"Q5018141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439866$7C5F0584-B37C-4F4D-9564-1B5898DB6A68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b4224b96cae4454925e9e94e9d62c4aa5e707c","datavalue":{"value":{"entity-type":"item","numeric-id":1012729,"id":"Q1012729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941a90bd4a6e678191552552d8784d47955098ee","datavalue":{"value":{"amount":"+0.9273586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439866$07E03F40-4F4D-4E70-BEBD-6ABE55884C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9af2354e1d855fdef41250e3fea02e4e90ef639","datavalue":{"value":{"entity-type":"item","numeric-id":3161546,"id":"Q3161546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6fa1425a3e17185eeb4b34b7b5c56d0c596015","datavalue":{"value":{"amount":"+0.91365325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439866$68DF5C3B-940F-469C-BE70-40D132169AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a87e0c2b48c4a10d20b09a10c3e2934988f7dd","datavalue":{"value":{"entity-type":"item","numeric-id":2673758,"id":"Q2673758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04b18160c271d7d062dad23c1176bdb9001c6189","datavalue":{"value":{"amount":"+0.9084165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439866$4BD31733-E4F9-460A-A2B1-DF43EC2393A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6d12ebe40ef64dbd3f499583e7ef419e902bc0","datavalue":{"value":{"entity-type":"item","numeric-id":5143055,"id":"Q5143055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf781d58cb9643f6e8d58ff3712ea77a034206e","datavalue":{"value":{"amount":"+0.9015434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439866$6419A3AB-0C4C-4270-AAFE-10FEA6B3026F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9afe960f6083054ee4a8a5f2eb2a343fde6788bd","datavalue":{"value":{"entity-type":"item","numeric-id":2988944,"id":"Q2988944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ab716ef7660b8147c93811bb6d06880f78cbdd","datavalue":{"value":{"amount":"+0.87918544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439866$6DEBFA12-463E-4B1C-9016-7900B96A148B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8cfe533508917ce61b8e91c4c3b16d39e1c47e","datavalue":{"value":{"entity-type":"item","numeric-id":5211162,"id":"Q5211162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37c35a7ef345cac5002f6759aa5a63ae319f9a8","datavalue":{"value":{"amount":"+0.8784629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439866$EBF8558A-963D-471A-ABE1-B28D1FEB8847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c73e147da11c6e32bf607f1a39b5cf78ad0ec47","datavalue":{"value":{"entity-type":"item","numeric-id":1716548,"id":"Q1716548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc874d3921e6243562a41652c2eec53ece217095","datavalue":{"value":{"amount":"+0.8773405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439866$FCFF02C4-BB69-4DA3-AA13-CB141B6DBC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b855f7fff76bc21d38607b4e7bc2bddb2c51d08","datavalue":{"value":{"entity-type":"item","numeric-id":832022,"id":"Q832022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a75e213024c9ad78b6fa01196e0622f6967aaa6","datavalue":{"value":{"amount":"+0.8757953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q439866$A9FE2916-B13C-4A94-B6E0-88CD3C43FB2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for multi-robot motion planning from temporal logic specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_framework_for_multi-robot_motion_planning_from_temporal_logic_specifications"}}}}}