{"entities":{"Q3949038":{"pageid":5978943,"ns":120,"title":"Item:Q3949038","lastrevid":55068814,"modified":"2026-02-03T08:57:05Z","type":"item","id":"Q3949038","labels":{"en":{"language":"en","value":"Recursion theory and the lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3767639"}},"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":"Q3949038$4AA07AF9-5250-4C74-A738-73BAF6372C0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6118014b9386ff2510425aee64e691ee4dd13670","datavalue":{"value":{"text":"Recursion theory and the lambda-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3949038$79C53233-A916-4F2B-AC92-08D1D8BCF084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0a0fa045a8dad0e1965a9649eae336d5dafa4db","datavalue":{"value":"0488.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949038$7FC8F51F-7D75-4627-A968-C9E09BB2973B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cc204ab8ecc92591b3d4bc37f95f3f2142ba21d","datavalue":{"value":"10.2307/2273382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949038$FE39DB9A-B3CF-4EF7-8A9F-EDDAC166ED9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02ea38d82e6e91e6ecb26c5a646d2d5819422cbb","datavalue":{"value":{"entity-type":"item","numeric-id":211618,"id":"Q211618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949038$C1DE51C3-A677-41D0-B946-5DD4009AA09A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949038$A870681A-4DC9-447E-AC5E-CFC7BDB19890","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3949038$001C6ABC-685A-4858-A95B-77B2C7F477C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949038$5E645BDC-11F8-4C75-A52D-80A41D6666A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949038$3EBF7F07-AA0E-483C-AD7C-81BC412EA2DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15aa2c2ce0d4d92ca3485caabc03342e1eeef42d","datavalue":{"value":"3767639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949038$74BC60AC-1E3C-4653-87D6-F92821EEA517","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb353c6941ab9381bb133d9049be490a83b53c6","datavalue":{"value":"semantics for lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949038$641881E5-2C29-446D-83F8-9FEB49B13490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45f8abb6d1a861e1b12ff931b17eb98427540c13","datavalue":{"value":"categorical recursion-theoretic notions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949038$8C929C80-9776-4A0C-8F0B-B534A3765813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548265d31ddb7eadbf051bd3ac86a2e4f7220293","datavalue":{"value":"Goedel numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949038$DB893663-2679-434D-B8DB-09C6E4829E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c749382566fde2a36733805e29a02b512b2d71bc","datavalue":{"value":"uniformly reflexive structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949038$48B07ED2-44CD-4609-82FE-71FE48BFF3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"863a0938cb62bba8d215a2ad93b01b70db69f0a6","datavalue":{"value":"closed lambda-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949038$66C8DC85-834C-415C-98BC-9E8B3E50A905","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":"Q3949038$904F8B21-747A-4E10-8B51-5A9306253128","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42a412be0dbdfabeebf5291b3c7faeef06919a35","datavalue":{"value":"https://doi.org/10.2307/2273382","type":"string"},"datatype":"url"},"type":"statement","id":"Q3949038$21C164BF-C329-4971-AB78-2A70AA7F51ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"298e1ad0fc058090718363ca1b69d5d772d1aa50","datavalue":{"value":"W1996928519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949038$427ED4B6-2CFF-4F22-BC85-A88A0F447EF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949038$43B6AA54-A271-4E84-831A-9158F32F4238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13cba841f81957059fee7e6c91ff8bf05094d46","datavalue":{"value":{"entity-type":"item","numeric-id":3947651,"id":"Q3947651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949038$C51FB693-FA16-4876-9B0B-1B7F932D1A3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3949038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3949038"}}}}}