{"entities":{"Q5458366":{"pageid":7487925,"ns":120,"title":"Item:Q5458366","lastrevid":50333897,"modified":"2026-01-13T20:27:17Z","type":"item","id":"Q5458366","labels":{"en":{"language":"en","value":"On Decision Problems for Probabilistic B\u00fcchi Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262415"}},"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":"Q5458366$568971C8-37B2-4934-98BC-A437DC85565D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73e392a39efe1c62d579c6e3275af4515c6ed3df","datavalue":{"value":{"text":"On Decision Problems for Probabilistic B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458366$DB27C71E-533F-462A-BBA6-5CA9A535A170","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1ef1a529203e87db0e9f05c554b65a736079f84","datavalue":{"value":"1139.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458366$347295F2-3C21-4FD8-B752-1D6ED7319DC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8859089ecc56dae62b210b96f3f5fffdd9e4e6d","datavalue":{"value":"10.1007/978-3-540-78499-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458366$CD12192D-7D93-4E07-87F0-6B6C375DD756","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$86A7DD30-16DE-4434-B253-F7D94E2C72F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0917ecc0ee421e6b16ad9bf93dfa95fb6019942","datavalue":{"value":{"entity-type":"item","numeric-id":715045,"id":"Q715045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$A8A8FAC5-7494-42E9-ACFC-3ED83B007BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$0D608834-D10D-4600-8BDE-17779CE2EEAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$CAEA27A6-0657-4267-B6B8-16FDF086C773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458366$CC39271B-EE7D-4A50-BC2C-B3DC7837876A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458366$761BC5E8-B800-46A5-975B-A5C937026CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458366$02F8C09F-E15C-4F5A-ACC5-7D633A929C21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e78e4f97d481f170500e971d2dd4032162f5d90","datavalue":{"value":"5262415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458366$5B30AE8A-8D2D-47E2-B844-BD3122CB3052","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aff92fe175170828d7db6bad4ad6e5ebc37c29b","datavalue":{"value":{"entity-type":"item","numeric-id":15737,"id":"Q15737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$693A5B5E-AD4E-4599-B74B-29AE1E36A42F","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":"Q5458366$0C9FE315-6250-4413-B7EA-FF1F7EDBB25F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b61b35e9af66a0c99e3aae16c2bf037e18666d75","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78499-9_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458366$C3AB226F-BCAC-4A2C-B170-AC6B9C47454A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61fbf73e5b5f16f8517a2bd2abee64b1d4f9ca04","datavalue":{"value":"W1494426349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458366$54B87382-EFCF-46C8-8830-B159BFD59ABE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e718583192ee1c8f5c2ad768e743605f9035fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5312899,"id":"Q5312899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$35304D69-F96D-414B-BCC8-4E614A1FCD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$D802F457-75B7-453F-B46A-233A78F89103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46fc33915bf9516cd5a0b09d5dba368c086c7dee","datavalue":{"value":{"entity-type":"item","numeric-id":3510843,"id":"Q3510843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$0D031BB5-4B32-42C6-BA4F-91D1BF0EE207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$E4B208B0-C613-4224-832E-FF30E46C398E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$142FA468-7E6A-45FD-A972-C5010FF532FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$1AD18C86-232E-477B-B83A-A8FD6AC252B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b1db4a744416ac739d5e6c72c2c7ce3535db13","datavalue":{"value":{"entity-type":"item","numeric-id":4864760,"id":"Q4864760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$35908CFF-45E2-4F42-86D2-256575D89A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946ebe270031b97e9fd773a17e273a090ae6182","datavalue":{"value":{"entity-type":"item","numeric-id":814465,"id":"Q814465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$C1787FE0-F9FB-4E95-A29E-063B54A508A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$D04932DA-68C5-4BA3-B792-5FC634969BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$B0C34D51-E633-4E50-A59A-20B7AD60A3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$CAFE0CE2-8D8E-4949-8428-CB8E1C350145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ecf59f9a4d1b7659a1683859f2c9d3ac797ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5572344,"id":"Q5572344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$7BD16B57-3786-4856-B59D-AC1D4113A3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a311e7ea5e9c4b3c79d5eb4c907cd6989b685383","datavalue":{"value":{"entity-type":"item","numeric-id":800838,"id":"Q800838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$0DDDCABA-5959-4079-B67D-D45C8F7259F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$3DF8DC3C-80A6-439E-9AEE-3046478AE4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458366$0EF9AF2A-3105-49C4-9673-3836DB111B42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6b5ca5e79a79f1a420542ba62f63f7c50bba8f","datavalue":{"value":{"entity-type":"item","numeric-id":4931278,"id":"Q4931278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d870fbb80731d752168ab1954a0023b6d58727e3","datavalue":{"value":{"amount":"+0.8701829314231873","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":"Q5458366$34F28EA1-1461-4AC7-997B-424407F3F1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b1063164453303155d4ffc7852f6d8e299fdd7","datavalue":{"value":{"entity-type":"item","numeric-id":2986795,"id":"Q2986795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9956bab19ebd6578077fcfa4781dcd09f7334f","datavalue":{"value":{"amount":"+0.8587667942047119","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":"Q5458366$7F905FF3-AE81-4E59-AE4A-464DDF2F85BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b1e6aecbef03b5be466b1d2dba134678b8201b","datavalue":{"value":{"entity-type":"item","numeric-id":4780317,"id":"Q4780317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be7ffc3ec8a56f4215ee1b5de6037d2dfc97488","datavalue":{"value":{"amount":"+0.8581065535545349","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":"Q5458366$EEF3452E-153A-42E0-9B60-FAC5A27C44EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61199e08fae4d61a5b62a02c41e75b35c43d552c","datavalue":{"value":{"entity-type":"item","numeric-id":5895526,"id":"Q5895526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3efe783025fc56b31a289d6e2ba4d562bb348ef","datavalue":{"value":{"amount":"+0.832880973815918","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":"Q5458366$8571481E-F293-4F55-A35F-904D9311365C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39b75f2b8f92843520046e23b416eeeb1a39e48","datavalue":{"value":{"entity-type":"item","numeric-id":3587465,"id":"Q3587465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c104bed827a56895f049745040ac111a22c9337","datavalue":{"value":{"amount":"+0.8320561647415161","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":"Q5458366$4C93231D-DC79-4F3D-A782-2339E74B5F50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458366"}}}}}