{"entities":{"Q6560912":{"pageid":14172067,"ns":120,"title":"Item:Q6560912","lastrevid":99881471,"modified":"2026-06-05T20:55:14Z","type":"item","id":"Q6560912","labels":{"en":{"language":"en","value":"Unboundedness for recursion schemes: a simpler type system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870322"}},"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":"Q6560912$D4CA07E0-3F89-4A4D-B745-3C84E9BEB800","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb94ca3f6cdde6664a7c2d8f0b6536074173c2f8","datavalue":{"value":{"text":"Unboundedness for recursion schemes: a simpler type system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560912$B10CE543-E695-4F25-9F8D-C120371AC40A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764c9925e5e7f69c7d15b5347466e6e4769f514","datavalue":{"value":{"entity-type":"item","numeric-id":1989335,"id":"Q1989335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560912$29E1CCD0-5E6E-47E1-AFDC-09E49913DA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8cdd386691c1fea5e73df605fd6f51a4e84c6","datavalue":{"value":{"entity-type":"item","numeric-id":894454,"id":"Q894454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560912$4463F77B-5FF8-4BC6-8EE8-FA1C5DCF5921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7e990d0377ff19b0ed07581e58ec699163f45b5","datavalue":{"value":{"entity-type":"item","numeric-id":6560911,"id":"Q6560911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560912$F45A2F23-5CEF-417F-BBF7-C5DFEE2AF638","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aad9968298383135691f4dcdd005dbce68275c0d","datavalue":{"value":{"time":"+2024-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560912$4267B31D-BD4E-4DF0-88F2-1677DE34309A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560912$00736461-40E7-4D97-A274-27DC8515D3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560912$DF849C62-70BA-44F4-B6C5-08580D85664E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cff7e652d08fa6eef8c72fd56c7057dcb1bf2fd","datavalue":{"value":"7870322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560912$96FB0AAA-EBE6-4B36-B108-92A66F6A5BC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b822a0d22ade9dd3983480f17f2ae01ee86295","datavalue":{"value":"higher-order recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560912$6EA58CC0-D50B-4878-BCA0-489A8BA1EC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560912$B99BB5DB-47EB-4D8B-964E-15315D3C8D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560912$7D98DCC8-0723-4AE9-BE84-582FBDEB89C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746fb0a9a00b2b0ec829e9c562a8eaa4e4fab74a","datavalue":{"value":"safe schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560912$1DE87973-5930-4442-B7C3-8E442C0A8D8A","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":"Q6560912$CE9D2963-F008-48B5-AD8E-969B0377B5C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0210ce0dba632b1cd238261df7864c232aef764e","datavalue":{"value":"10.4230/LIPICS.ICALP.2022.112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560912$3D6866A9-845E-4319-9B76-4DA084956265","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unboundedness for recursion schemes: a simpler type system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unboundedness_for_recursion_schemes:_a_simpler_type_system"}}}}}