{"entities":{"Q1182485":{"pageid":1193234,"ns":120,"title":"Item:Q1182485","lastrevid":66441753,"modified":"2026-04-12T10:05:36Z","type":"item","id":"Q1182485","labels":{"en":{"language":"en","value":"Finite type structures within combinatory algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31352"}},"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":"Q1182485$D48934F1-2043-44E7-B381-C794A9E2707C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d55df464a2619f596746ba164a3a7d3d147950e3","datavalue":{"value":{"text":"Finite type structures within combinatory algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182485$A403EBCD-6A74-4FDC-9375-4B91721CF4FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d9407cf979bdbfe2f586e1997d2cb30d830ef6f","datavalue":{"value":"0748.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182485$5274CA19-2362-448C-A297-245E20450504","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2b4529474c4e6666fa767de79c28d54d0d2b739","datavalue":{"value":"10.1016/0168-0072(91)90004-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182485$BB2AB8BB-3FE7-4653-910F-43EBF94EA2A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c67698e0a14d923954ed78046dcfa863c0d3c0be","datavalue":{"value":{"entity-type":"item","numeric-id":538467,"id":"Q538467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$4B4D1AC2-70D3-4947-A7CC-FAB1B61C1D1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$133BDBE9-6FA8-4492-A934-17AD57050F0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182485$C5C15ECA-0E73-4B30-88B4-B2F45645CB65","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b2a6954903b4363d569974e95adfe2fbd2a9eb7","datavalue":{"value":"Inside a combinatory algebra (ca), the author defines certain intensional and extensional type structures over \\(\\omega\\). (Note: in the definition of \\(ET_{n+1}\\) a subscript 0 is missing from =.) If these classes coincide the algebra is called ft-extensional. Criteria for ft- extensionality are given and some well known ca's including \\(D_ A,\\;P_ \\omega,\\;T^ \\omega,\\;H_ \\omega\\) and certain \\(D_ \\infty\\)-models are shown to be ft-extensional. Examples of ca's without this property are given. Finally ft-extensionality is compared to and shown to be independent of extensionality and weak extensionality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182485$C7405C19-ABCB-40D9-AE26-32FB8995296C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182485$E84C18F5-38BA-4150-81B1-0BA1D6C8D6AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c534a11c776b3923e00ed3e73a63d2ab76b0f29d","datavalue":{"value":"31352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182485$7501EC8B-EC0C-4509-9DDA-CD57061D6CA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932a25298e83e2c06e414323ce5798a3788b66bf","datavalue":{"value":"combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182485$CCE25D32-EA5F-4CA0-AB2D-F1308A32E4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee85ef68a8f6c254cedcb4be71f63e93d1f63ac7","datavalue":{"value":"type structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182485$B5DA38F1-541F-48A2-9362-5F2F7971338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922459764c9956d4d445eca968815e10051d5c26","datavalue":{"value":"ft-extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182485$AC45B126-814C-4D99-882A-A3D7077F1803","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":"Q1182485$99631368-E72A-4A5E-B6E2-FF12DE7911CB","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":"Q1182485$1DBD216A-F6C3-4772-8D55-ECA71C5A639A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb128f6556ebcc2bf71ae1ed3f02c266a200fa83","datavalue":{"value":"https://doi.org/10.1016/0168-0072(91)90004-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1182485$C5F06791-950C-4C53-BFC8-A1CD727BC64B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faf90e58fe2f5ac8cb11d211712d089d2b840349","datavalue":{"value":"W2064861136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182485$3D59102A-4E79-4428-8A35-3C74C9CC566F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$58474A32-60F4-48D0-9B51-682933D4DEFC","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":"Q1182485$35460070-464F-43A6-BAD7-CFB44BBA08CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$18C2FB99-6766-4D7E-BB32-0D27937AA52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$5DB2F8AA-06EF-4424-8E79-A2ACC54F5C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793537b40e35a4601ea9ee225d2ec2d162d6b4e9","datavalue":{"value":{"entity-type":"item","numeric-id":1162534,"id":"Q1162534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$ECC2690D-E8BF-4B33-8B01-64E927275DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$E0AEEC58-362A-4814-B716-290BDAE1C3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$C1AC2D29-4BDA-4247-AA4C-2BFD70921778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242e8141c70c013ebf3853041ebcdb346472a331","datavalue":{"value":{"entity-type":"item","numeric-id":3221959,"id":"Q3221959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$8BA28308-A15E-4837-8426-6F1FFC49B2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$99D9DD1D-1580-47DD-A512-4E7A88EB1F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$DFCC8DFC-2738-43D8-BDC2-344B73317F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00c937a42ef2cd6e28458a67bb2f11ec1b7f83a","datavalue":{"value":{"entity-type":"item","numeric-id":3206935,"id":"Q3206935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$A7FE4AD0-5E01-4120-9B9A-1EC9F9B78AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$7C2F2CC4-9850-42BC-A290-512DFD5C8C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dafd8c18c926d44a49321f5aa598cd3d6aef54","datavalue":{"value":{"entity-type":"item","numeric-id":4083398,"id":"Q4083398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182485$FFD0579E-0F30-49E1-A848-F74D87D9074B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9dcf3fa8580c62a2f5a5a41ac295dca94c94b96d","datavalue":{"value":"Q126388420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182485$546CCBC8-F20E-4A5E-AA30-2A7C61D1639E","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":"85881e2cc724ad8d6008c8280675cbfdaaedb3bd","datavalue":{"value":{"amount":"+0.8074231147766113","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":"Q1182485$FB28A1F5-43CC-4BEA-A644-4D2CE5D7766B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee116752d41de64134d22bf3f2c3e076734c4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4938567,"id":"Q4938567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5245eb7ab6140372a29cddae4822f2c529ea8e48","datavalue":{"value":{"amount":"+0.78681480884552","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":"Q1182485$E48CABB8-21F7-4C68-9C60-4E0E8DF4E722","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":"56f3338f8efc0895f7c2aa6ed0421939057d6572","datavalue":{"value":{"amount":"+0.7728193402290344","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":"Q1182485$505A93BC-F0B6-4C01-92D1-42EF52A6C71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2613c3e87d01a11ddc30b28a2042faccc25e1283","datavalue":{"value":{"entity-type":"item","numeric-id":3787976,"id":"Q3787976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5113ac9ae030433efab2628aa08b645854514a","datavalue":{"value":{"amount":"+0.7444233298301697","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":"Q1182485$88CD36F2-BB59-4030-B70D-D155455C2429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb9446c427815db14f6cf176da907f97d0a4d95","datavalue":{"value":{"entity-type":"item","numeric-id":4207884,"id":"Q4207884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9187becefa9679e9f2dd040468f7bb89bd606a1","datavalue":{"value":{"amount":"+0.7392168045043945","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":"Q1182485$FF50748D-5CFC-4F72-A4D5-6B7176A119FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite type structures within combinatory algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_type_structures_within_combinatory_algebras"}}}}}