{"entities":{"Q2835117":{"pageid":2845847,"ns":120,"title":"Item:Q2835117","lastrevid":79558364,"modified":"2026-05-06T14:11:57Z","type":"item","id":"Q2835117","labels":{"en":{"language":"en","value":"On reducing complexity in LTL-based motion planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6658704"}},"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":"Q2835117$4BA5C91C-642C-492B-9041-8178A850A3FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b80a5415b233b75e1d5e28c6ba904223414dc440","datavalue":{"value":"1363.93005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835117$F89A6F6E-2F5C-4B2B-A365-F303FDB734F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0120b363d55b63cd06ff8c380502753cd58340e","datavalue":{"value":{"entity-type":"item","numeric-id":481350,"id":"Q481350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835117$D184453C-FA28-49EF-A7B5-0304B5AB8DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ad0b595eb57d4c32624a114ce8f77795267e06b","datavalue":{"value":{"entity-type":"item","numeric-id":2835116,"id":"Q2835116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835117$C4294C7B-ECD9-4B28-974A-6B9AF5337F02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76c676318048daf34b8617e9c6493010a5dcba26","datavalue":{"value":{"time":"+2016-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2835117$1B51E949-CA52-4940-8CEF-31B303032B95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835117$9798B934-D0B7-4A4C-AC1F-F63F235F0450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835117$655D2F9F-41A0-4899-BCBF-050CBFA01C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835117$1E26E438-23A6-405D-B1C5-EB35917506E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835117$E15C631F-09BC-4926-8DA6-DBB438B7C692","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"232dc5389124e2a1086ae54a4f4d49af112a68ab","datavalue":{"value":"6658704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835117$17EDE4A6-A76E-4B50-A10F-E05B01CEFC40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835117$B7F18CFF-CE69-4FC4-BD57-18EC16952B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3c4174a5d716f293c7527ce1cefdfb920908bc","datavalue":{"value":"motion planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835117$3ABDBE8F-0562-4757-A116-D83EAAF133BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835117$37F66C92-73D4-4BDA-B4B8-563690984077","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":"Q2835117$3F9D1B11-2736-42CF-A51B-05A36A8787CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bf8c85d69f1adaf4c01bc50ea7c98cd0a0f2134","datavalue":{"value":{"text":"On reducing complexity in LTL-based motion planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2835117$9884B678-D85A-49B8-BE9A-C8A3688A98AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37bd03b23ee28837f984fd71ac7216f097fe15ab","datavalue":{"value":{"entity-type":"item","numeric-id":6772450,"id":"Q6772450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835117$E898EF30-E903-495F-A598-567BFB257500","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3379edc8ad5fae6b15e00dcbc45478d74b7622f2","datavalue":{"value":{"entity-type":"item","numeric-id":2024360,"id":"Q2024360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37972d4a434e190ee137c6d0251549a3635a362c","datavalue":{"value":{"amount":"+0.8078052997589111","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":"Q2835117$F8DC5C59-D57D-4DF1-89F6-63B23FB96144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e681a41eea82e4ab8ff1d5f73948e4a73ffacf","datavalue":{"value":{"entity-type":"item","numeric-id":2177780,"id":"Q2177780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b58feb33dd3aa23aac880656e37be65edb9998","datavalue":{"value":{"amount":"+0.802126407623291","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":"Q2835117$6546C50D-D005-4C87-BED4-FFCE46AED26A","rank":"normal"},{"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":"d9556b8c4cdedd9d2af873aee1136fec1d178633","datavalue":{"value":{"amount":"+0.7782242298126221","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":"Q2835117$31BCEEDD-4E45-4A51-A165-2749835D231B","rank":"normal"},{"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":"11425ca9f0f04bcc622e7943a131a7f9ab1fdbd6","datavalue":{"value":{"amount":"+0.7759478092193604","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":"Q2835117$18851740-80D2-45D7-91AF-5A1BFBAF3FEA","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":"9bb0a4030b004b468285f17854f3aab7615ed3e8","datavalue":{"value":{"amount":"+0.7742279767990112","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":"Q2835117$9603B8ED-F165-40FA-BEAC-8D7C86894128","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On reducing complexity in LTL-based motion planning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_reducing_complexity_in_LTL-based_motion_planning"}}}}}