{"entities":{"Q1583260":{"pageid":1594000,"ns":120,"title":"Item:Q1583260","lastrevid":72720375,"modified":"2026-04-14T06:58:19Z","type":"item","id":"Q1583260","labels":{"en":{"language":"en","value":"On principal types of combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1521734"}},"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":"Q1583260$C7A64A55-580D-427D-ADEA-EFD02C8A5AA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"608bb1f4b80c4735bf1573eb6c3d66a43fd553f0","datavalue":{"value":{"text":"On principal types of combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583260$5596E128-7ABE-4FAD-A91F-A3AEAC879A5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04e253be8a53e15e8ad32053726a5d96f12f3944","datavalue":{"value":"0949.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583260$18AC49EE-B4D1-4C6B-8080-AB279821175E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a59b05ebd679a92836e96fc818d4952da77d216","datavalue":{"value":"10.1016/S0304-3975(99)00086-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583260$B485FD39-423C-4115-953B-B70650BD2BD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$D6DE35E6-C403-4C5B-9A59-4C667348C986","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ccf67db9ec606552e3b39a88e0b26e8e698006b","datavalue":{"value":{"time":"+2000-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1583260$9A04AB98-C57D-400F-9934-0814C46E5549","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583260$4401A576-F8DB-4E2E-8CFA-BA24C9FD7D11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"916fd1b2c10670d7f7a91d5ba5efac4c8d319c8c","datavalue":{"value":"1521734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583260$D0815C05-5951-4CC5-90E2-CA26E86C20AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583260$DBC71266-7BBC-485B-B81A-41D4C6CC09C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583260$A3289BF8-8042-4157-8B12-B9E08AD6F811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c653a71f23af399371cd608756125be556080e23","datavalue":{"value":"combinatory completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583260$A2C45965-CDD8-436B-BBFC-89301E06A8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b617518de0fe07cd6b2eacf7ca8fcc56d8879437","datavalue":{"value":"principal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583260$43566215-EF36-4388-884F-0AC9F4CC8A1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be40013d629abcf9c4dedf0b6f10313a658759f","datavalue":{"value":{"entity-type":"item","numeric-id":596032,"id":"Q596032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$8986FF89-F58F-4A20-ADE6-3F8852B9A57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2641b8e7fca864cf6fafc527fcb34eae8b18504","datavalue":{"value":{"entity-type":"item","numeric-id":596033,"id":"Q596033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$38E4EF93-AA54-423D-9019-B65DB2813788","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$5CF3C1CD-1F54-4CE6-ADF4-9226E2A5D819","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":"Q1583260$B1EC13EA-3684-4D2A-9EEC-336DAE072A8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$022B2012-9A09-4668-975B-54CE1648E563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$56A545F3-D9DD-42F3-AB30-7764FF9F5B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$C892E4FF-1166-42BE-A7CD-A7D4FF2F1897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$D1E201E4-DA70-4A02-A5A6-D10754FD2FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$FB7FC087-D7A9-44A1-B2D2-9E10E9017142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$9FE5E322-C300-4818-80EC-C0951F69CD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7093fa3fbfb32f6d1d937510e5cebefcb111743c","datavalue":{"value":{"entity-type":"item","numeric-id":1119620,"id":"Q1119620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$58EB25FE-93BA-433E-BDC5-332FDAA65CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad9c94e7533cf9a3a4dbb3d541a81e06befc84a","datavalue":{"value":{"entity-type":"item","numeric-id":1208417,"id":"Q1208417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$FCD94FE4-77C2-46BB-96EA-88DEAB2F8AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ebc0f6209cc7045ad31ca451c20be9f64638c4","datavalue":{"value":{"entity-type":"item","numeric-id":2524056,"id":"Q2524056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$BD150941-BF41-414E-B1AB-080B3C5374BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5b759001c42067c93f95a501eda133e25ed188","datavalue":{"value":{"entity-type":"item","numeric-id":1252340,"id":"Q1252340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$D0286DD1-ED5B-4C0A-A538-12F50C7E6031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2fbea673f26662d71cd92284ddfb47328cf19c","datavalue":{"value":{"entity-type":"item","numeric-id":1346635,"id":"Q1346635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583260$49E9D9D7-C4E8-49E9-9C96-C5A47BC4F205","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c18f5e04b1bcac254e08b9c3f5819600b9f4d55","datavalue":{"value":"Q126436569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583260$C38A91E0-CC59-49D9-A5B8-ED15CC5A23A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"187ff92d42602f902b8ba473d2b5013b03b78f7c","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00086-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1583260$821E2B30-2CC6-4C5D-842F-52BEEA7B430D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a3ec5d595759833e8c3fc24af76026cd0dd5768","datavalue":{"value":"W1973325143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583260$F0BE84C9-EFA9-4226-A406-4D80E5A1BD28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b497a8ef1b8892322ad4f3a47610623f41a8ecd8","datavalue":{"value":{"entity-type":"item","numeric-id":1208417,"id":"Q1208417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b7b7d7f65c1aeeec05202f720ac05235242ffa","datavalue":{"value":{"amount":"+0.824677050113678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583260$1B8C97C3-C2D6-4166-AA29-3EA6B31B2F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d38b991e3288c0f24981013a02fb25fd23630f7","datavalue":{"value":{"entity-type":"item","numeric-id":3612657,"id":"Q3612657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053c2bd8c06b59dcb0c3abfc287e06f65cd265c5","datavalue":{"value":{"amount":"+0.8224487900733948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583260$37201BA2-3010-4984-B569-ED88D2150A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd9701bc0bfa6aff66cc259356256549f6199ace","datavalue":{"value":{"entity-type":"item","numeric-id":3691634,"id":"Q3691634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf87c44773a976bf0a0f620cc4e5ff4de7bff3cd","datavalue":{"value":{"amount":"+0.8215176463127136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583260$5A13BA08-EA3F-4DEE-BBB8-BBAB131E5194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d168a66fd117563ce4a172562e9a3deae189c5","datavalue":{"value":{"entity-type":"item","numeric-id":1119620,"id":"Q1119620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2768ac745cdbdf33e9aac7dd4637ee59ee8b9e71","datavalue":{"value":{"amount":"+0.7960466146469116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583260$E85A77F6-869E-4EF8-844C-803132482385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac0ffc4d740d2fe94fd0ede65438b70791fd7e9","datavalue":{"value":{"entity-type":"item","numeric-id":4234770,"id":"Q4234770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8298489522f6ed4d89c27bc4f671a2b38bc4945","datavalue":{"value":{"amount":"+0.7884722352027893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583260$EE5681E5-0CB7-41AF-98FE-3A740A19F682","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On principal types of combinators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_principal_types_of_combinators"}}}}}