{"entities":{"Q5217295":{"pageid":7246865,"ns":120,"title":"Item:Q5217295","lastrevid":53673734,"modified":"2026-01-25T13:05:55Z","type":"item","id":"Q5217295","labels":{"en":{"language":"en","value":"A Nivat theorem for quantitative automata on unranked trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7172759"}},"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":"Q5217295$89D7C8D8-5C8D-415C-8CD6-F4F79C49E4E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"984dc8a5bc2838e08400d0526538627b5ad32fb7","datavalue":{"value":{"text":"A Nivat Theorem for Quantitative Automata on Unranked Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5217295$2DC5F4BF-11F2-4D21-B1EC-2C8CDEE775EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5b2be6affad5fea5edb0c194ae6cd53bd20ef47","datavalue":{"value":"1431.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217295$9096CD91-26B7-4D86-BB4E-2076890FFE72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ca912a4292e23b416ea110f7bd9e58ec877fd98","datavalue":{"value":"10.1007/978-3-319-63121-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217295$3BA8D703-FC6E-4260-AD64-6CAF7E1ECED9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85c25bc9dd9d1fe94c2ecce12e70cd90472ffc47","datavalue":{"value":{"entity-type":"item","numeric-id":2280326,"id":"Q2280326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217295$398F7A82-84A4-46F2-8F6C-5BDB81E7B85C","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":"Q5217295$7D57971E-E4CB-4D42-BBB4-F071A32A09F5","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":"Q5217295$02197B79-D917-4C66-8278-BE17DE0BE6D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5217295$75E6825C-555E-494B-8B06-CE54176781D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217295$151D1794-540E-45AF-BBD8-5F22D0528421","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d94b2d7ae9c139a65509b1c30dce9be97e5d280","datavalue":{"value":"7172759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217295$5852230E-8C2E-44E9-BD69-391ED8A07979","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ef5bc2cb983b0c28f3c227fff422a301ad3621","datavalue":{"value":"weighted tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217295$6D1146AF-0A31-4D39-9DAE-C2B898F91E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"660f5e7a3c6955991fbb7b71990ec0f3d97caa29","datavalue":{"value":"Nivat classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217295$E878E236-7E50-44A3-9699-93F2476624B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37a78ebe150a13d4f543fb816480615e0b7197d","datavalue":{"value":"valuation monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217295$EE82CE40-684B-4991-A5E7-1BDCB8AA38AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"547b71e5b706bd282b9cded5b3012410458772e1","datavalue":{"value":"Nivat theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217295$91E20087-9414-475B-A499-FDF1E6ACD36C","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":"Q5217295$A345F089-D41C-49F2-A518-5210B1607445","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"296e1e7497d730411e8718aa40bd6f5e217356d6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63121-9_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5217295$431DEEC9-8228-4184-853D-5B1988BA92BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c40b05d3710f2e38f4c05792ae32982bee84cbe8","datavalue":{"value":"W2737533726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217295$1334793D-AB37-4EE3-A299-1DB4E06962CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4e90a608d22ace2dfaf918acfebafc92e85a53","datavalue":{"value":{"entity-type":"item","numeric-id":2947150,"id":"Q2947150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd91f9c891cd1838ad020497abe25a6e76a507a8","datavalue":{"value":{"amount":"+0.8227598667144775","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":"Q5217295$2A6FC26C-F840-4F32-BCAA-545FD6E2247C","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":"3e32dc310974a7a7aefc4b95cac415e6629c08ce","datavalue":{"value":{"amount":"+0.7969264984130859","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":"Q5217295$509E1608-1750-4ECB-BCCC-2CA8260CA52E","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":"5e93c43a50f248da157073c8a2fcffffa46380f5","datavalue":{"value":{"amount":"+0.7925265431404114","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":"Q5217295$809F3CDA-7495-4C5F-A609-5D9723A414AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9622e53e825042ca2e80f89e3763038be82a47e7","datavalue":{"value":{"entity-type":"item","numeric-id":2424674,"id":"Q2424674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cdfe916ace08c767d919f80fcb3da50513ec68c","datavalue":{"value":{"amount":"+0.7923611998558044","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":"Q5217295$EA882019-CEA0-4DAE-95D7-E4CBD819D8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb7cd3f55149f4ec90477ece9a82328c498c471","datavalue":{"value":{"entity-type":"item","numeric-id":2798741,"id":"Q2798741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656ac4dc38eed0dc38d7ef202df807bf6700f05c","datavalue":{"value":{"amount":"+0.7898508906364441","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":"Q5217295$C3F4E410-B271-4AA8-944B-C7482F88CF43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5217295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5217295"}}}}}