{"entities":{"Q3612657":{"pageid":5642563,"ns":120,"title":"Item:Q3612657","lastrevid":87509009,"modified":"2026-06-04T11:51:27Z","type":"item","id":"Q3612657","labels":{"en":{"language":"en","value":"On Principal Types of BCK-\u03bb-Terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527402"}},"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":"Q3612657$FA377237-8656-4155-BB21-2AE9DA424C86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dbd7ca20385ac7bfc37da5386e2a56aa2e7aea8","datavalue":{"value":{"text":"On Principal Types of BCK-\u03bb-Terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612657$1A162CFA-9F7F-4E62-A74C-B9A653A82423","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"320ecc69bee9a2dbb31c32cbaef37151b3222eac","datavalue":{"value":"1213.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612657$8678B6F8-43CA-4A1A-B5E3-8E77443F422F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7aa9ee5a5d9340be164b7e686232f5175302a66e","datavalue":{"value":"10.1007/978-3-540-73445-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612657$1970A473-8700-4410-A7C3-A568B18D084A","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":"Q3612657$D5FBF1DB-BC90-4A37-813B-F94E126EB2E5","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":"Q3612657$7CA52F61-B5DE-4C19-8FEA-7C705FB3E15B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612657$9FAE87AC-E05B-4ED2-BE56-826909E06CB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612657$E7D576AF-155B-49DF-9952-B002AA85030D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612657$A57DF163-2B92-4080-A0E9-976ED82E0C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612657$069D3B34-7F6E-49B1-99FD-1743000D0165","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f73b0885e28a8d2b634f4dc563d53f69cb4ed92","datavalue":{"value":"5527402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612657$6249C63D-A866-4CD3-A8A4-CB58731C4F9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612657$C763BC76-24E0-461B-BEE2-6038A306BE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b617518de0fe07cd6b2eacf7ca8fcc56d8879437","datavalue":{"value":"principal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612657$33A8BF85-787A-4619-ABC3-1A2B9BF48DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a61d7ec620b66704726e7817958aed3ce437d3d","datavalue":{"value":"condensed BCK-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612657$9F9B8797-CD31-4944-A081-FD5602DC36F0","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":"Q3612657$9785EC4F-651B-426F-8242-B6156CEB3BE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fc5e435dbe2481b73dfe3ec4348ad766de9e2f6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73445-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612657$0D8E5A50-24AA-4715-AE9E-A9A5BA095598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9abb6cf678226c5cbe0f99e5ff85ae81e542ba16","datavalue":{"value":"W13332674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612657$3F9FB8F7-FF95-49D4-AE95-CF3A765A9944","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":"6d79ea28eae33521fe9b93355ab53cd5f1cb1d06","datavalue":{"value":{"amount":"+0.8767335414886475","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":"Q3612657$D240E3FC-B018-4A16-A7D3-3749FA9326AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bac766ed14dedbcde87a911f826321c62fc99d","datavalue":{"value":{"entity-type":"item","numeric-id":4499281,"id":"Q4499281"},"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":"Q3612657$C1D9D683-AAC5-4D99-929C-D0C32C761234","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":"b8bb1e124beae1c39660aa4bd076833a0e338cec","datavalue":{"value":{"amount":"+0.8605496287345886","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":"Q3612657$FCB41F47-3445-4BFF-9032-FACCA9E0D40A","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":"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":"Q3612657$3284FCBE-0CD1-4737-B923-FDED6840D1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7715d37aa83c72d0cc85449b40f0f2827adb54","datavalue":{"value":{"entity-type":"item","numeric-id":3352995,"id":"Q3352995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b9252553f57ec530e8094f47921c0a172cce74","datavalue":{"value":{"amount":"+0.8130252957344055","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":"Q3612657$E1FC31A6-5091-4E7D-B200-87289CB48F1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Principal Types of BCK-\u03bb-Terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Principal_Types_of_BCK-%CE%BB-Terms"}}}}}