{"entities":{"Q3613434":{"pageid":5643340,"ns":120,"title":"Item:Q3613434","lastrevid":50603792,"modified":"2026-01-14T13:14:15Z","type":"item","id":"Q3613434","labels":{"en":{"language":"en","value":"Tree Automata with Equality Constraints Modulo Equational Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528314"}},"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":"Q3613434$D491EC45-7278-4F91-B2A6-6BF61E348A37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76d08cfbf581383de20e592b850b9768e65f1222","datavalue":{"value":{"text":"Tree Automata with Equality Constraints Modulo Equational Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613434$EE74EB69-3A2D-4632-BE95-7ABE3E86C271","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00520cd4f3ce872750c773dcdb39d9d54edf4933","datavalue":{"value":"1222.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613434$FEF0661E-C382-413F-9F07-D3E9B4586422","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa6aa964acd92d1d26d968be2163e435766f0ade","datavalue":{"value":"10.1007/11814771_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613434$9F4ED9BB-1120-4A81-A029-AF8D9C1628A7","rank":"normal"}],"P16":[{"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":"Q3613434$4DD91480-669F-4627-BB85-0453572FD329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613434$A3E1BB97-4FC1-4E1E-881A-CAD5057F7B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6859fc6fdda561ce847e5098101dd47b5d4060af","datavalue":{"value":{"entity-type":"item","numeric-id":1340507,"id":"Q1340507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613434$710254E7-320E-4F13-97F8-092ECAD01A5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613434$10BC9DC1-B3F0-4DE3-B792-D836AB301A08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613434$FDA8D9BB-E60D-4013-AE9A-D19156E21669","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d04077bbda243f0ba68bca13705a1a8decfbfe9","datavalue":{"value":"https://hal.inria.fr/inria-00579011/file/rr-lsv-2006-07.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613434$5AC44BEF-A99C-4A51-8A29-C0E5BB91E9CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613434$33A120B9-243F-4177-952A-53E587FA037F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613434$4987D6BE-7DB0-4314-A8C5-D380FA655B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613434$2D231A0B-A9CF-4075-997D-0C5D69FEA8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613434$836766D1-EC6F-4A68-8D87-169B90868189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db30d5a63cb81ac54603688fe9a214b273acf9cf","datavalue":{"value":"5528314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613434$769E7C95-7CBE-4E0E-AF94-BE552F84C115","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":"Q3613434$684B187D-AFB0-4873-A193-B51C81B24605","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"176b4a57e589d3da6ad30f68653d5f0ddc8676c5","datavalue":{"value":"W2112231066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613434$03E3A3AA-4BC2-4E6A-9DC7-FFE01141BDEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1307cd91b0fa6cdd3616b721a8cb38edfff5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2426520,"id":"Q2426520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b653c6b60d7bfe0dc635c9726ae91d0a7d09f7d7","datavalue":{"value":{"amount":"+0.9993812441825868","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":"Q3613434$A705097F-4032-483B-A988-E68C8BA5C2A9","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":"6e55a3fcdcdc48fe8079a612721c02de9aaffa37","datavalue":{"value":{"amount":"+0.8238757848739624","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":"Q3613434$DBB109B7-DE96-48FD-AE51-9C096656E48A","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":"1e1a0074f834bae38debe807e36291e9011c104b","datavalue":{"value":{"amount":"+0.81658935546875","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":"Q3613434$AADA61EA-A0CA-4806-958A-FC3EC09E9750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319754a6c9c1e73083d366e6e25c2ece48ff4f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5096779,"id":"Q5096779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432a07ce60781f0be83a41a2e1ffffadf0d68280","datavalue":{"value":{"amount":"+0.8073424696922302","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":"Q3613434$00C49ABE-AE0F-4CFC-91E2-01B26197C503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f5e68bb9d12eb0d8ab29f2bd46cf923464d92f","datavalue":{"value":{"entity-type":"item","numeric-id":3527283,"id":"Q3527283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce838e8feda3cd4118d7ef4a1806a49fbeebc723","datavalue":{"value":{"amount":"+0.8043670058250427","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":"Q3613434$92A511D6-A23F-4A9C-BDB7-3A975B5D4E12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613434"}}}}}