{"entities":{"Q6077684":{"pageid":13211992,"ns":120,"title":"Item:Q6077684","lastrevid":93808310,"modified":"2026-06-05T05:10:33Z","type":"item","id":"Q6077684","labels":{"en":{"language":"en","value":"Exact Computation of Maximal Invariant Sets for Safe Markov Chains\u2014Lattice Theoretic Approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7742197"}},"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":"Q6077684$B2E679E3-4E5C-4389-A653-5144B94AB806","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6218ae7f8934bb34a17b7ef1797bc41c9bbc47ba","datavalue":{"value":{"text":"Exact Computation of Maximal Invariant Sets for Safe Markov Chains\u2014Lattice Theoretic Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6077684$2D940D53-1C11-408D-83E6-C59938A79F09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5a90e53335cd790ebe08ac523e64c3ff8d80258","datavalue":{"value":{"entity-type":"item","numeric-id":1737869,"id":"Q1737869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077684$EC3E4F16-1C98-480D-8606-DC0A1E00E65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedef0ca27b62e01c90e6910e47dfd182898de65","datavalue":{"value":{"entity-type":"item","numeric-id":681341,"id":"Q681341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077684$E5180E3D-0EC1-4D91-BA1A-1C9E82FF5E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"450163f282c86fc2ee540682e8c824c4027ea237","datavalue":{"value":{"entity-type":"item","numeric-id":463012,"id":"Q463012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077684$47CE6D15-394A-4D89-851B-DE8308C95577","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":"Q6077684$CCE82C46-4231-495B-AC77-4140674709B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d95608101c82af7e26ddad80938d3df3b590c29b","datavalue":{"value":{"time":"+2023-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6077684$E0EF46BB-5548-477C-9D81-98B579A71F4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077684$9E9A9DF1-6B64-434B-9235-6B4E451C3042","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d08c0848bd2df4b0d4d15617941ad2ba9beee561","datavalue":{"value":"7742197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077684$7B951304-994B-4D22-8161-725248C22A1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e06e5ad74cf076063aa403338f6ff1d348d14fa","datavalue":{"value":"control system synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077684$AC66772D-B68E-4612-8E35-D31FABB2CDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ac4f5d3e65428399908ef1797dea7380dddc97b","datavalue":{"value":"decentralized control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077684$38BCCF26-E3DC-4062-82AE-36DA7C14879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077684$AB5915B8-5534-4279-98A9-D1E2F89A7F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b98b5353082f5ae3dd3eedbb2c57d8903e4ca5","datavalue":{"value":"directed graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077684$32535DC3-5EB9-4BC0-9D42-9F29C06387A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c7a822c3f031c2975027a4a6fbb0781b37fcfbd","datavalue":{"value":"eigenvalues and eigenfunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077684$E748DB00-3B13-408B-9102-8BF21584C7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1436de4af8b85f4c5789635995f4dc68b015fece","datavalue":{"value":"limit-cycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077684$3898F30F-13B0-4E6A-85F1-D49F7D297029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e9580ac9cc35021c6a5c921057053e60cbd73b","datavalue":{"value":"linear matrix inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077684$EA222F7C-68D0-4B3E-9859-B524CB7DD617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f05c896821d42b58d4a4b5240cb0f1ccdd6b927","datavalue":{"value":"linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077684$FB2578F7-7ADF-47BE-9D90-FFC84892BB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077684$9F7ECD29-092A-4CEA-B036-EA4ACEC0B20B","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":"Q6077684$EA32A224-C21C-4994-BEA7-AF591A909832","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1561c4ec90b10cf35fdc287d0c709c5071d0b23d","datavalue":{"value":"https://doi.org/10.1109/tac.2022.3211959","type":"string"},"datatype":"url"},"type":"statement","id":"Q6077684$F3A7CD29-E3F9-4D56-9264-FCC46F824556","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36b7236753eeb3feea0a2b45664e09652b575fbb","datavalue":{"value":"W4310877811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077684$5D007D5B-E587-40FD-83EB-8351AFCD079B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b821ea12c534beb61ada4db7deb76a1ec63a20f3","datavalue":{"value":"10.1109/TAC.2022.3211959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077684$AC82021B-F44F-4B89-A968-359AA6EB6978","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0eb088f4addf817c49604b5c8d2edf04137a91","datavalue":{"value":{"entity-type":"item","numeric-id":2988991,"id":"Q2988991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a1e24fe55064fae2e8241af40f9146613ec595","datavalue":{"value":{"amount":"+0.8470378","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":"Q6077684$DA83F639-012D-483F-9CD2-916CA698C8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1321324f7f8a2bb6167cd6297e1fae6d68c57609","datavalue":{"value":{"entity-type":"item","numeric-id":2982574,"id":"Q2982574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f76c85cb7bffe8e6e332a692c0405df477909f","datavalue":{"value":{"amount":"+0.83098584","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":"Q6077684$63205A95-1054-41E6-8DA5-DBD7FCEC06D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75dce8a4e6eba22cf1629e513fde30bd8a2038d7","datavalue":{"value":{"entity-type":"item","numeric-id":2272916,"id":"Q2272916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51db30585f922889b522e8e29924dcc62bdc2015","datavalue":{"value":{"amount":"+0.8283796","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":"Q6077684$D24DDF3F-ED66-467F-A90E-93CB9245A517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a733d04275f5543ebed6ad98609b837461f5d67","datavalue":{"value":{"entity-type":"item","numeric-id":5273678,"id":"Q5273678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a994ebfc05c45526b3f874d861846a374dc42b6","datavalue":{"value":{"amount":"+0.82486206","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":"Q6077684$8A8A602D-6BE5-4AF1-9608-93D2851F439C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37801d965b58474000cceb84df01c595184e20c3","datavalue":{"value":{"entity-type":"item","numeric-id":6179692,"id":"Q6179692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1374b5b491aaf4dd7faee420107f7ba30c1b277","datavalue":{"value":{"amount":"+0.8243512","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":"Q6077684$DDBBC775-6E8F-41E1-A95D-4F30133543A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065876f4f3dac2f6d5ece2afa0c6482da5723d07","datavalue":{"value":{"entity-type":"item","numeric-id":313179,"id":"Q313179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10472da79a319f4e81a7614a808296cf694b0ed9","datavalue":{"value":{"amount":"+0.8209088","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":"Q6077684$594A092A-7F24-4186-9617-F9556BD722B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6ded4c8bab2a178cbc504cbb7662dd08532c05","datavalue":{"value":{"entity-type":"item","numeric-id":5266801,"id":"Q5266801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a60a4c18b2d8b33777bc1e0d5a5e87950ebd1db","datavalue":{"value":{"amount":"+0.82064015","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":"Q6077684$F443E4C6-C7DC-464D-A50B-D098282C529B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d054395ce3e5863ed0c4742a8c684a1f5ffc694c","datavalue":{"value":{"entity-type":"item","numeric-id":2283837,"id":"Q2283837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a2cbfda95b960ab0383c5b0ef92f0379b5408a","datavalue":{"value":{"amount":"+0.81749916","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":"Q6077684$8ACB282C-A2A6-445B-8A01-96BD95BE7927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8185eed2f0d9ed910bff5781570321b54004a707","datavalue":{"value":{"entity-type":"item","numeric-id":4322088,"id":"Q4322088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dea13ca8c0531a139d2c5213bbfdec4d4010ec4","datavalue":{"value":{"amount":"+0.8158298","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":"Q6077684$7EBC93D6-E38A-429E-9D27-6BE6AD49DF11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact Computation of Maximal Invariant Sets for Safe Markov Chains\u2014Lattice Theoretic Approach","badges":[]}}}}}