{"entities":{"Q5287682":{"pageid":7317256,"ns":120,"title":"Item:Q5287682","lastrevid":46293687,"modified":"2025-12-24T12:26:19Z","type":"item","id":"Q5287682","labels":{"en":{"language":"en","value":"Constructive set theoretic models of typed combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 238209"}},"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":"Q5287682$FE41B97F-107A-4A29-A6F5-B1B963EB9AE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6ced860f28e4d86665dbae5ed2c2ca1d65b5342","datavalue":{"value":{"text":"Constructive set theoretic models of typed combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5287682$FC082C30-EA4E-46CF-AF64-1694B24DDA78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5eedf943649e1efdda504d6ad48e8d58b63adb44","datavalue":{"value":"0787.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287682$08184CC9-0E3D-485F-B7F2-BF888AD86B93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49bae3e398f67cda85f19d79bd90265e01a45d62","datavalue":{"value":"10.2307/2275327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287682$53F44169-0A5F-41B4-94E9-936CF4F9E2CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd53455df3ac5a0ff7f364a7affc26e03bf573ca","datavalue":{"value":{"entity-type":"item","numeric-id":1192621,"id":"Q1192621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287682$6BB59AE6-41FA-4076-9B74-DC2BAFF52551","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287682$A195DC09-718C-438D-8E34-52BB64B45B7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f591d0602ae4e2a85ee551e3fcfd046a3335ee2b","datavalue":{"value":{"time":"+1993-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5287682$6A0D0115-CD06-43F3-8665-F0154E6CE049","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287682$A9A089C4-3326-41FB-BFA1-22190495D48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287682$15B44964-8450-4863-8E48-7B935337473F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287682$B013F052-CD31-438F-81B0-8A97D98579AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8944054cba90f28e0273fb7c00c4169d25198334","datavalue":{"value":"238209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287682$70F30401-A60E-47A2-BF65-B6311203918C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09df2ceeee040acb05f77f46b59ca348512191a3","datavalue":{"value":"simply typed combinatory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287682$1E0ECCD7-F967-4D2D-ABBD-2E9D49725DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c993d42551a170898265750e1e830cbc61ad1eee","datavalue":{"value":"extension models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287682$983E4F47-78F2-4BDD-9F5D-BA2A27F69A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffb333e6136e6ab8098fb1bf81a45688400a581d","datavalue":{"value":"subalgebras of full function space models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287682$A333226F-0A5C-42E5-B133-ECF5968C76DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae6a274001933507b3c7c84e3f23b59c7e0e020","datavalue":{"value":"space of singletons","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287682$C57F2427-AC4E-435E-82DC-F0FA78121C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287682$66D2C30A-0104-4F16-8AFA-7C3675C581F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011d259587fd59f274ad7f775170f0b91f8010d8","datavalue":{"value":"simply typed combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287682$C8BDF307-6E56-43C6-83CA-F3FFED1DA303","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":"Q5287682$F2D6F3DB-7E01-4FD7-B847-B3F42B2FC813","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d999385e9277af5b770bbea9357cc5a6d3ba17a","datavalue":{"value":"https://doi.org/10.2307/2275327","type":"string"},"datatype":"url"},"type":"statement","id":"Q5287682$27856517-5C97-47E0-8B87-730C2EC5B847","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a98f5462a85cfa8f0ee9dce3a2aeded196d764f0","datavalue":{"value":"W1985303023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287682$89D2BC0E-3246-43B5-9B92-9E03612CDB38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc1dec39facf5a4f590993765c1c92bc2c913d3","datavalue":{"value":{"entity-type":"item","numeric-id":1145695,"id":"Q1145695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287682$A2847AEC-4727-42D7-A154-5C2D013E1841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61472697d4f2ac5261ad04740698680696d17d80","datavalue":{"value":{"entity-type":"item","numeric-id":4146730,"id":"Q4146730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287682$B40A5870-B7C4-44D6-B84A-169C61CE1BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287682$10E831A4-84C1-4091-AC54-8FA681A77B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287682$94404A27-83AA-4FF2-9EF6-DF36FB16179D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287682$E6D26B8D-D2B5-4E80-A5D0-F714458508E9","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":"Q5287682$BC977486-135B-48C2-B985-2874F2474F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11c026c450b602382d1cec20bd638ffdc192eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2535386,"id":"Q2535386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287682$F5E648AA-20F7-40A6-86C5-5E20F7338BF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84a3b31326a6f2cbeffd94be3c08f9554da6555a","datavalue":{"value":{"entity-type":"item","numeric-id":3755431,"id":"Q3755431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17d0f46b2907a335c2779a9f8c51fc5fc7d2d49","datavalue":{"value":{"amount":"+0.7722464203834534","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":"Q5287682$3679F59E-3610-4A84-B667-6B74CEFD322C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbd848bc04dd79b349b04c731ea0ea452535ba3","datavalue":{"value":{"entity-type":"item","numeric-id":2878782,"id":"Q2878782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f96455a47b41c6fd3c46a214eed386b57586ea","datavalue":{"value":{"amount":"+0.7377626299858093","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":"Q5287682$579BC71E-0103-48BE-8FED-C2B9D66CEF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d12697fcf78c7ba096a1c54eec3a66c9d7b305f","datavalue":{"value":{"entity-type":"item","numeric-id":4501148,"id":"Q4501148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf618689747d983fe16e9e1088e20b264befdc6","datavalue":{"value":{"amount":"+0.727234423160553","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":"Q5287682$A92F9781-2430-4BC1-B7FF-E6E8CA5A307E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919b13066ed1d5093b8682e4a7a0bfcf93fc324","datavalue":{"value":{"entity-type":"item","numeric-id":4726221,"id":"Q4726221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddfb979a059422b778d8ab28481064099602673e","datavalue":{"value":{"amount":"+0.7259681820869446","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":"Q5287682$2AC25A42-644B-4907-B908-3D9C3EDD517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00a4a30e1ccba03cda9f8d477d17f4f922ea58c","datavalue":{"value":{"entity-type":"item","numeric-id":760416,"id":"Q760416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e0f0ec10569ee42d410975a229c8dddeab205f","datavalue":{"value":{"amount":"+0.7227503657341003","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":"Q5287682$0ADF9C1B-C5ED-4E49-83A1-C19CF90AD244","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5287682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5287682"}}}}}