{"entities":{"Q4742771":{"pageid":6772351,"ns":120,"title":"Item:Q4742771","lastrevid":34678392,"modified":"2024-06-13T16:07:51Z","type":"item","id":"Q4742771","labels":{"en":{"language":"en","value":"Syntax and Semantics in Higher-Type Recursion Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3797736"}},"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":"Q4742771$8942EF2B-603F-455E-B754-4B226E76A6E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b74b4e76b62fd5a9c4a042e519ca2320b1ef39b","datavalue":{"value":"0506.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742771$129955E5-7224-4246-A09D-5E06580DDDA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b18f959c52265228e1d7fbc407b6e4536e9fd92","datavalue":{"value":"10.2307/1999418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742771$959B4E3E-A4BB-4677-B259-05988B294BF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffff5826a6b316d23abd0e7bc660b3be3c86146a","datavalue":{"value":{"entity-type":"item","numeric-id":3922664,"id":"Q3922664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742771$91389B8C-272F-458E-9891-C8A8BDC584BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4742771$37D5DDFE-F0FE-4BB5-BE8E-FA387C4CFA90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742771$F859E2CD-3FC7-408C-95AD-C07F89F7BE9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d69be89ccd9d4a4aa0586140f7152f6fe37ba391","datavalue":{"value":"3797736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742771$03131064-60BF-4176-AA28-ED150A98B5F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d619ab860811741ad4cb6dec8b14eed08291743a","datavalue":{"value":"recursive functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742771$C683FE48-BC41-4BA8-A782-181D1124EC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95f1b2c06129c0f3f576448e289c2cadf5fe3b5","datavalue":{"value":"generalized computation tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742771$6F491A5B-EFD3-4B0D-B05A-455F7D9A990A","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":"Q4742771$CD6B999B-F659-4A9B-AD32-E208DF2ADF92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"604e6a4532458bab08ab15364dba26cb0dd94a37","datavalue":{"value":"https://doi.org/10.2307/1999418","type":"string"},"datatype":"url"},"type":"statement","id":"Q4742771$AF7CC9B8-41B7-4795-A2E2-19702CC284FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f60963dd03715efd268b4afb1f9f11925657750c","datavalue":{"value":"W4255294674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742771$A6A6ECC8-5052-470F-8B43-85B71D8B449A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41cd64b7ff69b3b907d639c1c6b9aaefedafa2ce","datavalue":{"value":{"text":"Syntax and Semantics in Higher-Type Recursion Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4742771$D318F195-EC68-47A9-A2D1-E52E47CAF8D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742771$AD1AF1D3-FC2B-45F8-A34F-257D6291E705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690eac6707df294089bbb4811045c174c4de9fef","datavalue":{"value":{"entity-type":"item","numeric-id":3260568,"id":"Q3260568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742771$81EB3E18-4E61-495F-91AB-573B7EA642CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4c4d9a56dbfe443a8e06864b57c6d8d67e568f","datavalue":{"value":{"entity-type":"item","numeric-id":5731778,"id":"Q5731778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742771$05A9FEA4-81F7-47E7-9B1D-71377BA454B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491aca7b54538f5cabc6a1191e2448ba89a50c0d","datavalue":{"value":{"entity-type":"item","numeric-id":3689176,"id":"Q3689176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742771$B354B5D1-36E4-4178-8036-C072CFA0E561","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4742771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4742771"}}}}}