{"entities":{"Q1716548":{"pageid":1727289,"ns":120,"title":"Item:Q1716548","lastrevid":57498051,"modified":"2026-03-31T04:24:57Z","type":"item","id":"Q1716548","labels":{"en":{"language":"en","value":"On the timed temporal logic planning of coupled multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7012179"}},"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":"Q1716548$9B324B83-EF15-4C8D-BBD6-0A84DE7F7605","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed03ba377340e37eeddbd22ba260113fb9544a8a","datavalue":{"value":{"text":"On the timed temporal logic planning of coupled multi-agent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1716548$E8C48909-E3D3-4AD4-B897-7B61A0388B8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1741596f617178e034173eb587e5b5b9ee7afca8","datavalue":{"value":"1406.93029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1716548$3D11F091-DBB1-4994-BAF6-F9338E3283AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76de98da31a16cccbbdbacf779579a70aa2d97af","datavalue":{"value":{"entity-type":"item","numeric-id":1716547,"id":"Q1716547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$ECBCBC1B-00E9-4F06-A49A-FCE1D50F44EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc41d1de1f7b1a0fd53bdb36c02e3ff6c19852f8","datavalue":{"value":{"entity-type":"item","numeric-id":1712901,"id":"Q1712901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$BE4BD455-9E1A-4A04-9D5F-C12BE2D6195F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe955b6b42974a970b73af02150e7e2737b8ec1","datavalue":{"value":{"entity-type":"item","numeric-id":290856,"id":"Q290856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$67AD0EB0-D986-4E47-AF39-BAFDBCA881D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"212fb0c4514e893fa07e5fc554f3883bf3b7eb76","datavalue":{"value":{"entity-type":"item","numeric-id":290877,"id":"Q290877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$95555845-4CEA-4DD9-933E-A6154F09D972","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$026147B6-95CF-4488-B50A-ACEC50308F12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a056bcd193fdc60b8557faf8de2ebb949474445","datavalue":{"value":{"time":"+2019-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1716548$B65B6753-611F-40C7-BE7E-5E2569B324BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70a4481250c2431ba2b4ea513227164d05eefd6d","datavalue":{"value":"https://arxiv.org/abs/1709.06888","type":"string"},"datatype":"url"},"type":"statement","id":"Q1716548$69872D40-CAE3-4F7F-8DF2-ED360D9BB176","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1716548$D427F682-ABA0-41DD-ACD8-05BCC5C1AD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1716548$EF83A7BC-37BD-467E-9D3A-B906BF5EABCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1716548$0B6FCCFF-0F7B-4E4E-9267-40CE2E152AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1716548$74CD63C9-404F-4667-9144-0C3DC14F0EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1716548$5CE1DF9D-B6DF-42DB-81D2-038068B8ED7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d97c3434a938faf86ff3a5c7201902a6f08d270","datavalue":{"value":"7012179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1716548$58A42265-8F93-48C8-962B-FA9EEB501FAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1716548$16359843-9B59-4BBA-9D4F-F7F945CA76A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909c9f8fa7fc29f3d53fb58844f728dc815f3ba9","datavalue":{"value":"cooperative control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1716548$A6FC63FA-6931-4011-8C25-EE6D078F31A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1716548$24255D35-2808-4D8B-B783-1802BBEEDEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1716548$63971DB9-957B-4489-8E68-9866F6554717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"450f5144af232152138dd9180f2a425736353959","datavalue":{"value":"timed logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1716548$C1492E0A-F30F-47FA-AA86-BA58529E9B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0292d7ae2b8e3a14fbdf5d645725bd7a994ae5","datavalue":{"value":"abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1716548$1C2CEDB0-C31B-47CA-B1E2-D2AF0225E697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1716548$2EE87AD6-C2B0-4D57-9A28-65CF92CCE8E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$EE6FF1BB-C0CB-4E5B-A8E9-0FB74E411855","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":"Q1716548$BA1D7DDB-4E2D-4036-B1F9-E54463E0723A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c95136dafce2f45676dfe1c89023b3e572154b4","datavalue":{"value":"W2964257036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1716548$54237A58-AC3A-4067-B137-F8D517397229","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$4747F81C-1BEF-4FE4-A2BE-E1C87F378918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$9BF37480-D285-43F2-8962-94A279CBEDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06987348d665bd9b962fb9b1b14d2d46665f9663","datavalue":{"value":{"entity-type":"item","numeric-id":2151264,"id":"Q2151264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$C151934B-3C2D-4469-A541-69B0DACCA401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$A18F0072-C17E-45C5-9E1E-CBF1BFD6A395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3807f528ae5d54597da8f17ef55a807778eaedc3","datavalue":{"value":{"entity-type":"item","numeric-id":3580272,"id":"Q3580272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$971BA700-EC66-41A9-A93A-984C854D7C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90622f26cb21013c4cea46e94a7687ca074802d1","datavalue":{"value":{"entity-type":"item","numeric-id":5375276,"id":"Q5375276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$547F216E-1255-4413-8A6E-925A230D0186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ce0f7cea267fed088d824a336dafe8e57f511","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$744CB081-9A47-493B-8CD3-750210737744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$640CA977-5FCD-4B8B-BF0F-1F099CF28C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bdb575cdb541a62748f0762a05193c4db58062","datavalue":{"value":{"entity-type":"item","numeric-id":2946573,"id":"Q2946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$4D80BCAC-4C64-419D-B667-00E1C4A0E24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1a3b54a2e5ef3ea09f6af9ccb4be610b88e93d","datavalue":{"value":{"entity-type":"item","numeric-id":2985871,"id":"Q2985871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$0EAF0B69-94BB-49DE-8DB0-791938F049D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2b35642ecbde9043afe635b91dcdce5ffc618d","datavalue":{"value":{"entity-type":"item","numeric-id":5352883,"id":"Q5352883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1716548$02BB15C0-0AFF-4DEF-A633-4137BBD61A2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"492be12f91ae45d789fbc19cc6892fc985c7b83d","datavalue":{"value":"10.1016/J.AUTOMATICA.2018.08.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1716548$22982535-5A1C-48D4-A403-8A7EE423B75C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6e29a5fcb3bd0b76a24142e921ba0e58ac6734","datavalue":{"value":{"entity-type":"item","numeric-id":1617988,"id":"Q1617988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94b50db78790c7df37d7d385998a559dbb07cb6","datavalue":{"value":{"amount":"+0.88865876","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":"Q1716548$F8E074FB-C32A-4776-A3FB-8B2917C476F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c36ebefa4ecbf19079adf0be9a667c656a0d4e","datavalue":{"value":{"entity-type":"item","numeric-id":1861912,"id":"Q1861912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d0757ede081694abe3182fbd1b143fe0889089","datavalue":{"value":{"amount":"+0.884816","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":"Q1716548$6AFBEEE1-52C1-4442-AE68-2411C3CB793C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b9d5b6f907a9a75daad09cb4ac0dd2d09ea478","datavalue":{"value":{"entity-type":"item","numeric-id":6072992,"id":"Q6072992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a297f3cef0e15e099665612b1ca368e714c2d85d","datavalue":{"value":{"amount":"+0.8823808","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":"Q1716548$DD201B62-5FCE-47E4-BC95-242A9389195F","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":"0bf625e2540c8d9ca2dfe074513151d42887c981","datavalue":{"value":{"amount":"+0.880453","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":"Q1716548$5BDA197C-C4E7-4489-948F-2CC98820C0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e5261ddb9e2a809549ff855a58a622967c7c68","datavalue":{"value":{"entity-type":"item","numeric-id":2160194,"id":"Q2160194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89e396a09e4fa06cf846c598113ce72985c2277","datavalue":{"value":{"amount":"+0.87811124","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":"Q1716548$86FD8FA0-B711-4529-B986-7FCE4BEFF1E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1716548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1716548"}}}}}