{"entities":{"Q3936712":{"pageid":5966617,"ns":120,"title":"Item:Q3936712","lastrevid":55038625,"modified":"2026-02-03T01:55:44Z","type":"item","id":"Q3936712","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752816"}},"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":"Q3936712$2EF1CB08-B9D0-4053-A441-3822D2144247","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51c397955ec24da616068b09431ff78e6e22274e","datavalue":{"value":"0479.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936712$3C278642-F86C-4E17-8D01-8D10DFAA72AF","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":"Q3936712$E084D513-2DC2-4BA5-BF4E-AAA9F645034B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936712$32B9E2DA-95AD-4521-877A-9E7B38FBDCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936712$36DB64E1-5353-4BBB-B086-40510CDDC5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936712$F7AA65DC-EEF4-4FCF-891C-CE6CBCF30F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936712$124D87A0-B246-4A6C-9C45-A091041872BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"930b1204a42b78bfdf076849d82f240174eb72f7","datavalue":{"value":"3752816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936712$4478EFAD-2D87-45EA-AC2A-F648E5A49FC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c5b6d4e8ad8279c4c58c2ebaa2f080fbeaaad2","datavalue":{"value":"lambda conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$A97B323D-350D-43F0-AC8F-D94BB5AC6DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35a967a7352fc43035fcd9bcbc73cd3ac5cabf7","datavalue":{"value":"motivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$7397C5BD-EBC6-418A-B937-95AB27FEB4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68a9313ffa24a57c38f9c7ce0d65729ff7416221","datavalue":{"value":"replies to criticisms of combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$376D4DA8-FF11-425F-9148-D1A8E3B03321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$57911289-BD5A-45FF-B990-D9FDC856DA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$95BE7122-AC11-4D3D-9C26-510A81FE372F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$90D37AF1-5F37-46CA-8F94-E2CC728AD9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938c878ddf2af058e6cf0c71a93eb2200f78c7d3","datavalue":{"value":"combinatory arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$8657F12E-F5BB-44F2-8BA6-FFE64DE49A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83df4fb2317fb4f07167bab99677f36891f7fdb0","datavalue":{"value":"illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$75E0E750-842C-4919-9CCB-9B908F75DA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05e916b15350d10edd2ff42b9505c5aae42957fe","datavalue":{"value":"realizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$8BB44366-35E0-4E6A-A7F6-C6342B3986F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1faf8468e79a01663beec97348aa6b18da393113","datavalue":{"value":"representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$3DCE5FE7-1058-4D92-B872-0E1CA126EEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$C110D716-4ABD-44A7-A062-1159A58BE1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211c0a282ed1c362ea9e705108f2140d599deb1b","datavalue":{"value":"assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936712$AB6E9AA7-0104-42D8-9905-F113A377801A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7119532effe095ac0ad4ad19f7f7e1492a6f80f","datavalue":{"value":{"entity-type":"item","numeric-id":769599,"id":"Q769599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936712$4F2B29E5-3872-4C89-801B-D7BBA90C483C","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":"Q3936712$BB5DFBE5-88EC-438C-9F39-2428151D8A91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3936712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3936712"}}}}}