{"entities":{"Q3460051":{"pageid":5239451,"ns":120,"title":"Item:Q3460051","lastrevid":58184424,"modified":"2026-04-04T03:46:34Z","type":"item","id":"Q3460051","labels":{"en":{"language":"en","value":"Controller Synthesis for MDPs and Frequency LTL $$_{\\setminus \\mathbf{G}\\mathbf U}$$"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528780"}},"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":"Q3460051$35405586-A6FC-497E-A808-61950A467CD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66e11b607f5e532dbc3665d0c73fdd5ac04b10bb","datavalue":{"value":{"text":"Controller Synthesis for MDPs and Frequency LTL $$_{\\setminus \\mathbf{G}\\mathbf U}$$","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460051$BDD9D954-A92B-4048-8865-EAD68AF91D04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4f6ee04cfe88c159a28e628223091f4c1b539c8","datavalue":{"value":"1471.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460051$49611626-A211-42A0-8A9F-90B1C662D964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"355897c77b291aab6b584ef49075a345dc96f793","datavalue":{"value":"10.1007/978-3-662-48899-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460051$F9944081-75AC-4784-B2FD-E2CBF355BF60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d285282e4a9951aa1b8c348642148d118ee6e0","datavalue":{"value":{"entity-type":"item","numeric-id":278753,"id":"Q278753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460051$14592819-ABC6-45DC-AC2A-114E8DE424C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a1503036b580a7920e1816521ceb8e07b853d6","datavalue":{"value":{"entity-type":"item","numeric-id":1951599,"id":"Q1951599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460051$796EA670-73EE-481E-AD5C-FA4AD95FE537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460051$380A556B-ED87-41EC-9A87-2F485476C9D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460051$65AC2366-D034-46A1-B47E-74723B7F70B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460051$4BD8ECEE-80AC-422E-AED1-48A1B0D9B507","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a960aef9c1e164a722b72ccde467f05a521aec3d","datavalue":{"value":"https://arxiv.org/abs/1509.04116","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460051$32EE7694-9283-4C8D-9C85-97E740952D50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460051$B94FB1A7-B4A1-4189-B9FE-E85605B8A70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460051$D600EC95-4666-4EAA-8AE6-57915211B631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460051$59AEC527-34F2-46AA-8983-326067B9661E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460051$844E0720-53A2-4405-BDCB-1A0B529DC537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460051$647D4F3A-E2ED-4491-BE03-5EBF32AD572C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460051$DCA69F5C-A700-4A4A-A4C5-EF490D831B58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57cc9c437174653f6bdee74474d327b7cd5af52a","datavalue":{"value":"6528780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460051$E4544D6F-EAA1-4978-84F1-089008F8DC4E","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":"Q3460051$430851EB-F258-4103-9A26-5F25B335007F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da322305837961be3e06d2cc3d8ddceeb161ae96","datavalue":{"value":"W2278842702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460051$334F485F-DD14-412B-B1CC-D529934E2202","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066b1d74e70cb5c7b1c7235b451cdcf660d135ff","datavalue":{"value":{"entity-type":"item","numeric-id":5450116,"id":"Q5450116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad702b37544ec2fc198e0636ea61bb207f0ce25","datavalue":{"value":{"amount":"+0.8724859","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":"Q3460051$CEB4E983-ABC2-4DBD-8974-09DE54F3ABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5264eb812a37903e149cc83d4e37c8b9d568b6","datavalue":{"value":{"entity-type":"item","numeric-id":5897798,"id":"Q5897798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad702b37544ec2fc198e0636ea61bb207f0ce25","datavalue":{"value":{"amount":"+0.8724859","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":"Q3460051$1C12C937-153F-44AC-AAD7-9D37CC109A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47570b53badf4ffdd63dbd6dbb55c92dfcbdd970","datavalue":{"value":{"entity-type":"item","numeric-id":2249659,"id":"Q2249659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41500e296b9caae489876982005833da6043bcc","datavalue":{"value":{"amount":"+0.86759764","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":"Q3460051$B7EE5D00-0397-40EB-83BD-F3CECDF1EE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0f8ec432df4fbfa22f7a7f4acfc50043c5b9e0","datavalue":{"value":{"entity-type":"item","numeric-id":5893806,"id":"Q5893806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec80aa5d3d1a3dfabdd9a0bb6e840a4cca198069","datavalue":{"value":{"amount":"+0.8664986","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":"Q3460051$FE5E959D-FD61-4896-9800-C18182BEB522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51956fdce53e9832e2f2753518c4e72f100fb1ba","datavalue":{"value":{"entity-type":"item","numeric-id":4568009,"id":"Q4568009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d58696275c510cfb3b5afa7a2a7c5f9832c189","datavalue":{"value":{"amount":"+0.86472386","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":"Q3460051$435CFC17-7BD6-4F12-B837-1B3396739D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22d1d9f44991adb68fee4e80c4084bd13164645","datavalue":{"value":{"entity-type":"item","numeric-id":5896477,"id":"Q5896477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d749c825b9426983d71d9a10630ac52a93be599a","datavalue":{"value":{"amount":"+0.8638417","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":"Q3460051$56B60676-BB8E-44CF-841B-7330F34EFCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28595104fab6a67207ffab9d8be585733aad4ffb","datavalue":{"value":{"entity-type":"item","numeric-id":5903689,"id":"Q5903689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d749c825b9426983d71d9a10630ac52a93be599a","datavalue":{"value":{"amount":"+0.8638417","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":"Q3460051$9CDAF6E7-D7B2-4377-9B53-BDBFABD9FC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b39c9bba65d640670b22975b04558630501702","datavalue":{"value":{"entity-type":"item","numeric-id":3762153,"id":"Q3762153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce2a562ab504444ec6ffca620a18d4fcf777043","datavalue":{"value":{"amount":"+0.8637401","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":"Q3460051$13DE475A-51C3-4122-AB0D-79D14F69E8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46692b873bd2505ea85414634c0762adc2390400","datavalue":{"value":{"entity-type":"item","numeric-id":397610,"id":"Q397610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3be53c8f0cf68f39c9e5a71d1519d80b875f3e2","datavalue":{"value":{"amount":"+0.86269706","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":"Q3460051$8F2D1522-9BBB-4AEC-A558-2DD04D4B0A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00502112316b1488831462441e192be61535e200","datavalue":{"value":{"entity-type":"item","numeric-id":4209661,"id":"Q4209661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d77594c45d666537740fe9e869d8324c80d157","datavalue":{"value":{"amount":"+0.8616811","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":"Q3460051$AE9E22A6-17E3-43AB-AA25-957BC5B8BB9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460051","badges":[]}}}}}