{"entities":{"Q1117018":{"pageid":1127767,"ns":120,"title":"Item:Q1117018","lastrevid":66163146,"modified":"2026-04-12T07:58:14Z","type":"item","id":"Q1117018","labels":{"en":{"language":"en","value":"E-ccc: Between ccc and topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4089773"}},"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":"Q1117018$2AACA8A6-509C-4F3E-B89B-2633E81CCDD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bc32e455f93ea19d9531415040a177670579ee7","datavalue":{"value":{"text":"E-ccc: Between ccc and topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1117018$C1ABF372-F6A5-4E53-A0F8-E9D83E82DA50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57b81e56aadba6358c16a9f3b7b58e38e0911c18","datavalue":{"value":"0666.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117018$61825CE7-07C7-49FD-8258-AE0F893BF8CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ef1c086bc6bcd1619c3688e56c14131b9181cc1","datavalue":{"value":"10.1016/0304-3975(89)90097-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117018$8A64CD35-9EB0-4B35-A6B1-6E68466F4C50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a546d84c30ce653f3f3eaa9d747c4d52f25f1ade","datavalue":{"value":{"entity-type":"item","numeric-id":276521,"id":"Q276521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117018$6841ABCF-4117-4998-8193-698D3F717D2B","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":"Q1117018$0885C71D-8AF9-4C32-A4AD-8F99ABAF1F02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1117018$EFD029F9-DC46-4EDE-993A-EB1895434817","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d70497f50fe59bafe1d99f60ff73e2c2ab33f4f","datavalue":{"value":"The cartesian closed category (ccc) and topos differ in both descriptive power and executability. The ccc cannot express the concept of subtypes, while it has the executable structure as a model of typed \\(\\lambda\\)- calculus. On the other hand, the topos has strong expressive power of subtypes, although it does not in general have a good correspondence to any computation system. This paper introduces the structure of e-ccc, as an intermediate of the ccc and topos. The e-ccc has the correspondence to the \\(\\lambda\\)-calculus based on an extended abstract data type theory and thus can be considered to be executable. Moreover, relations between e- ccc and ccc or topos are discussed. In particular, the topos is proved to be a specially-structured e-ccc.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117018$4330E832-91B6-4A14-8683-B0CA6B254CB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117018$B4FE3E30-2A33-4D69-8EE8-BC6B28379B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117018$F0AD624E-EA42-43C8-A556-86D12A6A38E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117018$456A8153-D886-4C46-ACB9-5CA9226B1FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117018$ECDAED44-7587-4470-A25E-DE8102530F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117018$74C0C1E2-37B9-4447-8955-4ED059712CD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9ec3dbcbf8553cc931e2d87bf21040cb790d61a","datavalue":{"value":"4089773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117018$21150C45-62F9-4481-98F4-4F3366CE7090","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c121b69deecbecad46a17d0e2d94bae14f79e5","datavalue":{"value":"cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117018$719F5340-4B8C-4CEF-BC8C-9C6AA18D86C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117018$ECC4E9C3-6444-4555-96A1-C8620B4D94A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1cd2458047df0db8f027ddb02873d761004dd82","datavalue":{"value":"executability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117018$9A583CB4-E151-48B0-A763-7CC04F0DDB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f9e828fa418c6207babe1d8ed540ae4a402ba7","datavalue":{"value":"e-ccc","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117018$DC2052B5-4C65-4DD9-8C0B-BA611BB65E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7d8633eefac0e992a83a3d60f5f139b26934b15","datavalue":{"value":"\\(\\lambda \\) - calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117018$436BB687-134C-4F0B-99C9-1DAADE3C6A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bca164e5529f34ee9294cdb8821d927b04044d89","datavalue":{"value":"extended abstract data type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117018$B65729DD-25FA-49C3-AFF6-F3818714B354","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":"Q1117018$89E73017-298D-4EC8-8E7D-921712E2C57F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0322ca6b12f3fd6a1802fe692f6df2387c29e26","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90097-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1117018$E169BB4E-F245-4901-8457-FE110270907C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"606f9b606e55e66577d1ef386ec2885bbce3be7d","datavalue":{"value":"W2054596121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117018$54EA1CD2-D63D-4A4A-B113-80093D3189AF","rank":"normal"}],"P223":[{"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":"Q1117018$1F857841-E04A-4D2E-B1BC-133C6DF3B7D7","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":"Q1117018$B45E3D62-4669-4306-84EA-03258FDC1A7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ed2694c1771590d4db4f361e73738a7b65f63de","datavalue":{"value":{"entity-type":"item","numeric-id":908685,"id":"Q908685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db36eaacab3b31c0cc7cc8a551c4d7e853abc84","datavalue":{"value":{"amount":"+0.9749061465263368","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":"Q1117018$3BD3C9EB-E2FD-46EC-870D-8F46E404B0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50a8d8645f2c4076890d8ecb7bf7f1bfa2cc3ff","datavalue":{"value":{"amount":"+0.7864532470703125","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":"Q1117018$D5FE914C-ACA9-4681-8B00-79F9A0B9B3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f2b9286104a720a844a3ed139e016c39da3207","datavalue":{"value":{"entity-type":"item","numeric-id":3677755,"id":"Q3677755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04bb1abba90e86c6129401dbebbbc1428da790f","datavalue":{"value":{"amount":"+0.7582324743270874","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":"Q1117018$B4E83442-B811-4E27-A39A-42BB580063B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f67830f841681e5e5e056c9b6a09218749b9915","datavalue":{"value":{"entity-type":"item","numeric-id":1121368,"id":"Q1121368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe60f389cf6107243f750c0c6e3dbc543883e88","datavalue":{"value":{"amount":"+0.7577661275863647","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":"Q1117018$6497F747-3DE3-412C-8B51-4BE8B8E7C927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a64f9fd6f1e5409551a26ee49cd56f091134dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3714050,"id":"Q3714050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2f9ca89d7ec0bb3386314a7a254c2c2ce0331b","datavalue":{"value":{"amount":"+0.753961443901062","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":"Q1117018$F0E09662-68BA-430E-81A8-C1848C4D2AC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"E-ccc: Between ccc and topos","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/E-ccc:_Between_ccc_and_topos"}}}}}