{"entities":{"Q6829972":{"pageid":15119719,"ns":120,"title":"Item:Q6829972","lastrevid":56022946,"modified":"2026-02-26T16:15:00Z","type":"item","id":"Q6829972","labels":{"en":{"language":"en","value":"Semantics of higher-order recursion schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900069"}},"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":"Q6829972$E2A9EDFB-751B-4895-8A0C-B167D2CB794F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fd55b716995d1944774b2612fef8aa46d31f52c","datavalue":{"value":{"text":"Semantics of higher-order recursion schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6829972$90757A59-EE01-4323-95A2-9AE499B1F748","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"271c04408f87c85e808f7ed4d2fa5852d2948329","datavalue":{"value":"1218.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829972$7D97D50A-FF0D-4E57-AF43-2E68AA329D1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d1734edb362d66eef609a86d0c7a7faf40501e0","datavalue":{"value":"10.2168/LMCS-7(1:15)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829972$13B4C165-0777-43DE-BB0D-559D9887CC62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829972$9E2CC9E7-83F8-4D66-8F4A-2ADA9D24D9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829972$D19BA85D-A28F-4EBE-8224-94833CB1D440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28684bd1f4bbc00add773aebdab5a83cf01fa02","datavalue":{"value":{"entity-type":"item","numeric-id":234458,"id":"Q234458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829972$DFB6FDB3-9718-4B85-B70D-44B1243B1CB7","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":"Q6829972$D441B51E-641C-4E49-9E71-CDE808DA6B92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-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":"Q6829972$824B3E59-B905-44BC-A7FB-06B43DC1A350","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829972$C466538C-C43A-4624-A730-EA1252F38CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829972$820EBB9C-0B93-432C-BD08-7248FCB0C931","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee0fee2863921fe48a8ab0fb6d87a846ff8944f2","datavalue":{"value":"5900069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829972$16554439-302A-49A9-A313-7989A39541AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b822a0d22ade9dd3983480f17f2ae01ee86295","datavalue":{"value":"higher-order recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829972$607E418D-1C10-477B-84A3-35C58B7CBCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d1e64fb12c9be70230102e182711c4d8f85e04","datavalue":{"value":"infinite \\(\\lambda \\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829972$D8753269-F035-4496-83FD-163BE67817B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302acd3b644b6f2f0dd328b765bbc02538a9a162","datavalue":{"value":"sets in context","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829972$89243B2D-2C9E-4844-9637-BA686888AD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af22723f90ad371d4f25b54cee85b4386ea2322e","datavalue":{"value":"rational tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829972$D0926883-0271-4BFD-B1B0-F0D2773C4DC3","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":"Q6829972$F2194650-F488-4FF3-949F-EB51C7F77C0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics of higher-order recursion schemes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_of_higher-order_recursion_schemes"}}}}}