{"entities":{"Q2040408":{"pageid":2051150,"ns":120,"title":"Item:Q2040408","lastrevid":71238438,"modified":"2026-04-13T20:51:38Z","type":"item","id":"Q2040408","labels":{"en":{"language":"en","value":"Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7371288"}},"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":"Q2040408$6805A0D9-FF0B-445F-AF8C-EB3B1DE6E2F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e354908b217632548f2bbfafb9a0b89c080aee54","datavalue":{"value":{"text":"Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2040408$6ED0780F-8099-45F2-9048-BAB5F86271B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99d7c59b54e25942b9212a379774da1e5d50a61f","datavalue":{"value":"1496.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040408$3DD7D7CC-D677-4D9F-B5AC-5E760BC54D34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a68998258e25ffc0162d099d2b6218d5200871d3","datavalue":{"value":"10.1007/978-3-030-62536-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040408$5A1D3125-EA9C-44F2-8A29-D65841B6BC51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d00fa627735b22d11a5ec2028150137b2160228","datavalue":{"value":{"entity-type":"item","numeric-id":404009,"id":"Q404009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040408$8F8D6255-187F-4DBE-8847-39F68E7FA55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41ed4b31fbd93ea517ea1cf8fcdda1bd7d136064","datavalue":{"value":{"entity-type":"item","numeric-id":2040407,"id":"Q2040407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040408$87E5940C-6D84-4039-ADC2-19C075AA29EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc997ced3fd73a72cbbd0b0d0d4b1a7dc726eef5","datavalue":{"value":{"entity-type":"item","numeric-id":404010,"id":"Q404010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040408$1ADCA83F-B890-4E18-88EB-098AE18E9C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040408$92DBFDEF-A757-4E58-B03D-1071E2198B33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"094f26fae3ffa29d3d0ee4a7ae70ffa489b42f60","datavalue":{"value":{"time":"+2021-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2040408$E54C1B2B-71A4-4945-900D-42E70B3727B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040408$8C05CD53-44D3-4153-914C-FA4F55142CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040408$09792EE2-05A9-4BC1-9015-65AA10C5906E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a5be658e29294b83cf5c6d91cba0a4425afb81f","datavalue":{"value":"7371288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040408$02620076-9771-4EBC-9007-DA0070455227","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88e6550f0210b89455ea7306efc4389f51b470e4","datavalue":{"value":"strong bimonoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040408$BFC9390C-EEC6-4B39-9B67-FB7A6011C887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040408$CE690011-C47B-4E91-8027-B12667156059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272285942f4b091a819d2eb7a865293bf3f9c3ec","datavalue":{"value":"weighted tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040408$BBB369B5-78D0-4888-AEE3-47FC02097FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040408$1A62FAB1-6C8D-44E6-9A1C-A39BD7B785E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040408$621B3719-659E-4FF0-AE83-5D47E8205E45","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":"Q2040408$7C9F6419-A2A7-4E31-AC2F-6ED830A46611","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6c9938113353500c3ad83d48bed65bbf6f17ad1","datavalue":{"value":"https://doi.org/10.1007/978-3-030-62536-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2040408$EA4CCBE4-972B-4CD1-A4BC-C41AE3210C50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17c6ddd0b8bd99a453854b0eb393f37a640393ba","datavalue":{"value":"W3101648021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040408$9FC05D64-EF8D-46A4-896E-129D89E3441F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501b237c2f607d427430b140e5d13e9f41708296","datavalue":{"value":{"entity-type":"item","numeric-id":5038197,"id":"Q5038197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fb9d401ef33aace95ba4708c0b77b7d80c0e4c","datavalue":{"value":{"amount":"+0.9179571270942688","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":"Q2040408$8BC0E177-15B5-4FBC-8260-55C6217C6983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d29f8bd41010a7d8f02eabbf8d8f5758393ab38","datavalue":{"value":{"entity-type":"item","numeric-id":4819882,"id":"Q4819882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1326c37ffac86dded0420e1a5926897662fad19","datavalue":{"value":{"amount":"+0.8075470924377441","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":"Q2040408$5F40E4F4-3A92-4107-8AF5-0906D0646F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c673b60d1419382123008e9e7dd7f98cd9d097fd","datavalue":{"value":{"entity-type":"item","numeric-id":991892,"id":"Q991892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d920ec801cbcc562eb3a965acfd5da32d82a25c","datavalue":{"value":{"amount":"+0.786492645740509","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":"Q2040408$2E65CC5D-07E0-4095-9AD1-4A8BC33CEAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79e408ec5dd24d3d0db2343c4af33fb916f665f","datavalue":{"value":{"entity-type":"item","numeric-id":543822,"id":"Q543822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c629b155714c073fb3de97f31d6d18a4160e4a11","datavalue":{"value":{"amount":"+0.777710497379303","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":"Q2040408$C7F2180B-D176-4E4C-A650-13A3711F5035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15ee0489efba6bb5ce10e8e62ef62f50a3e0d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4899894,"id":"Q4899894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63461a1faa412be5a31e2680852ec63d971a3feb","datavalue":{"value":{"amount":"+0.7750282287597656","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":"Q2040408$77917989-AE8A-49E5-9C0D-363D20D44888","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Crisp-determinization_of_weighted_tree_automata_over_additively_locally_finite_and_past-finite_monotonic_strong_bimonoids_is_decidable"}}}}}