{"entities":{"Q2957509":{"pageid":2968228,"ns":120,"title":"Item:Q2957509","lastrevid":79612067,"modified":"2026-05-06T14:19:26Z","type":"item","id":"Q2957509","labels":{"en":{"language":"en","value":"Accelerating tree-automatic relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678461"}},"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":"Q2957509$0821DF09-4ADA-4284-8E05-E8F320C95F3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc09bbe7c370babbfb0751f8838748a331bad405","datavalue":{"value":"1354.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957509$6A2F010C-EEE1-46BE-9665-D3371642E6D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce03103194246a3df27ce58b06ab6f4262232789","datavalue":{"value":{"time":"+2017-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957509$B469A236-FC98-4210-93E3-7B3C8A843F7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957509$2B819BB4-A4C8-49FD-B964-07CC023D6A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957509$5D946A2D-6344-4CDB-9328-632F3CFCF010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957509$565C4401-7B30-4DE3-B2B4-A1B9490AB2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957509$26447168-9C2F-4823-AF73-B8FA6C2AE9E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11428ad087c580e586f927d02739c9b4396848e4","datavalue":{"value":"6678461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957509$F6819118-F916-4376-91B2-2F7C9F017F6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5b507bcb902fe805ba5eead8116dc091fc4937","datavalue":{"value":"semi-algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957509$F32E1989-DB8D-4DA9-8E24-B669BEA9747B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957509$89F0755E-AD1D-4363-92BF-623D74A000A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b02034de3892e3ba340edc0be02942628b7a97d","datavalue":{"value":"infinite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957509$EE473864-8995-4F0E-A010-FE7259B50C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957509$C3ECCB3A-A706-4E68-A333-0B064B61037F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d16040d29a42a439381bf088783c9058f5cad35","datavalue":{"value":{"entity-type":"item","numeric-id":1708663,"id":"Q1708663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957509$6C67556A-EE56-4835-B63F-64A01B735CC4","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":"Q2957509$9577FE10-0377-4BEF-9739-E0D957FE374C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8941a771a3b5b4089bad7e5337eab6926f2ea05","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3869/pdf/30.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957509$EF3D0052-110D-4038-A431-ABDC5452A693","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ec09c8d0077a85055321e0253d5dd9db9abb739","datavalue":{"value":"W1555464222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957509$8DBF574A-8129-48FB-99EA-D5551D326EFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"938f4c0b3fb9d3602428fbae1a93910c0b750a66","datavalue":{"value":{"text":"Accelerating tree-automatic relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957509$9573D89D-FDFC-440C-9609-84C3DB0020D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"914fa4beee3e2f5d51df289a03ca5e2889c13f00","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2012.313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957509$54D63602-B836-4417-BD7D-5A7BA6940D44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6614b7eaf87f84197be462dab0ff54a1859094f1","datavalue":{"value":{"entity-type":"item","numeric-id":2500700,"id":"Q2500700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56015fedad3a78b029606ed4c5f0dcbfaab8e32","datavalue":{"value":{"amount":"+0.7897279858589172","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":"Q2957509$031910AD-02F4-404E-B81B-C5D5CFDE4971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033a24b2d7219f2f9cb9dc106a2dd3d52ea85f3","datavalue":{"value":{"entity-type":"item","numeric-id":5703778,"id":"Q5703778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd96e6677340228079991e8365fe38f481ff2986","datavalue":{"value":{"amount":"+0.7807843685150146","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":"Q2957509$766F7BD2-42FB-4327-94E2-FDAADDB37936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae484af320a409691d51437439fc4eaac73d92d","datavalue":{"value":{"entity-type":"item","numeric-id":5505554,"id":"Q5505554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434f864bc5bf47d32ef4af3b748eab101758b9aa","datavalue":{"value":{"amount":"+0.7483958601951599","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":"Q2957509$D68C1CD1-EA49-41EC-A27B-1FD8A3F1E887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc6426b7c4ef904112f3417f2569eb1c7dedfc8","datavalue":{"value":{"entity-type":"item","numeric-id":5448669,"id":"Q5448669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd6a457e4afd12786f2e27dfe2f3d8bee4fe3e4","datavalue":{"value":{"amount":"+0.7430274486541748","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":"Q2957509$DE3C45B1-3A48-44FA-BE03-058E600C72AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2ccfc943378c1be63c0d6e664a3118f525cd08","datavalue":{"value":{"entity-type":"item","numeric-id":5458323,"id":"Q5458323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d47b242ad277bde9f2f89551273a2a673537eb0","datavalue":{"value":{"amount":"+0.7419909238815308","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":"Q2957509$491D5EB9-FCCD-4855-BD3B-5F41FF003927","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Accelerating tree-automatic relations","badges":[]}}}}}