{"entities":{"Q6077088":{"pageid":13211396,"ns":120,"title":"Item:Q6077088","lastrevid":58661832,"modified":"2026-04-06T05:42:12Z","type":"item","id":"Q6077088","labels":{"en":{"language":"en","value":"Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7741695"}},"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":"Q6077088$551B3C41-5691-455B-9FB3-20A9DEC9C1EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ea35de575ec32d3bfcd4da40f1c9afec0e227eb","datavalue":{"value":{"text":"Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6077088$19FC138E-53F3-4FB4-8D3C-369535B0273C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab3195017c98d86835b118c1fd6fff5245b39f31","datavalue":{"value":{"entity-type":"item","numeric-id":900655,"id":"Q900655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077088$770EB107-CE8F-440B-A5FA-3105BE0531D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077088$2C1B532A-B755-499A-BCBC-04D71D6B6AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fcfb23190ea4534ecc98379f8c5c1c7482c0ab8","datavalue":{"value":{"entity-type":"item","numeric-id":6077087,"id":"Q6077087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077088$E2A894DD-91A2-4384-9521-DB4C0E1D3B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461036bcd5927cb876baf0b603e5bfaa0711c683","datavalue":{"value":{"entity-type":"item","numeric-id":832243,"id":"Q832243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077088$BF8FC745-2A0E-41C2-A908-EE7A218CB79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3acf2a70982867e33c57d1e9e23d06a211f7eec","datavalue":{"value":{"entity-type":"item","numeric-id":162570,"id":"Q162570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077088$7784DA4B-965E-4E3C-8414-C4838807B1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8469f26474ab75626e1b46c63d94bca58e7092f","datavalue":{"value":{"entity-type":"item","numeric-id":286292,"id":"Q286292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077088$748E223C-5AD5-4391-BACD-4715218E7402","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077088$2100F704-4C3A-4F62-8374-1D1DA4DF4E36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"802247e7cd8aa6e767376a099ca7544dd63eec7f","datavalue":{"value":{"time":"+2023-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6077088$629C5842-CCF5-4207-A975-02E6B2DADB29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"717e5bfeb91cf5a210b8b98c075867314b58f71d","datavalue":{"value":"https://arxiv.org/abs/2007.02271","type":"string"},"datatype":"url"},"type":"statement","id":"Q6077088$2B4A59F1-AE5A-45CA-8E59-B97E3156A699","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077088$E419EB43-C10E-4743-8C26-82D333EA05F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d031e70d0b64536b266aeee8393e7bbbc7b823a8","datavalue":{"value":"7741695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077088$D624D288-1322-4016-A058-034D5083AECE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077088$FE649ECF-F8E5-4B1E-B46D-066AC5B93B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077088$8121E42A-8380-48AE-A8EC-D58B104374BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077088$47F665F3-B631-4671-A32F-8A8F59EE376A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94aa1f034ba121a36fba1a939b8a2b05aabbede","datavalue":{"value":"temporal logic trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077088$4E757711-836F-4D15-8955-DB3113175A45","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":"Q6077088$A14D0F6C-4720-4F19-8787-D0F592D265B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4246b53dafccb46b9e9f4369564169d6df25678","datavalue":{"value":"W3203511922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077088$6341C703-B022-4646-84F2-17A1537C62AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2d6c904c29df17d0ec096746404a30f26219da4","datavalue":{"value":"10.1109/TAC.2021.3118335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077088$D5DD7E2B-55B8-4DCE-906C-89EBEE1220B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d707412c020563091d3c4cf69f7ed09d9e70e0b9","datavalue":{"value":{"entity-type":"item","numeric-id":2986939,"id":"Q2986939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39badc0bc71ce1312490aea3ac76c9dd8e86d3b","datavalue":{"value":{"amount":"+0.89233243","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":"Q6077088$2EE2ACAC-18FD-49EB-B183-697A7F620183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657a498c6f5c9d6daef09c188e6ffc893097b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":2986982,"id":"Q2986982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf6bf7787682eae82ceee86d6b41a58eea33286","datavalue":{"value":{"amount":"+0.8906621","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":"Q6077088$5C18A630-7160-4325-AC40-67F6D4A8D170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b438ce7898730dbac2e6044ad27361ef1bf9b92b","datavalue":{"value":{"entity-type":"item","numeric-id":5352845,"id":"Q5352845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8c1a4036398ce11662b583bf19e8e915fdba3a","datavalue":{"value":{"amount":"+0.8868867","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":"Q6077088$7CE7B99A-26BD-462D-A502-A39F36BB67FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea4fbfc6946df00e51e6cad19c55c447f0832df","datavalue":{"value":{"amount":"+0.8829364","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":"Q6077088$D5942A7E-B684-419E-BC31-C588468AC721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b89b736728fceede5150e339e01484a9c9df95","datavalue":{"value":{"entity-type":"item","numeric-id":407511,"id":"Q407511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028632413f813961a79e59d086caec9df131fdb9","datavalue":{"value":{"amount":"+0.8823541","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":"Q6077088$C7BCBE3B-C1C1-4888-BBE0-EF902C471A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d5bfe9be301c306a098187dd78a6931638a004","datavalue":{"value":{"entity-type":"item","numeric-id":5260704,"id":"Q5260704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa79f2aab8a48ff88f6abbf26e0a4b1f2cbf3380","datavalue":{"value":{"amount":"+0.8813507","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":"Q6077088$56105EDC-0D6A-4BE8-9A18-07775045AB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cd7b725f10eea2157eeddb7a7f47da3826b66f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df14383ac6802d0573f8b42c19d04983f54893db","datavalue":{"value":{"amount":"+0.88124615","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":"Q6077088$4A20F475-615C-4E49-8B28-1CEF2F94075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5b347be1b954aab9a408891f7a23c66e451dfb","datavalue":{"value":{"entity-type":"item","numeric-id":2368994,"id":"Q2368994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2479c82497d95a37c8ddad0d4953dc7a69a62341","datavalue":{"value":{"amount":"+0.8778298","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":"Q6077088$3F3D3A07-4F5B-4AC6-B2FC-07BE0B36BBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be42a62f72d3015941af9abcee33c302eed189a2","datavalue":{"value":{"entity-type":"item","numeric-id":4952305,"id":"Q4952305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb6795fd0517a3464acb5d9beb4486dffb51fd6","datavalue":{"value":{"amount":"+0.8770934","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":"Q6077088$6210C39C-924F-497A-B0A6-C00C64B43B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ca578dfccb4c08dd3820577fa1a5cd2342ed75","datavalue":{"value":{"entity-type":"item","numeric-id":6053240,"id":"Q6053240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c8916cf47eba46dec8c7f8fdab0066381d14db","datavalue":{"value":{"amount":"+0.87519854","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":"Q6077088$D9C459EE-F8F0-4B04-85DD-93FE6A985287","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6077088","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6077088"}}}}}