{"entities":{"Q1208417":{"pageid":1219166,"ns":120,"title":"Item:Q1208417","lastrevid":67060224,"modified":"2026-04-12T14:41:52Z","type":"item","id":"Q1208417","labels":{"en":{"language":"en","value":"Principal types of BCK-lambda-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166428"}},"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":"Q1208417$7606C048-F8D7-4478-92CA-D5B79240DC46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b177d659d4847652e6498f5bc5917902254bb56a","datavalue":{"value":{"text":"Principal types of BCK-lambda-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208417$21476D20-E80E-4BE5-A8FB-A58383FDAFBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f7a974d61acefb5ba394611b994864e0be5b4b5","datavalue":{"value":"0770.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208417$7AA5C892-00C0-4C57-9E78-1D2C9AE13AD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4ef2c27a53c313981a2b67deb81b88c5d7d28a8","datavalue":{"value":"10.1016/0304-3975(93)90171-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208417$6318F74E-9244-4B92-BA5B-F324F1085A53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9126baf050ca2a9061dbf118bb26f3c0708e62a7","datavalue":{"value":{"entity-type":"item","numeric-id":1075051,"id":"Q1075051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$F50530AB-444E-4C17-BF77-9EBC7CCC647A","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":"Q1208417$B3F51F5D-6C22-4B57-84DF-7C8FD042BD47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208417$578EC228-5BF3-4765-AF26-0BF30743AA47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8266277aeb03bc67e0289889e9b43bd4bc42626","datavalue":{"value":"A BCK-\\(\\lambda\\)-term is one in which each variable appears at most once. A pair \\(\\langle B,\\alpha\\rangle\\) of a set of type assignments to variables \\(B\\) and a type \\(\\alpha\\), is said to be a principal pair if \\(B\\lvdash M: \\alpha'\\) whenever \\(\\alpha'\\) is a substitution instance of \\(\\alpha\\). If \\(B\\) is empty (and so \\(M\\) is closed), \\(\\alpha\\) is the principal type scheme of \\(M\\).   In this paper the author gives a characterization of principal pairs for BCK-\\(\\lambda\\)-terms using a new notion of ``connection'' between types in a type assignment figure. From this he is able to show that if two closed BCK-\\(\\lambda\\)-terms in \\(\\beta\\)-normal form have the same principal type then they are identical (modulo \\(\\alpha\\)-conversion).   A type \\(\\alpha\\) is BCK-minimal if it is not a nontrivial substitution instance of any BCK-type. It follows that if two closed BCK-\\(\\lambda\\)- terms in \\(\\beta\\)-normal form have the same minimal types then these are also identical (modulo \\(\\alpha\\)-conversion). This resolves a conjecture of Komori.   By the formulas as types isomorphism, it also follows that the corresponding minimal theorems of BCK-implicational logic have unique normalized proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208417$4D96552A-AA00-4030-B605-EC954CA3868F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208417$E4767FDE-930E-4542-9A78-E6AEEF2C1A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208417$C8262A6B-106B-490C-8412-B3C232109D77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4094e01db7f25883f4825f388b8fa5e43a0e8ce6","datavalue":{"value":"166428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208417$1342E5F4-4E03-42C3-B66A-E514DA4FB9C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"904b8dc593ec7666f3f583a27fb44d8e6bfcbe4d","datavalue":{"value":"BCK-minimal type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208417$2B36436F-F4D0-4B92-9D01-46E0A4EC4FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8203b138754f2b2e977e3ae33abb3c636367757","datavalue":{"value":"BCK-\\(\\lambda\\)-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208417$B86D4A80-6F64-4966-9BD4-7126AF99D78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d420422946df68c4ec0143d73ed8bbae1653a6","datavalue":{"value":"type assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208417$2EC4E626-1F5A-4AB8-B4AF-464628F9A558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4457b0a3f850554cedcdc256abc653b6581b787","datavalue":{"value":"principal type scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208417$E3751233-5C54-4198-9126-6FB1EF8CF0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6949bc2e626313b4d66f3b4903697418b2680a85","datavalue":{"value":"BCK-type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208417$5C283F85-D20E-474C-972D-DD0B1ECF8E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df67bdb600f9cb08a70ca5df2f28e833c1896f15","datavalue":{"value":"BCK-implicational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208417$E55444D6-7D67-422B-BF70-848D4C193E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d892f440be8e193223fff4980a1c8f4b67d5840e","datavalue":{"value":"normalized proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208417$529318E0-4B8B-49F6-9CF0-A7394AC79824","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$2D23C627-8751-4A02-AB23-F94F2E5004DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$C2DCB61C-1285-4B3D-A35A-BFB0CA2C996D","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":"Q1208417$27D3E650-57FF-4F05-99BD-B2F43713B154","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"920e8ebacca12825ff99be41b87c623a08d0d91b","datavalue":{"value":{"entity-type":"item","numeric-id":3866104,"id":"Q3866104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$376578B7-A100-49F2-BDD2-51A5BFF4674B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e000333dcb543c2ada64aaed9439f85a806e7ef7","datavalue":{"value":{"entity-type":"item","numeric-id":3691634,"id":"Q3691634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$8BB71BB9-7683-4607-86AA-3CA047776E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36ad4e7e181e8c0e916961c79f5e589c114be2d","datavalue":{"value":{"entity-type":"item","numeric-id":3352995,"id":"Q3352995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$1CE8EE2F-DB7D-4340-A704-9461746984F4","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":"Q1208417$0764EAE4-E423-411E-9627-4593C6FD6F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$E7B5F9FA-B71E-42D3-B197-0E1D9FF49308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89e1dea9ae54da61df976210a8364498b414bf","datavalue":{"value":{"entity-type":"item","numeric-id":1199823,"id":"Q1199823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$380DFDBD-43AC-485E-96C5-6B1B107CF1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$674E4BBF-CC89-4874-B80B-455BBD505800","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":"Q1208417$EB783620-4262-4587-A88F-ECDEBD84E8E4","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":"Q1208417$F16EDC1F-3D3E-40A6-9AED-D743BD779270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541df5043d969bbe39b98e72d10dc381a4d76079","datavalue":{"value":{"entity-type":"item","numeric-id":1309333,"id":"Q1309333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$4DD3F743-B5C2-4B07-923D-6CB8670B4A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe3b02d54ba595ff22780f05fff04326cc851a3","datavalue":{"value":{"entity-type":"item","numeric-id":3489979,"id":"Q3489979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$7A92415B-5AD7-488D-A14E-EE72F4319606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$9B5880F4-BF32-4352-AE0F-E5A5E2CDEDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25313d367058edb8143ccf81859fe214d888d1ea","datavalue":{"value":{"entity-type":"item","numeric-id":5723175,"id":"Q5723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$A3D1310B-A417-445F-A782-99A1807DAF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$EE1F0D84-55F2-41BF-BAED-FD0937FBB2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf9a5becde1f030fbea34624e2732a6c72c0051","datavalue":{"value":{"entity-type":"item","numeric-id":5096248,"id":"Q5096248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$72B2C7F3-B50A-48E3-8428-2360CAE210C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537667fd9a2c842c165a20eb060a758c59aa927d","datavalue":{"value":{"entity-type":"item","numeric-id":4740068,"id":"Q4740068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$9BDC73AD-B195-463B-93AA-83A5412C9BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1106d6067ed3eea0ed3a40f4bc54e1d7eb18d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":1181718,"id":"Q1181718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$8586D431-4876-4009-AA20-647B682D3A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$D760EDBD-AB4B-4ED7-BE68-38A7028E039A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$E00454E9-91E7-474E-999A-458DA69E02E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c328fb0d9a0f3076a1f2deb69e5f4d19e0d6bd","datavalue":{"value":{"entity-type":"item","numeric-id":1181717,"id":"Q1181717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$7D40DC4B-C866-4F1C-83CF-42476748082C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6a31ccd986ac68d738b4166a45d437dbce48cc","datavalue":{"value":{"entity-type":"item","numeric-id":4694214,"id":"Q4694214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$0D4FCE1B-49D9-497E-98C0-AD1FEE083CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$A3AD176C-7971-4B18-A15F-C48E274C5655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$ED9D2365-AF4E-4161-A8FD-7F77278D898B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f416b5bcfc200e5c8ed939a8affe19aff4a5498","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208417$8076DA9C-FC41-43C2-BA4C-4C9FB3656703","rank":"normal"}],"P1643":[{"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":"586cef8487bc761d86615c822c2c35b6a7727077","datavalue":{"value":{"amount":"+0.8748502731323242","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":"Q1208417$8DB81ED4-E18A-4EF8-911E-673E67C6BF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074bbcc461e3e39d13d52cc4ff416a1fa5a31657","datavalue":{"value":{"entity-type":"item","numeric-id":2757812,"id":"Q2757812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06be033d06ee647d83c635d31bec3e1ce0989326","datavalue":{"value":{"amount":"+0.857625424861908","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":"Q1208417$47A2FC44-5EF4-4C57-A2A1-8B0E56312B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e44b3219991e447b435c5f3112f546a4f643d56","datavalue":{"value":{"entity-type":"item","numeric-id":5096242,"id":"Q5096242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06233f6992cab171a8017bec511fe620641fa44","datavalue":{"value":{"amount":"+0.8471522331237793","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":"Q1208417$FCAD1C13-FA66-4643-B7BC-9C0224D2A46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16665f0c114d570f50b8a5afc346f37e39e5ecdb","datavalue":{"value":{"entity-type":"item","numeric-id":1583260,"id":"Q1583260"},"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":"Q1208417$935C1E7F-D14B-4E37-9332-EB9106C6CF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f08baa04f8803f6f81b02ce79bb9109cbf2d572","datavalue":{"value":{"entity-type":"item","numeric-id":4276173,"id":"Q4276173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07556a38df34c995a5f2006936dfa34aaf89ae32","datavalue":{"value":{"amount":"+0.801606297492981","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":"Q1208417$CC7ABAAA-82C5-4CED-B784-634CF4066D59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principal types of BCK-lambda-terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principal_types_of_BCK-lambda-terms"}}}}}