{"entities":{"Q3522015":{"pageid":5551919,"ns":120,"title":"Item:Q3522015","lastrevid":50438741,"modified":"2026-01-14T01:36:08Z","type":"item","id":"Q3522015","labels":{"en":{"language":"en","value":"Combining Equational Tree Automata over AC and ACI Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317328"}},"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":"Q3522015$183DE2BF-06DD-4E0D-9469-1D1876A4F01A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fd68267447a35465c606b3ca98f36be5ae721c9","datavalue":{"value":{"text":"Combining Equational Tree Automata over AC and ACI Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522015$C016AD3E-DD62-44B9-AA65-7AF9FBCE5A7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d627d328477be077ce1ed26b357f9d1ac7b3e29f","datavalue":{"value":"1155.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522015$E41EFDD5-ECB7-43C6-9A4D-A91C0D74B3B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a96dd10497023d8703c298880b761a12227fd500","datavalue":{"value":"10.1007/978-3-540-70590-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522015$BC19CB57-49BE-4DD2-A533-72B42101084A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f333256f1c35f220add5135e8d9d301a6cdff2","datavalue":{"value":{"entity-type":"item","numeric-id":3522014,"id":"Q3522014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522015$038B330B-4FE2-4DA9-B361-EBC367AF8A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67d02725bc9041065bd07fac024cde6b82c3e648","datavalue":{"value":{"entity-type":"item","numeric-id":736826,"id":"Q736826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522015$73302600-DF70-4A42-A7F0-EC48104C1AD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522015$928A4D9B-A289-47B7-994E-4608518AF6AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522015$C40434E8-A4D4-4A3E-A6A7-0EBD939A9DFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5b236ec410f9ee4f5f466de42d2351ee3d4c175","datavalue":{"value":"http://hdl.handle.net/2142/11428","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522015$52E172E2-6661-4EF9-82A3-9637117B1C39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522015$9BA66CF8-C82C-47E8-AD02-4C0296357237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522015$B2168E30-C781-4548-92F2-192E3B7A6019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522015$7BEDABD3-DFF7-4CDE-A7F3-01D7FE9D5088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522015$90B74EA5-E01D-4035-B075-269BB045BA8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"516513c24c64ee07a7896b2055eee311c7dcaf56","datavalue":{"value":"5317328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522015$E267BEA5-5A1C-48BF-B338-90177513CC63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522015$FCE2C4E0-982A-42D6-A518-E4CDF6FB54F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522015$318E38B5-6181-4B26-ABDF-7F0172F9C8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522015$1706270C-6C9D-4C63-8654-9FAE1F840F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522015$ABCE3DA1-9D10-460F-919D-BBBDBE777A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522015$DBC2440E-81A3-418A-8C34-6442E3D73A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06f5106dc9fe99e7a3969d4fb7f4783e5af73d92","datavalue":{"value":"modular properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522015$BC1D8B91-BA84-4AD0-A247-4F753CE28412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50eb2948a3ad8ae2842382e57af23ca278f07101","datavalue":{"value":"alternating tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522015$21A5A322-768F-4057-84C0-8A24E9253848","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":"Q3522015$73244FED-8814-4057-A04D-D94B3FA87BCD","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":"Q3522015$6E299CE9-3D5D-4A5A-816D-D1B28D04CB99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3224d86e6fb3fd6ad2f18a8edb15e81a4826ce0b","datavalue":{"value":"W1523334341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522015$5FFCEF0E-6828-4BA4-BD40-9BECEB1D1778","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c414acc7529226c80b7ae638029da616bbbe03","datavalue":{"value":{"entity-type":"item","numeric-id":4808742,"id":"Q4808742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf552b7a94d00ef89353ee543aaaeb6629c9e6e9","datavalue":{"value":{"amount":"+0.8727630376815796","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":"Q3522015$98F11C85-BBE8-44F0-A2D1-FA8B44D5C5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2588fdbf8953a2801a6499bd1f1e0c97a2ca2370","datavalue":{"value":{"entity-type":"item","numeric-id":4447233,"id":"Q4447233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6fb32049dab4cb6417a26e0f7657d09595e782","datavalue":{"value":{"amount":"+0.866173505783081","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":"Q3522015$D4092D32-243B-40E0-B393-C6EEF4B0F321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4f3d28dceb02074030462770fd0e213d53a976","datavalue":{"value":{"entity-type":"item","numeric-id":4783330,"id":"Q4783330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7373aae2572e748a822708a036944f9b275f56e1","datavalue":{"value":{"amount":"+0.8613619208335876","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":"Q3522015$2CD5E393-6862-4375-ACC5-32C822EE1658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d31959ee538200a9ff9914ee9ef695fa95a6c4","datavalue":{"value":{"entity-type":"item","numeric-id":3408138,"id":"Q3408138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb06857e3b6b660dfc2e248bca28c5c64c30e89","datavalue":{"value":{"amount":"+0.8475403189659119","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":"Q3522015$4B96685B-0F0A-4720-A66C-90D767902430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c290ab9f2cb67f33d7fd879afd217abdb9fa3c7d","datavalue":{"value":{"entity-type":"item","numeric-id":1892141,"id":"Q1892141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0c3f7a7d01d3992a0da749081639ef1b625101","datavalue":{"value":{"amount":"+0.829456090927124","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":"Q3522015$9AC86F1A-EF14-4E30-B257-9E5B11FD5D5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522015"}}}}}