{"entities":{"Q4927423":{"pageid":6957005,"ns":120,"title":"Item:Q4927423","lastrevid":90983885,"modified":"2026-06-04T21:57:44Z","type":"item","id":"Q4927423","labels":{"en":{"language":"en","value":"Decidable classes of tree automata mixing local and global constraints modulo flat theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6177461"}},"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":"Q4927423$5D49F373-659E-4CC6-99B6-48636CCC1316","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b6d35108b632c9f9260f59190703e06fa79389c","datavalue":{"value":{"text":"Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4927423$10C96D01-8764-438B-B251-6805AB901AAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92cfde09fafa935810e0d382f4edf266c9e18091","datavalue":{"value":"1278.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927423$1DBBD527-0FA3-4511-8121-9D3B1FE3B2C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a069b6012f1d9663d5e08c083e679cbf4a3599dc","datavalue":{"value":"10.2168/LMCS-9(2:1)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927423$7048A758-804C-4191-8945-0D0BA2D1533F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa8ca9c0f6e7646b33f5ca56323269661955cdda","datavalue":{"value":{"entity-type":"item","numeric-id":2786122,"id":"Q2786122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4927423$6FE33F4B-0853-47E3-BA68-6199341C5AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8f70552d1b31441d1cb7c4310ca4b03021147d","datavalue":{"value":{"entity-type":"item","numeric-id":2351262,"id":"Q2351262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4927423$AD930F76-41FB-4CC8-A83F-B1AA68527D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4927423$C2F6E8EC-BF09-485F-B773-13C786147E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3920c2ee987eac94563e155e27382f1dec3b4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":420847,"id":"Q420847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4927423$BA95D05F-C371-4B86-B57F-5347D5A15DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc86175302297a6a5dcf2c6f73f9511467850d5f","datavalue":{"value":{"entity-type":"item","numeric-id":553316,"id":"Q553316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4927423$767A1523-6EB9-48BD-8F28-C8AEE5740414","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4927423$1D7BD9C7-FC4A-46CB-90D0-7CF38C9C6A42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c42f984d06608ffecaa9a55907765aabe7f17f1","datavalue":{"value":{"time":"+2013-06-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":"Q4927423$A522BF81-D5F5-4E35-8447-9B2646D6B4E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b7f3f5faa758352b06047bec1aac979cab9e49c","datavalue":{"value":"https://arxiv.org/abs/1302.6960","type":"string"},"datatype":"url"},"type":"statement","id":"Q4927423$8FCB11E4-4D90-45A9-BB72-B5C9FC7C2A67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927423$B932AF78-B729-4480-B508-45E7B294F2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927423$FD2A1DFF-707A-4ED9-AE52-6798F189E03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927423$2269F092-3A7B-442E-8C87-994B61DBD9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927423$BF3D66FE-8AB3-43EE-9714-52F284EBA77D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82a744d8b7bfae82b29163d10eabb5d5a2663221","datavalue":{"value":"6177461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927423$9653BAD8-E698-40B2-B4ED-FA0FB441AD31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927423$0CE3A263-F392-405A-A6FF-A32450BF8302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927423$B706BFAB-1FDD-4872-9103-B38935CDF5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ab6745361ae61aae3a9c77a872603f6c1feb63","datavalue":{"value":"XML processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927423$5C56C181-E00B-453E-8625-3F696050486D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e17e497a03dedb0bcd7e478dffa1adeb94467e","datavalue":{"value":"symbolic constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927423$0913BC66-A80B-4F8C-8243-83367DCFD8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927423$B827FF92-4B9B-4BC6-8FA0-6BC0E0D462E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927423$091D60C0-AD70-42DB-8D8B-59C7195C8D86","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4927423$64599629-BBDC-4F96-8579-AED1F728F179","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":"Q4927423$1FA6AEB2-52AA-4FDA-9902-4BE377D5086B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8c1f496b506374c0ed4e43bf11d02df982d2e0","datavalue":{"value":{"entity-type":"item","numeric-id":3533021,"id":"Q3533021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8922f66ddcbc07bdbc83ea0fd1d16f622181a4","datavalue":{"value":{"amount":"+0.8689679503440857","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":"Q4927423$F7DE41B8-AAE6-4EF3-B9AD-1B369BC0F334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267b420452456a8dc08d62016ff3db922bf413c4","datavalue":{"value":{"entity-type":"item","numeric-id":3586405,"id":"Q3586405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8a76ee127441c7d6008e75498dadf89bec14fc","datavalue":{"value":{"amount":"+0.8637527823448181","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":"Q4927423$3D328260-CE00-477D-8A7E-EDE948549824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c7f6a65ca3566cab93f402f8a76badab16ae07","datavalue":{"value":{"entity-type":"item","numeric-id":4933333,"id":"Q4933333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ead93d3c094b559f4b9b6178802207b2216257","datavalue":{"value":{"amount":"+0.8275552988052368","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":"Q4927423$92750EDF-CCF5-4C54-818B-FECA2108F4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a27762a689a251c5c58156378dfbee29fb44685","datavalue":{"value":{"entity-type":"item","numeric-id":2914722,"id":"Q2914722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d211de757f6b6b7d814f0faae86908be7b1f5b8","datavalue":{"value":{"amount":"+0.8271565437316895","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":"Q4927423$4413B72C-F0C3-4459-ADEA-04E2BD6D6B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff154f712dd0b0e300c7529e4ee0d503e29bdd2f","datavalue":{"value":{"entity-type":"item","numeric-id":5428866,"id":"Q5428866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711f2b7be8bcecb014d8d31286a4388e3ad93563","datavalue":{"value":{"amount":"+0.8169957399368286","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":"Q4927423$58B4382D-F19A-4085-AAC1-69C8C4653248","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable classes of tree automata mixing local and global constraints modulo flat theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_classes_of_tree_automata_mixing_local_and_global_constraints_modulo_flat_theories"}}}}}