{"entities":{"Q5900814":{"pageid":8007425,"ns":120,"title":"Item:Q5900814","lastrevid":50959067,"modified":"2026-01-15T22:45:31Z","type":"item","id":"Q5900814","labels":{"en":{"language":"en","value":"Kleene's theorem for weighted tree-automata."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695564"}},"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":"Q5900814$316F27AE-18C7-4199-A532-124A3E2FB811","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20fe9b72b66e0e13e2a40c93b5a8a454bfd5f79d","datavalue":{"value":{"text":"Fundamentals of Computation Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900814$9599A957-EABC-4D21-A4CD-BA20671B06C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf14bd288c7d4a983238b396cc454df0ead9a57a","datavalue":{"value":"1278.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900814$79029BDF-DFFA-40B8-866E-0C2551CEDB3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1837635136d2a5344e9ef32eeff1332509ea48a1","datavalue":{"value":{"entity-type":"item","numeric-id":907039,"id":"Q907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900814$DD7DE441-010F-490F-9C7E-F1C8A98E2713","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900814$A87F8E22-80EC-45A8-BF99-B6C800B2F84E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900814$93259308-9F59-444E-A608-0410273179FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900814$0D9D5912-0E6A-4271-9E74-414D68C32DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900814$C00A8081-13CF-43B8-A943-BFCF17E1EE3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c28e3fcddfd72c65109e549d42c3ddedd0231384","datavalue":{"value":"5695564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900814$C3C1F1FC-19EF-4056-B15D-C2E61BAEE969","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900814$9D9E6D10-DD50-499B-9B14-F4A509EA039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b589bf7cbbec414fc701694cc759d8ee0fa05aa4","datavalue":{"value":"weight","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900814$49BFAAED-1828-416F-82A9-A7ABC9F804BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46386232ce22237553a09399db388958f7e4ec1b","datavalue":{"value":"language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900814$9FD3DAB3-1531-4FF3-A6AF-F3C93AE8A942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70a35bc69e124e1c7b10863bfea51216385aa90","datavalue":{"value":"Kleene's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900814$974DB686-A0EE-46A4-887F-981FCA0E352E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81db54c0bb58c281fffa1cc3b5a27d1ecbfead6b","datavalue":{"value":"Sch\u00fctzenberger's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900814$E5289723-A4A9-4678-BC1C-7B86AF495920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb822c0ed75a148683d01ddade0e809d965dc5ff","datavalue":{"value":"rational expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900814$688BA877-101E-4502-93F9-856B12B945A9","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":"Q5900814$254E64FC-8921-4E1C-9FC5-A8D8EF4F5023","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1a3a60a926c385185927ff58f175ca790a012e4","datavalue":{"value":"https://doi.org/10.1007/b11926","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900814$8B05AF88-5940-425E-A84C-CA3622530C12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc42576762969d6f937eb54341b1001e3b51ca15","datavalue":{"value":"W2249105474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900814$DA89ABB1-0A8A-4154-8193-1EC5AB203620","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a5c983f4aad0e54708f94e50d863c4ac538eba8","datavalue":{"value":"10.1007/B11926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900814$0233B2B2-3C46-4688-9328-A406C07532EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b364d8b24a1779f1e2c3d26234f2b4ad14fb3bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1764423,"id":"Q1764423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e178842d8e19f8f191e779c47ced7d958e3115","datavalue":{"value":{"amount":"+0.9519020915031432","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":"Q5900814$80D395D2-8FDA-4B91-BC31-C644B2664A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70cd62303d2fc03ce4c0e2a435758b145475a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":2989926,"id":"Q2989926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c0106b4475d2ed785df4986051bb84340829f0","datavalue":{"value":{"amount":"+0.9247356057167052","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":"Q5900814$B27DD443-A938-4816-B946-053A694779F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7f2ceac7150208e7de9f95dbc0db2acaaddce2","datavalue":{"value":{"entity-type":"item","numeric-id":2272217,"id":"Q2272217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca6fd80d05db3743039d11cd31940a6cd562d72","datavalue":{"value":{"amount":"+0.9016014337539672","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":"Q5900814$3975C67D-F73B-4D02-9C69-D31D5077710A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f6c0d18cf1509d0b868ce0a2ba047cc61e6229","datavalue":{"value":{"entity-type":"item","numeric-id":1090465,"id":"Q1090465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d2e8f35aa2ddb3fefb403812c4e3386915465a","datavalue":{"value":{"amount":"+0.8949418663978577","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":"Q5900814$1C3BD5EB-09D4-44C8-A4C1-EAE94B8D4EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f695d60476781bbca13c548ff9f100b39096b7","datavalue":{"value":{"entity-type":"item","numeric-id":2280327,"id":"Q2280327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68908069dd625bc23b8b5afdf65ec258f1320c1","datavalue":{"value":{"amount":"+0.8630885481834412","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":"Q5900814$72B1CB70-E5C6-4716-863E-64901B33B254","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900814"}}}}}