{"entities":{"Q5740415":{"pageid":7769967,"ns":120,"title":"Item:Q5740415","lastrevid":52581428,"modified":"2026-01-23T00:58:47Z","type":"item","id":"Q5740415","labels":{"en":{"language":"en","value":"The inclusion problem for weighted automata on infinite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606346"}},"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":"Q5740415$EBF56073-7F76-4ECA-9C8F-E469550555E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e37cdb47a063852ee0bb194489d71297b8606b8","datavalue":{"value":"1341.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740415$4DBCF80F-AB5D-42A7-9335-343CC0171A5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f773cd2c2b0a8303c67ce589d3a1e87c08c901","datavalue":{"value":{"entity-type":"item","numeric-id":465590,"id":"Q465590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740415$888E45D8-4DD8-428F-B473-B93DBFAEB780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e484f66b2d4d80476efc2741bfc7b501692ca02d","datavalue":{"value":{"entity-type":"item","numeric-id":465591,"id":"Q465591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740415$BA345BF0-4FB8-41B3-8760-7D2F96CC9853","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f68c40e94bd0774ffce1c64b5329d163d095033","datavalue":{"value":{"time":"+2016-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740415$D247B0E3-B21C-47A3-A2E0-E3F78A0D703F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740415$BCFC07C1-AC98-49FE-B21E-340874273210","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66807ab1b980333eab4e2e9072f5534e23cb9d1c","datavalue":{"value":"6606346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740415$EE0C3E41-9D20-4AB4-A7B7-C76FB639E86D","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":"Q5740415$8FC41D02-42D1-4156-BFDE-76179E447892","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":"d4ef136d50ca63e18399fe156b2b093dcc7c5228","datavalue":{"value":{"amount":"+0.8150453567504883","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":"Q5740415$FA7910E3-E9BF-499F-B162-53F5114866ED","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":"abab4072fa9bbf74da2161eeeb04e1f4366246b4","datavalue":{"value":{"amount":"+0.8150449395179749","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":"Q5740415$6EAEE891-4D58-4F6F-9F3A-01606F9FCEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0e6329ae00a442a2a8b77b842d5dbf0aba463a","datavalue":{"value":{"entity-type":"item","numeric-id":3172937,"id":"Q3172937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a465a0e67ec0954c0f20346d8437d35f90e2e1f","datavalue":{"value":{"amount":"+0.8118626475334167","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":"Q5740415$9CBFA341-40FD-412A-81C8-9939B7C4C86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe0adc001938032a878879ef75ace6a3d70ea12","datavalue":{"value":{"entity-type":"item","numeric-id":3515223,"id":"Q3515223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d17be6a8134c73d97d96790cf3f80941e028a4","datavalue":{"value":{"amount":"+0.807092010974884","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":"Q5740415$FFED0B77-8458-4EFD-8772-57DCFDF1D5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899c901b807e10554d890ecabc749b38e9db4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3540192,"id":"Q3540192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b52aea32a4608bc0652adaff0e7af242310ac93","datavalue":{"value":{"amount":"+0.7959999442100525","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":"Q5740415$D356F92F-D1F3-4E18-9CDB-9B5E1B403238","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740415"}}}}}