{"entities":{"Q5090949":{"pageid":7120525,"ns":120,"title":"Item:Q5090949","lastrevid":94276103,"modified":"2026-06-05T06:24:16Z","type":"item","id":"Q5090949","labels":{"en":{"language":"en","value":"Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561319"}},"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":"Q5090949$16433087-6FAF-44DB-BB6C-DDB174140A3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c5047119a2367a11254d195462d65d22f2a042","datavalue":{"value":{"entity-type":"item","numeric-id":2029492,"id":"Q2029492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$DBA813AE-161C-4FA5-B3DA-01465C59A689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$E2AC8563-CDAD-4805-8598-1F6ADA6D71CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090949$6E8FC576-DC23-44E5-8303-FC94DB744E98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090949$56D10006-8F3F-4BF1-80BA-9C50A27FE790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090949$2DDD12A1-48EC-4C7D-BFE5-9C1080C8CAE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"566a62d7e172bf1896596ea6b39f58c6227141a4","datavalue":{"value":"7561319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090949$8F849B52-251E-4214-BFE6-DB4A15A6FD38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81f2ad1e6324075c7d3d9fa074503995424fffd6","datavalue":{"value":"higher-order grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090949$04F581FA-2603-4A4D-B892-84EA82571812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090949$28040B98-15DA-4AD3-AD96-973BE04AD458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cee70fd0a5b823c3702bfab09192e51e6a8ab6","datavalue":{"value":"Kruskal's tree theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090949$61CBD16D-5B53-4C16-8130-66C053A99A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70a49b024af7536419aa811a038f4e661cfbf6f","datavalue":{"value":"well-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090949$80A96973-9EA8-44A1-A9B9-86DEC471947B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f86b331e66483ee6c2488ddb30b6651e0658b6b","datavalue":{"value":"simply-typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090949$D6613A62-2962-43EE-AA25-25BEF6E7064B","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":"Q5090949$AB7C16AC-7684-425E-8900-5B7679D836D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c318bc3ec9ae478bd017c731626497bc62c3ee97","datavalue":{"value":{"entity-type":"item","numeric-id":4598252,"id":"Q4598252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$302D23C9-1DB7-4C88-B113-AF9F174EC1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf079fd69f7fb267323bf3907cf036487200040","datavalue":{"value":{"entity-type":"item","numeric-id":5111429,"id":"Q5111429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$E4587135-A5AA-4026-869D-D0BCA84E8EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$C4FEA570-8E14-47AD-AD0B-95BA8989CC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$2446988D-07BD-4A21-8A4A-AF655C502459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8568cde47d1cbd9f4ac52d0da01fec6a7858ab15","datavalue":{"value":{"entity-type":"item","numeric-id":1222965,"id":"Q1222965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$FEE3ACAB-53D9-4699-8EAF-A992C01FA371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$66A95DE0-3F62-45A9-AB32-8F408C6FDB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$49A8FC78-4A0D-4C49-91E8-99BAC782EB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28032eb071748a84d01b4c7034db1f92de14d31a","datavalue":{"value":{"entity-type":"item","numeric-id":5136337,"id":"Q5136337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$48F92898-8908-461F-AE49-38DEA1C28F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410a8afb91cbafa0e501dc8bd73e9bf2b66e6c34","datavalue":{"value":{"entity-type":"item","numeric-id":4061986,"id":"Q4061986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$7C67B181-9F18-46BF-9EF5-FAB3683C4548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98439a18f63832b13defd0133e599f5b2b5d74e","datavalue":{"value":{"entity-type":"item","numeric-id":1099156,"id":"Q1099156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$F8FF7EE8-989C-41EF-843A-26BCA73CC449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5474f921aa9edcca5eb00cd3820b5e7ff3d413a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273488,"id":"Q4273488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$998E0FDA-F787-44F7-92A6-EFB3E0C5E48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82565050df2614a740ffd5353aaf9c9289acae2","datavalue":{"value":{"entity-type":"item","numeric-id":4474832,"id":"Q4474832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090949$A6969B3F-AD92-40F2-84B8-A6E25E5C96C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4ff8b8a9b122b1e9034ee357f9158af410ddf03","datavalue":{"value":"https://doi.org/10.4230/lipics.fsttcs.2018.14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090949$5F6A722A-CFB3-4446-AC04-8D643955A030","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a5cf1dbe92fc33174a1f5b89298f4e0d75f448f","datavalue":{"value":"W2907326504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090949$8F2073D6-10BA-4A4B-9CD6-B2C9E923B99C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07d5d5da089ca9147fcd67a81d7edd15997d44ec","datavalue":{"value":{"text":"Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5090949$6223262C-B64F-438B-8CB0-C31D0AAD11AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1df1b2c26ee10e5f1cff088b744791daafd16a4d","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090949$58BCCE7C-4BFD-4D6E-ABC5-18A26C5830FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727a27406d6a450e952841c74b5777fe953c4325","datavalue":{"value":{"entity-type":"item","numeric-id":5111429,"id":"Q5111429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7390532edb4c316a472be1983296ff1c544ec7","datavalue":{"value":{"amount":"+0.8487019538879395","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":"Q5090949$975A3651-6FF2-4729-9897-C287F4C611FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11cc1da02733362070d2c685730f6ca56abb5a8e","datavalue":{"value":{"entity-type":"item","numeric-id":1567204,"id":"Q1567204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dc512bbe7bec5dc11fe8e5f1ca5117fea1b41c","datavalue":{"value":{"amount":"+0.7279977798461914","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":"Q5090949$4E15F9CD-00D7-4485-9A15-D163DDB7E2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c10cbbebad615b4634682c8c81e26acfb8c7ec","datavalue":{"value":{"entity-type":"item","numeric-id":3199414,"id":"Q3199414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc728f6012e019d14958c53506dd231e706f5541","datavalue":{"value":{"amount":"+0.7257604598999023","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":"Q5090949$0AD3DB6C-6886-447A-8BD5-919DACCB3F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729d3e0f65deab68e3ef241f23a7d01833e7706c","datavalue":{"value":{"entity-type":"item","numeric-id":5271077,"id":"Q5271077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41167312535a0a39809600569aefbe8b1ccc264","datavalue":{"value":{"amount":"+0.7227340340614319","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":"Q5090949$AFF89987-1E35-4C25-A06D-FCE298EDCA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"977cd8b99fcaad1edf7fb7340f8f6465da6f310d","datavalue":{"value":{"entity-type":"item","numeric-id":3491541,"id":"Q3491541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c89adbd3e8759c4785083e28252379bcc05b982","datavalue":{"value":{"amount":"+0.7224488258361816","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":"Q5090949$70E89A76-CC1F-4E02-BC78-C8BA48D59BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lambda-Definable_Order-3_Tree_Functions_are_Well-Quasi-Ordered"}}}}}