{"entities":{"Q290878":{"pageid":292645,"ns":120,"title":"Item:Q290878","lastrevid":60775839,"modified":"2026-04-10T19:03:49Z","type":"item","id":"Q290878","labels":{"en":{"language":"en","value":"Multi-agent planning under local LTL specifications and event-based synchronization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589254"}},"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":"Q290878$4266C2F2-4C8C-4A5A-9CA5-B0913AAF3F62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"152926458fbfd5f2b4fcba8ba44e3a1a2e732ef7","datavalue":{"value":{"text":"Multi-agent planning under local LTL specifications and event-based synchronization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q290878$C0FD3C5A-7573-40D5-8406-7706850541DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76d10ed806938768c7405389aa5181ee7b0a5b40","datavalue":{"value":"1339.93080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290878$8187EECA-FEB8-4F49-8EAB-11B224922C6D","rank":"normal"}],"P16":[{"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":"Q290878$05C2BEFE-9276-4E81-B253-6E38A3DB71F4","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":"Q290878$90D57BDD-B5E3-429A-BC3B-F5A2A359B38F","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":"Q290878$4D5A0A58-8F9F-4E5D-A69A-AD7A9AB97A7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76ffc69a7d5fd5bda3b4ed249f40dec5f4ba2327","datavalue":{"value":{"time":"+2016-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q290878$8738DF7F-61BE-458E-A8D4-806BC31C9426","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"148b76e8d758a29ece9943380dab38391ac7631b","datavalue":{"value":"https://arxiv.org/abs/1610.08380","type":"string"},"datatype":"url"},"type":"statement","id":"Q290878$6BFF260C-DAD1-4658-8A0F-51DB5573BF0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290878$27268427-94FC-4178-9CA3-53AC50D82CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290878$1F392D7A-3250-4783-A95A-D08F6EF618F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290878$8A83A780-26F7-402B-8879-17B8C66BBCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290878$9E5305B4-438F-4FF4-85AD-E96EB2E45899","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d758fa344ec15d5155df5165a245f5114749f06","datavalue":{"value":"6589254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290878$348542CA-65E6-4D67-A4D8-7287F88D8217","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q290878$691EFAA7-3EA0-4080-8D08-BD3DEB3016CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae05ced63030a229642ca3bdc0f479742289e2d","datavalue":{"value":"finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q290878$BEA0EE97-B274-45EE-9049-51688BE865AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q290878$04076B68-7970-4E5A-8439-B74A317F319D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78eca3605c71c183c928e285f2395ffc56d8c22","datavalue":{"value":"path planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q290878$2D5AD942-9EC1-45A3-924B-C167D2C4314F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q290878$4ADF7BDB-03F7-4D7A-8311-055392D83B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ac4f5d3e65428399908ef1797dea7380dddc97b","datavalue":{"value":"decentralized control","type":"string"},"datatype":"string"},"type":"statement","id":"Q290878$40C55F36-9F2F-4CC0-9394-9012B1AFBF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960fc0c758470d5194eed1ddd4e08c3c6a3258cc","datavalue":{"value":"robot control","type":"string"},"datatype":"string"},"type":"statement","id":"Q290878$61ECD04B-AA66-43F4-ADBD-EF10DDA1640C","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":"Q290878$2E511DE2-4D45-4453-A2A2-9A4D6550A711","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cae9394a0f5dfbffdc84376395908c6b47a2454","datavalue":{"value":"W2343223723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290878$87302B51-1E9C-4C47-B5C1-3E4F9452F7E7","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":"Q290878$CB7DFF10-B1DF-4DA8-9DFA-8AD149B46681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0803f111cd4e855bc5fba7f06e46df59b58592a0","datavalue":{"value":{"entity-type":"item","numeric-id":5281971,"id":"Q5281971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290878$CA3A7D9B-A009-44EB-A646-E80518C070AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290878$642AB4CF-E18F-4E4D-94C0-E2A4CCB13FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169aea7096a50f1649d3a02aee48cd1c72187417","datavalue":{"value":{"entity-type":"item","numeric-id":2903986,"id":"Q2903986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290878$473EEACC-6EA5-4268-917F-19AF03C84A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290878$2E4CDD4E-8BE3-40DA-AD13-9BB102101DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9204df5115bc2238f3e790a23bb056047b3d757","datavalue":{"value":{"entity-type":"item","numeric-id":5488463,"id":"Q5488463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290878$3D4D85EC-CA1B-48B1-9D32-AC362DBB23F1","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":"Q290878$A4630A59-30AF-45C3-963E-AD08953E0F1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"547583bbafa16134f938209e8bd3895d3bdfc620","datavalue":{"value":"10.1016/J.AUTOMATICA.2016.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290878$7DCC96C0-159E-4B1B-A1AC-3123B5B58A19","rank":"normal"}],"P1643":[{"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":"cb21c45b49aa8502c29caf1072dbb653462eb62b","datavalue":{"value":{"amount":"+0.790870189666748","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":"Q290878$12890BD3-9F49-4342-B87C-4F7E8BFC68E2","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":"110e2ac20e423ad609eb4818eae12f9d541abca0","datavalue":{"value":{"amount":"+0.7624422311782837","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":"Q290878$2C7F8AF8-8664-4C04-A2CB-113B7AE04C98","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":"a8d1704ccb2d92440583c336eb4725e2f0ccfc8b","datavalue":{"value":{"amount":"+0.7206946611404419","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":"Q290878$D8E00CCB-84F4-4689-A382-243A60732691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c572185db5beb3d45a2515be3c6c9d1c8bc7de08","datavalue":{"value":{"entity-type":"item","numeric-id":1641032,"id":"Q1641032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d28f2a82a2ed27ad97d9700a0de66e38ef5bb2","datavalue":{"value":{"amount":"+0.7129857540130615","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":"Q290878$0445ED75-B5D0-4E74-971E-C03572068F6D","rank":"normal"},{"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":"00af088924bc49f42486887522eb6c70185325d0","datavalue":{"value":{"amount":"+0.7102207541465759","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":"Q290878$47B710D0-9C3A-4EA7-8A01-D92A425DCF9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multi-agent planning under local LTL specifications and event-based synchronization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multi-agent_planning_under_local_LTL_specifications_and_event-based_synchronization"}}}}}