{"entities":{"Q3922646":{"pageid":5952551,"ns":120,"title":"Item:Q3922646","lastrevid":55006291,"modified":"2026-02-02T18:10:06Z","type":"item","id":"Q3922646","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735770"}},"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":"Q3922646$40A74976-6E38-4831-B1DB-5135502F1332","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7554fb0f1f3a9600c326ded3361d220746f59a6","datavalue":{"value":"0469.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922646$86A1D909-840B-49AC-9223-A76C51C616AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3922646$838373A9-83FD-4D59-956C-0F97BEE48723","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922646$6A6DAB9B-63F3-4C33-A8D8-CF0B0DB39D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922646$87747582-309C-4750-82A3-FCA27170AB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922646$44C49F3B-4962-42E3-AAE0-D28B7A7B5CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922646$0BFCD63B-4EA0-4791-84FB-001610F363F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922646$E8D8AACF-5046-4FAF-A2BD-FB816F4E4395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922646$C9E6FE8C-EADE-4227-9935-3B61AD44562B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60cc2ddb61cb2d3a98e0eeb4e569697e33d19906","datavalue":{"value":"3735770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922646$4FE74B95-196A-495C-8338-1D01555CCAA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a2370f8838d48908c2253a343443b2eeddcd1a","datavalue":{"value":"models of lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$65B7C96A-346A-4277-BDA6-EDD626EB569C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06e7f7e9947d25720c7a78349800f0404f517cf6","datavalue":{"value":"combinatorial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$FF3BD5CD-F0CE-40CC-92B0-7E790E761865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$6C151945-952B-4C39-A717-78D96D1446B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf9cf23f216ede957f818348198c0a32d9932bd","datavalue":{"value":"typed terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$1B85AAEC-7B04-4AB2-B898-62127D9C8BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8392759b763994d09255f698514a665f5ba3287","datavalue":{"value":"biography and complete bibliography of H. B. Curry","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$CCF3F37D-89D7-40A1-B5AD-EFC459809DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"287b5bd3a0f31b9b3ea81813c6c62d9149aed22e","datavalue":{"value":"Curry's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$43F3ADF2-4817-4CC8-A1E9-711F12EC4A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83df4fb2317fb4f07167bab99677f36891f7fdb0","datavalue":{"value":"illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$494D0F71-B504-4A58-80C8-33F08CE32ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$64E298BD-8FD2-458D-8EAD-D3D0ED3DF5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2221e0d12447568b2080a2fec1117c79e4b2ebb6","datavalue":{"value":"extensions of combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$D25179B1-551A-4C29-99C1-2086F635DAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$0F0EB2A2-C09D-40D7-A752-7CBBB3D67D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$A46CD3F1-87CB-4FDA-92C9-06EDF4C85C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$44E4EEE9-BB2B-4427-8684-FEDC6B519EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3624fdd80a27cc35fe110e55115b15be6080f2b7","datavalue":{"value":"domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$B5CF6D29-3C79-463D-9228-57A534794235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adc57b98120cbcac6e8d3e7f6a2c462a6c484148","datavalue":{"value":"type-free theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$ED75E955-B355-4491-8CAE-12AC5DD2C8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5b5bc8c50e8064205c18fb98545cc4a57481c8c","datavalue":{"value":"reflexive domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$2D3B95DB-8D00-4404-9C93-CEE677D1B6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$FF373D16-ACE1-4707-9ECE-015B0BA8F515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa18590fcb750b5f18709be8309265291250a544","datavalue":{"value":"formulae-as-types notion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$DB7554A7-5B21-4AF7-8798-8A205AEED990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8ae46c7c7e7c48a7aca371eafa99e115ca7dae","datavalue":{"value":"automath","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922646$E511ADEB-16B5-43D5-8033-7FA91D79E3DA","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":"Q3922646$C180D35E-4E4F-4808-A2ED-0FC71D7D74C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3922646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3922646"}}}}}