{"entities":{"Q5089624":{"pageid":7119200,"ns":120,"title":"Item:Q5089624","lastrevid":91339448,"modified":"2026-06-04T22:55:13Z","type":"item","id":"Q5089624","labels":{"en":{"language":"en","value":"A translation of weighted LTL formulas to weighted B\u00fcchi automata over \\(\\omega\\)-valuation monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7560048"}},"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":"Q5089624$93C8A0DD-5278-433D-A708-C543585870F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31f56475149ff639a18cda692c48fbb3bf9d248f","datavalue":{"value":{"text":"A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089624$1540D856-A956-4C8B-A535-70E38D6CDBC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"807be62ce48f7f344be44c6e2b867002fa87bec3","datavalue":{"value":"10.7561/SACS.2021.2.223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089624$AC12BD9E-2EA8-403A-84CB-D86E44AB9057","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c655a9986822ac786840a81a42addfba6e5f4a0","datavalue":{"value":{"entity-type":"item","numeric-id":2453982,"id":"Q2453982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089624$D9AEEE47-9248-4781-A8F3-16BB1E54C85C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089624$67BC4399-E947-4351-804B-E1D4002140F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd16289d0fc1079df359b6aa9d58fa174ea29bb","datavalue":{"value":{"time":"+2022-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089624$64596EAF-258D-4C19-A9BA-1BC2504EE841","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bca87236c57d18cd956ae24c44f38fdd2899b38e","datavalue":{"value":"https://arxiv.org/abs/2011.05027","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089624$9EDD94DE-FBAD-4CB3-9E58-B9B72CA4E399","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089624$C9491C99-E887-4729-AFA8-121F268A052F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089624$7DE05A33-DBC8-4CC3-BDCF-228A5CF67807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089624$49C4D617-C7E1-44FB-BD0A-B207A84F3ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089624$50FD6F29-C4FA-44AE-AACC-E7D64A153A54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"468176e37d2ed3e64a1457f1e93f8dcd007ad2dd","datavalue":{"value":"7560048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089624$238D7412-2801-4D7D-8565-E3CF79A1F6C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089624$63EEA4FD-32E8-4A13-A63D-BAEFE03E5113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37a78ebe150a13d4f543fb816480615e0b7197d","datavalue":{"value":"valuation monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089624$7A57215F-67A9-4E28-ACFF-320EA3B067DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4c15f60782d58d8a7936c916fcc58a0f717db83","datavalue":{"value":"weighted LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089624$AC41202F-4A33-4026-B9CB-99413B159D57","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":"Q5089624$C7914F4D-2F0F-40FE-AA05-D941C857E3DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2ea3ffa034157566debd0bcffb14a38889fb5e","datavalue":{"value":{"entity-type":"item","numeric-id":3098044,"id":"Q3098044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6feda6671897e9e543b9b6d2cce72a3a23d7aa33","datavalue":{"value":{"amount":"+0.7848221659660339","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":"Q5089624$740BC731-29A4-4E4F-8F28-E36C2A45B101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cdd7f6dcd35cf975bd3fc9826f040bebdfaa56e","datavalue":{"value":{"entity-type":"item","numeric-id":3098032,"id":"Q3098032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317125edbe4d5fa808606cae35a62fb5f5d3fafb","datavalue":{"value":{"amount":"+0.7808074951171875","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":"Q5089624$526F2CDD-4403-4AF2-8892-A6C535449E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2fbf3784cc550e3c17dd38be772becfe0dd8d47","datavalue":{"value":{"entity-type":"item","numeric-id":2914725,"id":"Q2914725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e3c3120345065bb810b3c9f7b363cc8d5a8cab","datavalue":{"value":{"amount":"+0.7806769609451294","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":"Q5089624$35377072-C681-4B09-9D58-2BF0C6D78B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae37d77ed2087acc8894752180dcbd1a0e340a33","datavalue":{"value":{"entity-type":"item","numeric-id":764336,"id":"Q764336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5466a79071553434e2736f2ae245aeaaad58ebb4","datavalue":{"value":{"amount":"+0.7788079380989075","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":"Q5089624$34CE1C53-EF73-4112-8D38-DFF84BB03D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850c7b4ede9753cf4b4b806b0eeef2c6d3d6eea5","datavalue":{"value":{"entity-type":"item","numeric-id":845080,"id":"Q845080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9982aaa8fc045823353fb8bdf2878263bbc01b","datavalue":{"value":{"amount":"+0.7645068764686584","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":"Q5089624$4E9CE547-E925-4BB8-93C8-25C07E2B9743","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A translation of weighted LTL formulas to weighted B\u00fcchi automata over \\(\\omega\\)-valuation monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_translation_of_weighted_LTL_formulas_to_weighted_B%C3%BCchi_automata_over_%5C(%5Comega%5C)-valuation_monoids"}}}}}