{"entities":{"Q2673758":{"pageid":2684501,"ns":120,"title":"Item:Q2673758","lastrevid":79194326,"modified":"2026-05-06T13:21:35Z","type":"item","id":"Q2673758","labels":{"en":{"language":"en","value":"Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7540988"}},"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":"Q2673758$808DABEA-1FE0-4E7E-98C1-56A09F3981DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c83823bca684dc4f33ada957b92c85d279795da","datavalue":{"value":{"text":"Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2673758$99EEAE02-8A61-4D62-B6EC-450DF57C6333","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef9cce7759a1ae2e7d8026a4ce85150284aad511","datavalue":{"value":"1492.93017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673758$A5119FC2-A2BE-4C6C-82EA-604BEB5CB383","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673758$7640C60C-4093-4C32-A9FA-82576A2C7014","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673758$E3FF6E4B-33FA-45C3-AAA8-F6E8C9DF53D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77075991782c40305711c3d33a7ecd0dd8eab84c","datavalue":{"value":{"time":"+2022-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2673758$0BB48B8E-1D78-409A-9BAF-AA1AE1450DF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"087647ba2abb2bab4ed9f998c2f5e73922e112f3","datavalue":{"value":"93A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673758$002CF191-D84B-45F0-8975-54E360E24A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673758$E531A756-7E46-454D-9F14-9C633DA7C7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673758$63A84E4A-B3CE-4217-B7FE-78508FD379FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bb14e29b54e2a9fcde3a84706c74bc09e8d4fb8","datavalue":{"value":"7540988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673758$6639C82D-2AC1-4329-975A-51886745D697","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673758$6C8984BA-2755-4CE8-A91B-6BAC26585F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e661c8472590bed41791411cd01019e97a450837","datavalue":{"value":"multi-robot systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673758$1994BAD0-9854-4B15-A0CC-9C6AE63E2BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ad307dea663440edb2154ac6938434c7c546a5b","datavalue":{"value":"parallel decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673758$AC529A9E-41B8-4D70-A5C7-AD7A48B03281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b2ba931b704a402e703caedacd5028eb35b14d5","datavalue":{"value":"task planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673758$51A42068-8AD9-4E63-964D-6E7B1E648EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3c4174a5d716f293c7527ce1cefdfb920908bc","datavalue":{"value":"motion planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673758$AC78B171-B97F-45CA-9106-B699C68D1EB3","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":"Q2673758$AAB0ED31-A71D-4624-9DC8-D20056E0DDF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3ad4c92037b6c36b8d8d8526962b8216a585285","datavalue":{"value":"https://doi.org/10.1007/s10626-021-00355-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2673758$174F60D7-09A7-4F2A-9C34-605C098EA374","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b7566cc561cd81c514c97ddeab740218900bdd6","datavalue":{"value":"W3216097817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673758$B51C7EDD-6FE7-4E20-A2AE-E13C24CD7D33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673758$F82BB2E1-5FA1-4EBE-8219-4944114B7CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf9b06ba421304c939d6927953c80a94194f73f","datavalue":{"value":{"entity-type":"item","numeric-id":540161,"id":"Q540161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673758$00CE4024-E614-4895-B7AD-8737D978042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba107006f16974318a0269de088ad9d9b7842af","datavalue":{"value":{"entity-type":"item","numeric-id":290878,"id":"Q290878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673758$D8CFC71E-199D-4489-BBA5-1458CB663BB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caa4e6177ea8a205bc0024a45ddbc7a659b26743","datavalue":{"value":"10.1007/S10626-021-00355-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673758$024E0069-6E42-4CC4-AF14-3BC9C9BE977A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6011ea9e73c8517b74c57598a33e03c402116b","datavalue":{"value":{"entity-type":"item","numeric-id":439866,"id":"Q439866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f6c2e0c5204faa9189e834455e74e642ee2316","datavalue":{"value":{"amount":"+0.8202027082443237","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":"Q2673758$22DE14E5-1D60-44CC-982B-22144C4D8F62","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":"b73a9056c68bd18e3e92206c175b4a9b174bb372","datavalue":{"value":{"amount":"+0.798416256904602","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":"Q2673758$DC6BFB59-E037-4C8D-90DF-73A6C89968AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43e8a1b4f7dcf96831b69fb847f4ffdeafd06a6","datavalue":{"value":{"entity-type":"item","numeric-id":2125520,"id":"Q2125520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdaa6456369265c6714be3b8a8b76439de641a67","datavalue":{"value":{"amount":"+0.7666836977005005","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":"Q2673758$1545122B-D261-4A00-97EA-37912C5B7DA2","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":"8ce80203bbc916aa1485318943c3ccc9217c5d68","datavalue":{"value":{"amount":"+0.7557004690170288","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":"Q2673758$FEFE308F-611B-4637-B558-201101C74D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0cd6b45026ce23e61c7e12e85e08e15dfac1aa","datavalue":{"value":{"entity-type":"item","numeric-id":2835117,"id":"Q2835117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6738d22f67edeffa4d75ea8b8d93a572f1152c47","datavalue":{"value":{"amount":"+0.7500729560852051","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":"Q2673758$88F96EE0-B9B2-4EEB-A48D-92E0CE853738","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parallel_decomposition_and_concurrent_satisfaction_for_heterogeneous_multi-robot_task_and_motion_planning_under_temporal_logic_specifications"}}}}}