{"entities":{"Q2603371":{"pageid":2614114,"ns":120,"title":"Item:Q2603371","lastrevid":44459754,"modified":"2025-11-23T02:48:02Z","type":"item","id":"Q2603371","labels":{"en":{"language":"en","value":"The \\(p\\)-function in \\(\\lambda\\)-\\(K\\)-conversion."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2522538"}},"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":"Q2603371$064B3D60-7194-4F5F-A1CE-6D43AFD703E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b2a31caf16c97b040d5ea38a23de07fe8adfd5d","datavalue":{"value":{"text":"The \\(p\\)-function in \\(\\lambda\\)-\\(K\\)-conversion.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2603371$99862DC7-79AE-4E04-B8D7-EDCE94561F7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3b4d5bb285496274e5dc609c94064d5134262c6","datavalue":{"value":"63.0825.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603371$64209FF2-B671-4F88-BFB0-A62E42933761","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69a332dfa58ccfaf3be4cb35df200534844fb619","datavalue":{"value":"10.2307/2268281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603371$C0DE1872-84CC-492C-9992-C238BE88960E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0355dbed6289ee949e5a70974729934b3a9b008","datavalue":{"value":{"entity-type":"item","numeric-id":2593897,"id":"Q2593897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2603371$6717844A-76B9-4620-941C-F0F5CCA649F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-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":"Q2603371$182629EE-DC09-46AF-B704-8ADCF843D7D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00242f884a8cdd7ebd0ae0f58a917a50398ed9ff","datavalue":{"value":"In der Theorie der ``conversion'' ist es wichtig, eine Funktion zu bilden, die jeder nat\u00fcrlichen Zahl \\(n\\) die kleinste nat\u00fcrliche Zahl einer gewissen Beschaffenheit \\({}\\geqq n\\) zuordnet. Verf. will eine Formel, die eine solche Funktion darstellt, mit Hilfe der \\(\\lambda\\)-\\(K\\)-conversion bilden, was besonders einfach ist. Wenn \\(\\boldsymbol T\\) eine Formel ist, f\u00fcr welche \\(\\boldsymbol T(\\boldsymbol n)\\) in eine Formel ``convertible'' ist, die eine nat\u00fcrliche Zahl darstellt, so oft \\(\\boldsymbol n\\) eine solche darstellt, so findet er eine Formel \\(\\mathfrak p\\) derart, da\u00df \\(\\mathfrak p(\\boldsymbol T,\\boldsymbol r)\\) in eine Formel \\(\\boldsymbol q\\) ``convertible'' ist, welche die kleinste nat\u00fcrliche Zahl \\(q\\geqq r\\) darstellt, f\u00fcr die \\(\\boldsymbol T(\\boldsymbol q)\\) in 0 ``convertible'' ist. Er findet auch eine Formel \\(P(\\boldsymbol T,\\boldsymbol n)\\), die in eine Formel ``convertible'' ist, welche die \\(n\\)-te nat\u00fcrliche Zahl \\(q\\) darstellt, f\u00fcr welche \\(\\boldsymbol T(\\boldsymbol q)\\) in 0 ``convertible'' ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2603371$0F03452B-41A8-477B-9C03-56EE737202F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baca48a6858c3a941abbef44e4b111d49d1ce70b","datavalue":{"value":"2522538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603371$FF24DE8D-661C-4B86-A7D5-160D1DB68D9A","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":"Q2603371$5DDF6BC6-8592-4367-B8C4-717BAB1360E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9f7d4b2207728e08b18a2786715c676091b5aad","datavalue":{"value":"https://doi.org/10.2307/2268281","type":"string"},"datatype":"url"},"type":"statement","id":"Q2603371$38E77234-F6CF-4DBE-9284-6274C987196B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df7624adb3e7023ca83b7d8ce3156d2c765e88e1","datavalue":{"value":"W2798583139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603371$4E48F420-DB8B-4694-BDD9-177CB0029FAA","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":"Q2603371$0577C163-9A38-4649-8147-0E5F49F4F2D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2603371","badges":[]}}}}}