{"entities":{"Q5891070":{"pageid":7926865,"ns":120,"title":"Item:Q5891070","lastrevid":58617069,"modified":"2026-04-06T00:53:02Z","type":"item","id":"Q5891070","labels":{"en":{"language":"en","value":"Tree-automatic well-founded trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6185341"}},"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":"Q5891070$40D37151-60EB-4C5E-8F38-8D5970B0CFB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0274a77be4714bcceb10f5d81b21887faaa0a05d","datavalue":{"value":"1297.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891070$309873A7-ABA3-4467-8DFB-D1F5CA61A31C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cba12532ab62f6af7efd36f70720e31413f6648","datavalue":{"value":"10.2168/LMCS-9(2:10)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891070$B285B536-3CCC-4CE7-A04D-FEABEB0C40BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ac8a242d4a526076e8118cbdefc8d9655bf9df","datavalue":{"value":{"entity-type":"item","numeric-id":1702519,"id":"Q1702519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891070$9E6F00DA-6480-4EEF-9887-74BD67169DD5","rank":"normal"},{"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":"Q5891070$147B4AFC-10DE-4143-B3DA-423D639CCBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"790a6e2623ed04866cf147712fd3cf130c9c01dd","datavalue":{"value":{"entity-type":"item","numeric-id":476864,"id":"Q476864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891070$3B0A3F93-8564-4231-9448-3FEF2545E69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891070$19D25B0E-69A8-44ED-A87C-B4216D5B0AC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891070$DAA9D03C-B864-429A-AA31-ACE924CD4B60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c8cabbca9130b549339a6dd53d71f49214bfda6","datavalue":{"value":{"time":"+2013-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891070$373914FA-214F-412E-8DF8-5A770CBF6E9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e11e588b718d9fb971532ad476e61a182fa8b513","datavalue":{"value":"https://arxiv.org/abs/1201.5495","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891070$295DE222-D85A-4583-A62A-BA66B9872D2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891070$D1266F76-A88A-40BD-B48A-8833A4BECED2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28e430bbd4ae41ddf05ed4bffd2119d28607edc1","datavalue":{"value":"6185341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891070$21A9EE1C-4043-4D51-9419-E6D22ECCF4D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3b418e00095d494ea4701199583b497e33f05a8","datavalue":{"value":"hyperarithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891070$2DE2DF65-4069-4F06-8B75-74B0EF534CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b181606adcba6432b0019d481c67f516d9807857","datavalue":{"value":"isomorphism problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891070$AC132305-EE3B-40B4-B77F-CE8A9919DBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43a4e4bd5dd3ac39d7a19a7492d65b175c8f3a70","datavalue":{"value":"ordinal rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891070$7F6A0B4E-8A37-4229-9F41-9FD0A4D0D12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee0e4604facc04b5244d768619db6d13725ad6c","datavalue":{"value":"tree-automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891070$9D0CDF82-0108-412A-AEE8-D0EEAC2DA9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89412566a7d67b0bf88c54034085a8209176763f","datavalue":{"value":"well-founded trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891070$31C58882-9A80-4DB2-A5F0-970F266A4847","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":"Q5891070$693F688B-41E6-42D5-BA4B-266A93E08E4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b97e726c1e9a27b1b508d3e23ec8a6b1dfe8c420","datavalue":{"value":{"text":"Tree-automatic well-founded trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891070$3E128084-36E0-4CA0-831B-9DF4DFCAD58A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7102dcca56031289fe9e52f118274e30be19e4","datavalue":{"value":{"entity-type":"item","numeric-id":5891703,"id":"Q5891703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa081d422cafb69e8ecbf1b790bf7c0de798329","datavalue":{"value":{"amount":"+0.952683687210083","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":"Q5891070$B8071C1E-13AD-4505-91AA-C4B7D5A06C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a3bfafa160354b28e6402908f2fd8a9b3e0a27","datavalue":{"value":{"entity-type":"item","numeric-id":2957918,"id":"Q2957918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d5944bfde5024a58ebac42d27a65ce60516bbc","datavalue":{"value":{"amount":"+0.8278483152389526","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":"Q5891070$2EBD33E9-A62D-44FD-930C-3726EC0B165E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d321657f30c761b0c1636028c729568f0d71f7","datavalue":{"value":{"entity-type":"item","numeric-id":5277736,"id":"Q5277736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe66dcf1d5e03e6f256f8bbfc2028b462d6a882a","datavalue":{"value":{"amount":"+0.8240430355072021","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":"Q5891070$8201E204-4FC6-402E-9C46-A848C79723F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d813cd763dc1c81816478959f8c48937bb3a1f01","datavalue":{"value":{"entity-type":"item","numeric-id":1759366,"id":"Q1759366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5be809043e8e65b08a35fe58bbbe8d7c712935","datavalue":{"value":{"amount":"+0.8187662363052368","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":"Q5891070$C8882784-5149-48AD-8222-CE8C42FA9C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533fb5bd50a2120ea16dce53c1220f317f50785a","datavalue":{"value":{"entity-type":"item","numeric-id":3586055,"id":"Q3586055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50aed032674efcfa2a6bb411a4cddc0c2d1dd928","datavalue":{"value":{"amount":"+0.8160778284072876","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":"Q5891070$082E93BC-64DE-4F5A-817E-294446E38007","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891070"}}}}}