{"entities":{"Q3113775":{"pageid":3124491,"ns":120,"title":"Item:Q3113775","lastrevid":58121004,"modified":"2026-04-03T21:38:09Z","type":"item","id":"Q3113775","labels":{"en":{"language":"en","value":"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999722"}},"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":"Q3113775$0F711571-91CE-4FD4-901F-F2DD91A462D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"006a57191d098f8ba8aebf816f3747ddd844fffa","datavalue":{"value":"1230.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113775$72BCDD49-8C92-4EFC-99EA-C9EBD0581E76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06012f2a57f37290b6cc56ae38272af569718724","datavalue":{"value":{"entity-type":"item","numeric-id":269502,"id":"Q269502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113775$CF0B559A-19F4-4CDC-8991-DABAE2E150AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3113775$C8681CCD-7470-4995-828D-438EA8E73552","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93b13362498b1af870e8e687e8000b2bcbaf3219","datavalue":{"value":"https://arxiv.org/abs/0912.4110","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113775$45E8197A-6B9C-4F4E-A800-8BDA6034C947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e97d7523a0d9a37a996fb0450c50f18576b5db09","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_21bb.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113775$E9E4F697-929C-4E08-88E1-19B9B72C27B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113775$DA941C73-AB4E-4946-A507-4F5BC921010C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113775$93EDA084-0930-41AE-811E-643468D9D3E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"734dd6dd6fe5997feea921864b125eb54e3617a2","datavalue":{"value":"5999722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113775$A70E51E8-8B17-4BEB-9209-6C551B8DB332","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee0e4604facc04b5244d768619db6d13725ad6c","datavalue":{"value":"tree-automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113775$0275946E-CBA2-49C2-B199-558ED14CD571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de3eb0646ea6e931e8538512ad8c042294654e3","datavalue":{"value":"collapsible pushdown graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113775$CDB977B4-A9AB-4220-9815-7C0E162EDEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4c06aaba50dd9a7dfad3ecf5483afafd9556ca","datavalue":{"value":"collapsible pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113775$3E8498A5-AC20-42F6-AE5D-66F5124FC6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e60d83a7166d84a9fc04125fc4da6ef5279dba5","datavalue":{"value":"first-order decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113775$D984023D-6FC5-46DB-B3B8-271DC610CFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113775$CB2C2A5A-E38C-4244-9505-86CADB57DD7A","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":"Q3113775$9C82995D-8AE7-4AF1-BB63-767D8DFD4CF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab36f9860feca1aa4e378d25adb075be1129ffa4","datavalue":{"value":"W2764219630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113775$3A9C4D4B-A8DF-4E24-B460-6074D677B8E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2855b250697a327afc056b9b5d061bfd584ef94f","datavalue":{"value":{"text":"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3113775$380EDF46-30FA-4DAC-98E7-BD766939023B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86b3762774cd31689445341de8d650cc0cffb5db","datavalue":{"value":"10.4230/LIPICS.STACS.2010.2480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113775$15DBE261-62F9-4377-A751-1701F901C157","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6136cc3982067363018f8019543fd3c069d1c34","datavalue":{"value":{"entity-type":"item","numeric-id":4913775,"id":"Q4913775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272cd73df05aa3231cfe12d5e1ba3c202a486533","datavalue":{"value":{"amount":"+0.9999997","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":"Q3113775$0C611BD7-356C-46F5-B802-0B61540FD15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b6194bd61da1693bff3aee64d5423a78bb66c9","datavalue":{"value":{"entity-type":"item","numeric-id":2915692,"id":"Q2915692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb4cf0426407ca6e308a09c916277f893627f1b","datavalue":{"value":{"amount":"+0.9002534","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":"Q3113775$C991A7F3-4EB6-434D-995C-D9B2C5BDD609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadaba022955398c649765841c263b14ee7ae57d","datavalue":{"value":{"entity-type":"item","numeric-id":5369241,"id":"Q5369241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcc42535c594839e0fd4d73d3664e82f714b70f","datavalue":{"value":{"amount":"+0.8383751","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":"Q3113775$892BF125-37A3-412A-B687-4BE07782505F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08da2999f8c623c42c772fda3010a5bf29ca45ec","datavalue":{"value":{"entity-type":"item","numeric-id":2904749,"id":"Q2904749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2315994791e87c24f4a7407df960874aae8245b2","datavalue":{"value":{"amount":"+0.8235507","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":"Q3113775$4847CB67-4E14-4573-9A1A-A3EE3C2C3BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b32efde9aaa2163d09696c2a97c2e1df1100d8","datavalue":{"value":{"entity-type":"item","numeric-id":3552974,"id":"Q3552974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0459dbb257b4f177e6fa593e9602e7b8157063e","datavalue":{"value":{"amount":"+0.8190897","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":"Q3113775$3B7E757E-F93C-43D9-8D15-CFF0EE03C6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5cb526cb2afd05d884a08b9eb61b340cc6129e","datavalue":{"value":{"entity-type":"item","numeric-id":2912755,"id":"Q2912755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d590252b718728d5149e126bb6d69b080f28def","datavalue":{"value":{"amount":"+0.8082037","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":"Q3113775$8D6ACE1D-277F-4585-B18E-41D65AFDB16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161c96f04949aad327ebee341c97cb055bc67d40","datavalue":{"value":{"entity-type":"item","numeric-id":2986793,"id":"Q2986793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd989f63faa63e6ae4d1d6d008820a262c2ae33c","datavalue":{"value":{"amount":"+0.8037012","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":"Q3113775$A30C0938-CAC1-4617-8544-77A9770024D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5360976c8fcd1bb0ae0a68997dfdc7ad15f23af2","datavalue":{"value":{"entity-type":"item","numeric-id":1025940,"id":"Q1025940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1615f10d8aeec82e8adc0e5f2266b8c0d7e3f0a4","datavalue":{"value":{"amount":"+0.79289013","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":"Q3113775$DC0B5537-09C0-4EB6-BA43-5A53D4BBB7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac3f5e37d5331eaafab9b98cce01a565f07c176","datavalue":{"value":{"entity-type":"item","numeric-id":2271461,"id":"Q2271461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7c44dd20330f8f164820683b9cd4ed64188203","datavalue":{"value":{"amount":"+0.7892329","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":"Q3113775$473106D7-B043-4AB5-A132-6C2610D3AFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a67398120e0e36101afc3f99e93e6f561532e96","datavalue":{"value":{"entity-type":"item","numeric-id":4449203,"id":"Q4449203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52b5f573081eb74725fd5ba1c7815d70be8878c","datavalue":{"value":{"amount":"+0.7886134","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":"Q3113775$AF24E3C2-9029-48E6-99C2-92ACD06F1240","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3113775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3113775"}}}}}