{"entities":{"Q3515223":{"pageid":5545127,"ns":120,"title":"Item:Q3515223","lastrevid":50411174,"modified":"2026-01-14T00:07:51Z","type":"item","id":"Q3515223","labels":{"en":{"language":"en","value":"Weighted Muller tree automata and weighted logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5304765"}},"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":"Q3515223$0CBDF049-2751-4D65-ADA6-7171C4B07380","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e3014a672e00d5ab7cad16b11f709e4e81dc55b","datavalue":{"value":"1144.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515223$69CBD703-73A9-4D0B-9B50-96E450F420C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"448d08f14247b14b2b79e27dc3578a82c360110c","datavalue":{"value":{"time":"+2008-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3515223$019D38CA-4EF7-4769-9381-90247A9C30C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515223$EEABA6A7-8781-4424-90C8-6541297FF65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515223$8B31C238-3959-4067-BE54-433A448FBB6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb618da4ccd329413f26df4e52a9876e6003f4b6","datavalue":{"value":"5304765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515223$2ECCBED8-6A0B-43D1-90A8-9566F7A450D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87185bf7356ecf148795822db9c5f84978927f40","datavalue":{"value":"weighted logics over trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515223$C5F7999A-2009-4DD0-8E84-3AF8184F2324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b1cf1aca731df3eb235fcb1feb3d388febc76d4","datavalue":{"value":"weighted Muller tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515223$0A727736-921A-4A3C-89CD-ECBA4F386764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cd655b2468746674771a59a564f373fb3aff7d2","datavalue":{"value":"infinitary formal power tree series","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515223$9B5B613C-5C0A-4811-BCE2-FCBC03EA2734","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d79224a0bb7d47cd94834d7448415ebd971105d8","datavalue":{"value":{"entity-type":"item","numeric-id":551197,"id":"Q551197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515223$3094B510-9DB8-49E3-99E8-93C802890BCF","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":"Q3515223$2AA14D59-A0E7-4AEE-A9C5-0BB2605EEF84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01ad1d9232db021a6e9910d0ef9186eb2b53460a","datavalue":{"value":"10.25596/JALC-2007-455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515223$945A8295-C34A-4D15-96BF-759BA20BB279","rank":"normal"}],"P1643":[{"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":"fa5247502aa251b0d911b77f5a6a69c6b3946e68","datavalue":{"value":{"amount":"+0.9096726179122924","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":"Q3515223$71A1A008-2CA7-41F7-97F4-8382F3CF9A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fba2e556a03bdf963c21c496d6c1c146f3924ad","datavalue":{"value":{"entity-type":"item","numeric-id":3617045,"id":"Q3617045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69e1a5110d0866a934639883cbcf227c33cba55","datavalue":{"value":{"amount":"+0.909672200679779","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":"Q3515223$C2F44381-EA48-4284-A22C-68DD3B6AB136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b035386239cfd5fbc2fbbebd44d0d89b58911d63","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b20bf5ca912adb3af93728ebe4693a4367181e","datavalue":{"value":{"amount":"+0.8950223922729492","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":"Q3515223$1348BA9B-D79E-4A10-9CDA-57C97C27E7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067c7e63f4ab54dc12b8c6bf8e8eaeea57098106","datavalue":{"value":{"entity-type":"item","numeric-id":2429720,"id":"Q2429720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34fc5380b5e16cc49981dc21d8c3b9a5bdf4eae4","datavalue":{"value":{"amount":"+0.8604638576507568","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":"Q3515223$FDB62640-B69F-4892-9C34-D9BBBE2143F7","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":"ee655d19a174af2d149f38c6438e3e4eda92b63a","datavalue":{"value":{"amount":"+0.8492563962936401","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":"Q3515223$4C9AA3BD-D0A3-4EA4-8AFF-6ED2E2F43BB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3515223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3515223"}}}}}