{"entities":{"Q5357703":{"pageid":7387277,"ns":120,"title":"Item:Q5357703","lastrevid":58549101,"modified":"2026-04-05T17:11:08Z","type":"item","id":"Q5357703","labels":{"en":{"language":"en","value":"On frequency LTL in probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774211"}},"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":"Q5357703$DFA7EA06-D5C4-4D4B-B9F5-0FF0BD9266CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bed4e1b1ad4189d8abe77c222d82ceefb47af8c9","datavalue":{"value":"1374.68284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357703$802D4DB4-53AE-423B-AA0A-C24721DEB537","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":"Q5357703$96171391-6559-44D5-AC69-03384FFE7EFB","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":"Q5357703$E1460C86-3C8B-481F-9580-AEDF62D50FBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-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":"Q5357703$ED38D443-E21D-4926-807C-84271DA821C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b104db9298f9536c6fb60f50233f91493586ae59","datavalue":{"value":"https://arxiv.org/abs/1501.05561","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357703$4F0570C3-78D2-45C9-A79D-67C7D01ED9C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357703$9228EC1F-785F-4BF8-8319-DED13ABB8232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357703$2C7DC4CC-D5C8-41FE-BA1C-C3AB671D8308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357703$11AB7BF3-0D4D-4280-AD59-0C9143072FE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"602c1160ed19606350f2c0ccefd5005aad89a47d","datavalue":{"value":"6774211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357703$084F7E48-D0E6-4154-98CE-66CA977910FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357703$75D36A60-D22C-4AA2-8FBF-BAAE9AFF468B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357703$3F88AF3A-C15F-4553-9764-09B348A9010F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357703$1784F0DA-2BB0-4C66-9CF5-661380413A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357703$2691D4A9-8ECD-4C28-A536-74CC5BE4B853","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":"Q5357703$45982D71-E9F1-4A37-9256-02E284A18CBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43ea85a30b3ca0936df2791524b752dd96339a8e","datavalue":{"value":"W1815912087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357703$7A13BF53-E4FB-4DB6-B4E3-686CE16D5328","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2095fb9ddcf63982adc59c63f727e555a3c2c0d4","datavalue":{"value":{"text":"On Frequency LTL in Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357703$5DF919C6-1A06-4719-9473-96C6004348BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"750f2885de19cbd39a287086b6eb593da96abfd4","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357703$FD0330B3-DFEA-4D4C-A4AA-4C9CD00F03DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e9e2326f053f359fd0d74e9a1bf59ae675ddb3","datavalue":{"value":{"entity-type":"item","numeric-id":4965871,"id":"Q4965871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a54e5302edcebd0f91ed5927c8ed0351eb20ab","datavalue":{"value":{"amount":"+0.8555412292480469","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":"Q5357703$CDC9546E-CF5A-426D-9BF6-4B8851D03BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe489dda80711873d42ca0d09e0b8dd12afd543","datavalue":{"value":{"entity-type":"item","numeric-id":3460051,"id":"Q3460051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d52bf81b80bacb81a5ffdcc2e52da988e08c35","datavalue":{"value":{"amount":"+0.8527722358703613","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":"Q5357703$06914791-5D6E-4491-BC63-1F5A48E6387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6145a40c5d2afbcd19d7b48b52bb00296d6f75b","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beab3a63a28eb574fa0779053fba688a0f28063d","datavalue":{"value":{"amount":"+0.7699220776557922","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":"Q5357703$A8D9B0B0-0E27-48E2-A426-296AEDF866A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72bdbbfa4f2c18ac7eac3b20693c4e3593ec35e1","datavalue":{"value":{"entity-type":"item","numeric-id":4914007,"id":"Q4914007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c082cf5f498e062a5150beba4f2a378ffe77dde","datavalue":{"value":{"amount":"+0.7613108158111572","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":"Q5357703$278BD556-3BBF-4A54-ADA7-75217B2B5D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93808e0b5b5bfd4cc528c2bccf4166fd67f6555d","datavalue":{"value":{"entity-type":"item","numeric-id":3190162,"id":"Q3190162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cbc404a133bb860b57fe09e1e47de359155e94b","datavalue":{"value":{"amount":"+0.7600499391555786","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":"Q5357703$0196439F-2CFC-4F68-8A72-3E2604133278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357703"}}}}}