{"entities":{"Q2426520":{"pageid":2437263,"ns":120,"title":"Item:Q2426520","lastrevid":78841721,"modified":"2026-05-06T12:33:44Z","type":"item","id":"Q2426520","labels":{"en":{"language":"en","value":"Tree automata with equality constraints modulo equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5266325"}},"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":"Q2426520$2A7049F2-E7D2-435F-BFDC-28ABE6129344","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dc404c3ec4dc1a23c30f73ef032e55e8001f16c","datavalue":{"value":{"text":"Tree automata with equality constraints modulo equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2426520$050003BB-8987-4054-AB07-68EABE70994A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"421f25ba5f2013e0e3c6d786b296e31b7eacf720","datavalue":{"value":"1137.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426520$714E9203-C318-4182-AD0D-D444DCD96142","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":"Q2426520$02B384A3-41D0-42C7-94FF-47797E2C59DB","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":"Q2426520$08D59D27-3EA7-48E8-9F76-8EC9376C69D9","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":"Q2426520$2B8C9231-5105-4FD7-A092-F74B2F53E798","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$5060E5A1-D77D-4AFC-897D-C02069DE17DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2874847e9398f406897f3612d1e6cd906b76072c","datavalue":{"value":{"time":"+2008-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2426520$54381370-8D14-4F61-BF84-F2176EF72D0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426520$EB1D763E-4E31-4DB0-809A-4F60E935EC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426520$262096D7-0164-43BC-8D5B-13D9A762AF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426520$A12D3789-A5AC-4B0E-BDB5-99F1BEBE7A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426520$EE3EFC26-5F16-438C-86C5-9D7CDA3590F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d05cacefce847ab0ab2b9d048ef99a663cb28956","datavalue":{"value":"5266325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426520$70514A14-6563-4A4F-BBC7-31C18C5A8656","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a313369d6da90dd1bef2143dee22ad776773a0ec","datavalue":{"value":"first-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426520$99B5FD71-C0BB-4AE8-BEA3-EB6C0347DD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426520$B9AE524C-D6F2-4674-8224-C99B45AE7B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560e8d8a6c94775ed31ab5eb0974f89e102f0038","datavalue":{"value":"basic paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426520$40807B11-CBED-413E-8C22-2FC1E885B630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fab1d7dadc9c096095fb8f4f755156daf4bb08","datavalue":{"value":"splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426520$AD50BD04-9B17-4330-953D-0BB8886D8D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f2f6264a83fd23737ff0dc227ea2b6e6c3afa9","datavalue":{"value":"verification of infinite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426520$7300E524-6ABF-4503-9F0A-B60F456061A8","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":"Q2426520$883197B5-9DB7-4200-B8FB-E8A654A9D95E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a88956b3e4f60e365692b93db2dfb9f86f3a02d0","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.10.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2426520$4854AAB3-A735-485A-9D20-398A28B8A76A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ec080df37a6dc2e809745666001b9d653bb0e1e","datavalue":{"value":"W1967865708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426520$8ABFC25A-22A3-4CC7-B529-14E938218AC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$5FA4B182-E85D-4E1B-9351-EEF9D054CDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad7c23e8d7895495a33ef0a244c1d5f7a7d7e16","datavalue":{"value":{"entity-type":"item","numeric-id":1899908,"id":"Q1899908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$D18734C4-0DE8-40CB-BCA8-9B18C6191D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147d95748fc6218e5d9397f8fa462fbfb99be2ba","datavalue":{"value":{"entity-type":"item","numeric-id":5096779,"id":"Q5096779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$8B0489E0-A335-461A-AE84-2213254A23A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bed3cc28811a5e3f4dd5352c6cd345f8a75b6dc","datavalue":{"value":{"entity-type":"item","numeric-id":4632446,"id":"Q4632446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$62A89C3B-0782-4D12-A7EE-AA0E6001D87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0747fee7ce0d75558ff92f6c2b216b460047743","datavalue":{"value":{"entity-type":"item","numeric-id":1911400,"id":"Q1911400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$6A818CCA-D31F-4568-AC41-C84296EE93F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$7DA1B8B5-6E91-40C6-828F-46FF5EAC594E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890390b7c0f8ed661b7084e98573fc0b11a27b52","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$A2A9FEAD-52BF-4FA0-B417-754897FF55BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250152f4757232a993d72bf46f4fcc6e4ea0ffdd","datavalue":{"value":{"entity-type":"item","numeric-id":1041797,"id":"Q1041797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$F4302724-507D-4FBB-B249-61E9E555EE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550580d557f088286aba342154f1791d455173c2","datavalue":{"value":{"entity-type":"item","numeric-id":3838762,"id":"Q3838762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$9FE80FC7-9562-451E-9369-2C455AA82AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815b4ea88f4497df1041eb32323b341e0ab9b712","datavalue":{"value":{"entity-type":"item","numeric-id":2426520,"id":"Q2426520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$26014ED9-6F50-4763-AADE-0CA1E5A807D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25341c3b4355b451c97bb1b33e8bdb2573e44c9e","datavalue":{"value":{"entity-type":"item","numeric-id":5309716,"id":"Q5309716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$F5185EFF-917A-4874-ADD2-3E1EDC6E611C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6668db57bb0152828329198a0e28c75cbeba99e8","datavalue":{"value":{"entity-type":"item","numeric-id":2848034,"id":"Q2848034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$DB8B66EC-9566-4ADE-902D-5553E2A9B654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824c9af687040c612a07dabade67e4643eedfc23","datavalue":{"value":{"entity-type":"item","numeric-id":4411948,"id":"Q4411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$E8455AA9-F741-4D01-A0AE-5D11027B0CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$928778F5-8B76-48E0-818D-7EAE258E703D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81a842a0579de68b0953cc2a7c99f1768038a0a","datavalue":{"value":{"entity-type":"item","numeric-id":4808742,"id":"Q4808742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$FB60CF98-5CE5-4D2C-BF33-5DE6673D5E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bbd3ff0e6402348b490ebdaf9fd860aa3f7a57","datavalue":{"value":{"entity-type":"item","numeric-id":1336737,"id":"Q1336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$F9C87B66-C98A-4651-8CFB-6767149F1743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1adff01dd8135f1ec580aaf85536ae94c3e1aa","datavalue":{"value":{"entity-type":"item","numeric-id":4808741,"id":"Q4808741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$22B0661E-2977-4867-9753-253F9CD09438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c31094c3c487532eb77ff8f97d35e08821f6d77","datavalue":{"value":{"entity-type":"item","numeric-id":5897485,"id":"Q5897485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$74B385D2-D738-45B5-AEE7-08ED7768313A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8519f05d71806176ed17827268c9bb314aec3ff","datavalue":{"value":{"entity-type":"item","numeric-id":4447233,"id":"Q4447233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426520$C7A92B05-43B9-4188-9B5E-323C34CA4D37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ead53c93f3065a161d628ed2efce6770ab37c372","datavalue":{"value":"10.1016/J.JLAP.2007.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426520$D74D03D0-0427-4ADA-80E9-22FAC575D4BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837c3fe78fd04dcef833ca10e627efe5e0099872","datavalue":{"value":{"entity-type":"item","numeric-id":3613434,"id":"Q3613434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2426520$19B8B821-9376-4A4C-8963-66A90E87FDC5","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":"b5b00159daf0a432fdebc33a38a4de9310415521","datavalue":{"value":{"amount":"+0.9172317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2426520$AFFE2ABE-A4C6-4D5F-8A43-CCED24FA9638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d809c601c659b9b519053721220da633f35302bc","datavalue":{"value":{"entity-type":"item","numeric-id":2074221,"id":"Q2074221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af06325cb2253459d445c24ae369d537463b6ecb","datavalue":{"value":{"amount":"+0.9067925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2426520$425EA66C-B88E-4B44-9D9B-0AD51D939C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7df9b2f9af899fdb3f656f07bf71579032f1ca9","datavalue":{"value":{"entity-type":"item","numeric-id":4417868,"id":"Q4417868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4eeaca796b991ee2b2b1e5ac3d3ec822da0eb3","datavalue":{"value":{"amount":"+0.9058023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2426520$C4D8608F-43DB-4F6A-A2B9-3CAF322621B5","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":"1c65cecc372205e4352d61c971438328791b9083","datavalue":{"value":{"amount":"+0.90574175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2426520$6EB2F450-F572-41F9-95E8-CA4C6C016705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d456a2944bc04dc08cd8e3411e04f104fad8cb6","datavalue":{"value":{"entity-type":"item","numeric-id":968530,"id":"Q968530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d35c2d420bde0e25253587a7fbbe92f84e6fb1","datavalue":{"value":{"amount":"+0.90144736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2426520$D597B7F1-A14E-45D6-9007-B60321A0403F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d87cdfd11f0eabca02afe81bb5a18c3cc1d117d","datavalue":{"value":{"entity-type":"item","numeric-id":5096180,"id":"Q5096180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce52f85f4542ffb9b9cc40c266150f0564ef526","datavalue":{"value":{"amount":"+0.900892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2426520$BD34F52E-D60C-469E-92DB-67B3856F96D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caf0e5ebc5d3d72bd55beb148c254b4ba13c614b","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce52f85f4542ffb9b9cc40c266150f0564ef526","datavalue":{"value":{"amount":"+0.900892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2426520$4F3219E8-8D67-4F18-A131-725A5845ED73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb447ab4e28ca9a6d7ff305b2764af8ab10a9b57","datavalue":{"value":{"entity-type":"item","numeric-id":3007653,"id":"Q3007653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26646de531b81911f050ba5efa320fa0a9615fa8","datavalue":{"value":{"amount":"+0.90051526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2426520$427195F8-71FA-42E6-8CBF-6345A575BC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f61c6fa0f071dc8c3338f3fd2320d02a582b3b","datavalue":{"value":{"entity-type":"item","numeric-id":4994936,"id":"Q4994936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eaeaf7bcea693a0624d9c51a102637d060637ac","datavalue":{"value":{"amount":"+0.8982607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2426520$85BD40FD-20AA-40F9-B700-C9B338EB3D7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tree automata with equality constraints modulo equational theories","badges":[]}}}}}