{"entities":{"Q6555607":{"pageid":14166762,"ns":120,"title":"Item:Q6555607","lastrevid":42345762,"modified":"2025-06-12T04:14:52Z","type":"item","id":"Q6555607","labels":{"en":{"language":"en","value":"Robust satisfaction of metric interval temporal logic objectives in adversarial environments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7865433"}},"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":"Q6555607$FEB0EA00-6C3B-4EDC-9E4D-E515A30D3634","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5ab02c4aef6979efc429c5e7c93ac8fc24d6b96","datavalue":{"value":{"text":"Robust satisfaction of metric interval temporal logic objectives in adversarial environments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6555607$472A15BE-66EB-4C9B-9962-AF80603A8EF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfd25d7dac38c49779ea0ad8ca07f03713695a39","datavalue":{"value":"1542.9311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555607$3741958B-71F1-4DAE-B280-C2FBA99AAE7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"390d8d3a104195f6221cc2acc4d40eba60a61a58","datavalue":{"value":{"entity-type":"item","numeric-id":6093041,"id":"Q6093041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$DE63CDBC-C009-476A-8E9E-0622AB3ED0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"962bda3783ad7b9bb01d685c9ce93c0826de12ef","datavalue":{"value":{"entity-type":"item","numeric-id":2667476,"id":"Q2667476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$DA833F1F-3D51-4B76-A089-3981118ACC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e5a2e7e168745fde4d0635b720a95d275fbdf2e","datavalue":{"value":{"entity-type":"item","numeric-id":6555606,"id":"Q6555606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$F7DFEA89-91FF-4754-9DD4-8D19E5405086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"199641a7e8d096187af767c2afed52bf69903ba9","datavalue":{"value":{"entity-type":"item","numeric-id":835027,"id":"Q835027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$69E2B0E1-99A7-4A6D-A79C-747AD4106F7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6589dcc6fefca0e1b5c725a60b6e53eec3d18a30","datavalue":{"value":{"entity-type":"item","numeric-id":725005,"id":"Q725005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$00FD46EA-B4E4-4E91-9AF4-72324FC1D2A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96bab3ca4e1765b8bac9f46411526c7546558281","datavalue":{"value":{"time":"+2024-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6555607$51AE0175-9EC8-4E4F-B455-2E599C27CF91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555607$3CB9847A-F65A-4C2B-BA87-5EF2CFA85DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555607$6326FE6A-80C8-45B0-A821-9C79B9BB7294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555607$0A1FD4B9-D4A6-44C1-BD56-10173DF9B9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2e7cc4c56531e2a92c5299e8b22df57ad6de2dd","datavalue":{"value":"91A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555607$2ABBC295-14C1-4401-AA5A-6C9B4D084D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555607$40DE2D9B-8965-4671-8BD6-32264DC2FD44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9063c49c7fb79da7d4e9dadf5b71f8264757ab14","datavalue":{"value":"7865433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555607$C835D3B1-2170-43A3-BFC0-3A31404B3572","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e128a54765f3cae580434d7b48b5f632bcbff92c","datavalue":{"value":"MITL specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6555607$C5DC4070-D638-4A9E-BC4D-EBDE976BFF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6555607$F5A6D0D3-E530-4F96-BDBA-2022FB68B350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4d02f4a457f556d2dd84744e0235da035dcfb6","datavalue":{"value":"adversary","type":"string"},"datatype":"string"},"type":"statement","id":"Q6555607$475F37F6-6A6D-42A2-83FF-DFA58BFFDEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6555607$D32EB43D-4147-4076-8786-0A628BA04CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee576aa4b1286ac951acba9788c0c6556deb50a","datavalue":{"value":"Stackelberg game","type":"string"},"datatype":"string"},"type":"statement","id":"Q6555607$0761FBFF-FB05-43C1-BA31-4318C1D918A3","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":"Q6555607$A48CC822-A255-4EA4-AF81-262F35914D40","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":"Q6555607$F2F724AC-AFF1-498B-9E8D-1841794C276C","rank":"normal"},{"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":"Q6555607$CE91FFC8-DD14-46A8-B2C2-5F0B1AAC5418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328babb092c0bfd59c2c62c4326328f938a94601","datavalue":{"value":{"entity-type":"item","numeric-id":2983169,"id":"Q2983169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$33EC5BD9-B09A-403D-BC45-A92DD754578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$A368D7DF-4F4E-4DE2-9CB5-BE4BD1FFB3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$BA1411EF-80CC-4B68-A133-557D4D40024A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e184eba14eabf5f7fba7f2559377623f333fcea","datavalue":{"value":{"entity-type":"item","numeric-id":5125669,"id":"Q5125669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$F989D367-5623-4BB3-AD87-9045894AC2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f3a5feeef33ac4f8adb51df617c82e6740453b","datavalue":{"value":{"entity-type":"item","numeric-id":5332971,"id":"Q5332971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$C5E596F5-3F1B-4B46-8FBD-AFA6DEFC086D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99807421b8cdd28d9970453aeadd96f7d5a7f26c","datavalue":{"value":{"entity-type":"item","numeric-id":1801813,"id":"Q1801813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$0B33764E-6640-4A0A-B64A-5A88C517729E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63261a8077d0094d026aad3568eb1a0de220d12b","datavalue":{"value":{"entity-type":"item","numeric-id":1244182,"id":"Q1244182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$4156E57D-9C9D-43AF-B0D9-4070A5ECFEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbcc413c7175799ed354ba76b9f7f571011f9be2","datavalue":{"value":{"entity-type":"item","numeric-id":5217304,"id":"Q5217304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$4E9FF57C-FCE5-472B-A3EF-4109660A0B8C","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":"Q6555607$D814794E-D01D-4B6B-871A-003AA0DF2F0E","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":"Q6555607$F5974FD8-EDAA-4E2B-A559-367D17EA7B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b86867310fc63b49bc8c83f8cc173f47ea75e","datavalue":{"value":{"entity-type":"item","numeric-id":5033867,"id":"Q5033867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$144B6098-D1CD-4C38-8041-D7523527609E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aeeb9bda3e7da9930ff285bdc8824d5d315ea","datavalue":{"value":{"entity-type":"item","numeric-id":6609015,"id":"Q6609015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$B5C1C6B9-D874-40FB-BADE-426C6ADCA594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8479b108a732ad6ed5c902bce49647f4e3fa82b7","datavalue":{"value":{"entity-type":"item","numeric-id":1989298,"id":"Q1989298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$82BE626F-8094-4968-A37E-CC8F4AA71D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29473a2376743691e9c98e0cf22a5189cad3e0f2","datavalue":{"value":{"entity-type":"item","numeric-id":5267222,"id":"Q5267222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$21248EC4-9204-4665-A076-408DE095421A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085940acdbf1762ffc2c139ffa77393af87eef04","datavalue":{"value":{"entity-type":"item","numeric-id":1667648,"id":"Q1667648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$318E43ED-598C-4A66-9A0D-B4AD81B118DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60360b25c9ab3c23b9a3a37d70792afe6dac64d9","datavalue":{"value":{"entity-type":"item","numeric-id":1737745,"id":"Q1737745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$49AAB4E4-DF0D-4F99-9DC9-883834D1FBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16ab0d2b6f4f188fc4037eb8f2287cf5a655ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$96BDF7F7-7311-49D7-B22B-0C8B226F178A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78be78fc52b183c8c9dbc9f30b84bf9a1498583c","datavalue":{"value":{"entity-type":"item","numeric-id":5528329,"id":"Q5528329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$001C9CB6-88EF-42CA-86B9-8F3F9067304F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09de6768314884feb4784aea02a1fbddb689c10e","datavalue":{"value":{"entity-type":"item","numeric-id":5696947,"id":"Q5696947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$F3AF97CA-F4F0-434A-9072-9844E91A36FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a7155d87f105032bd8ace323fc3b00a98ef37","datavalue":{"value":{"entity-type":"item","numeric-id":5358494,"id":"Q5358494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555607$35BA55C8-B5EA-4A46-AF30-F49667AB4E09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29b1d3789eea0538bde59c41f9e5de3a1f29b564","datavalue":{"value":"10.3390/G14020030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555607$DC9B2135-96B6-494A-907C-94C98D72192A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6555607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6555607"}}}}}