{"entities":{"Q914668":{"pageid":916516,"ns":120,"title":"Item:Q914668","lastrevid":65379144,"modified":"2026-04-12T02:11:24Z","type":"item","id":"Q914668","labels":{"en":{"language":"en","value":"A note on Russell's paradox in locally Cartesian closed categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150149"}},"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":"Q914668$B42BB84C-6A90-4B51-AA14-E2869828616E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee37e011adf076bf9a5166e93d8bacf171be7579","datavalue":{"value":{"text":"A note on Russell's paradox in locally Cartesian closed categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914668$8DC4EE1E-044B-44DB-84D4-BAF20D565097","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8682b76b32f856efac6f51029dbd6edcde0a6c6e","datavalue":{"value":"0702.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914668$92F67988-9406-434A-86BF-FEE38DFE8EB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75b15350a7d30df169170fb3bc62a74628356d7c","datavalue":{"value":"10.1007/BF00370830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914668$01031A6C-4A3A-489D-A4A0-B9067CC8C795","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d56612cb84f7069100c4cabafc4cc7f11973342","datavalue":{"value":{"entity-type":"item","numeric-id":914554,"id":"Q914554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914668$326B3488-9EF5-4A5F-A0D3-68D549C3223E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914668$B317A065-168F-496B-B53B-6EFBBD7A0211","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":"Q914668$ADE01FCA-9044-45EC-B41A-E3A1E366EECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914668$0B3516C3-3716-413B-927B-05A73C2978B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914668$42F89B68-6258-45BC-B5DC-912C9CACF7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914668$0B1FCECF-9352-4B21-A0FA-70883159211C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b07045bd66535c949a8f988b7e1bfec0a27ecd1b","datavalue":{"value":"4150149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914668$5D53AAE4-F162-4D80-AA17-A074396B571D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b2760ee8a5a747b5376205e2a7cd0fd7e6d1f8","datavalue":{"value":"generic morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q914668$1B2870F6-D361-421A-9082-EFA6B64E1B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294cfd01bf898017ea266a44036aff5e2afa85f1","datavalue":{"value":"fragment of Martin-L\u00f6f's extensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q914668$B867BD0F-873B-42C6-BC8E-9082930B3300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55876812c0cce355d828829240f780681bc021a8","datavalue":{"value":"Russell's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q914668$FD737BBB-F110-47F7-B2F8-84042E0E0B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5482c36838f8b1a883c77207a2da8bdf91e55e4","datavalue":{"value":"categorical version of the paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q914668$2ADB3011-2948-49D8-8AD5-AA487366B6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5965b70ac392b60acc8ec4061e8cc6b084b2519b","datavalue":{"value":"locally cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q914668$B0CF39DE-3B40-4FC7-AFFD-46D9FF63A2A0","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":"Q914668$5DC0BD9B-325F-4619-A3A0-5AB38821EC79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e661423e2ee77c1207d85b676f78b6f5c2d3066b","datavalue":{"value":{"entity-type":"item","numeric-id":3345748,"id":"Q3345748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914668$2314701C-64EF-4531-B8AD-5D180213593B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914668$0DA80A04-9B29-4C30-B783-EA351716B1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0442b615058ed1e151b3bf3d76d6cbfd1237be4d","datavalue":{"value":{"entity-type":"item","numeric-id":749648,"id":"Q749648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914668$A4574081-E6B1-47F3-9C53-FB28B85D26C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914668$4B36D655-0192-4912-BA30-AF2D96D2EA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6522c7daa9427301a7d70930f9e15b7076354da4","datavalue":{"value":{"entity-type":"item","numeric-id":1120558,"id":"Q1120558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914668$510DE03E-9CAA-4000-A5B3-15B78A0BE0E8","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":"Q914668$807B0F32-86A0-47BC-94DD-59F3F5A31F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914668$B509E95D-70F1-4297-BFFF-4491D52F26EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f26a27356d39f30de150c562ffeee04fbf14f0","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914668$9B8911E9-7AEA-49BE-A36E-5FDA8B54A420","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ee1e14afc5c2c3484223e1a971041b404dc02ec","datavalue":{"value":"https://doi.org/10.1007/bf00370830","type":"string"},"datatype":"url"},"type":"statement","id":"Q914668$2DEC1EDA-43E5-41FE-9D25-7989B2F16902","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59eced113af4292b120e7ebdaec6663372d87f1e","datavalue":{"value":"W1974294638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914668$14EE09D2-EEBC-46FD-9B44-1DB29AC4FD8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4086028ce12c888ded6c91a09820411d0f1685ca","datavalue":{"value":{"entity-type":"item","numeric-id":1204111,"id":"Q1204111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f289d9b4a0845d743de22da0b4bde45395f8ab8","datavalue":{"value":{"amount":"+0.7960035800933838","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":"Q914668$E16BBC77-458C-43D4-84C3-2EDC02832D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef02c4464ce96fa86ff5e42b80c0b6bbface31cd","datavalue":{"value":{"entity-type":"item","numeric-id":4325789,"id":"Q4325789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb51db74bf8a26b85dbd096540ba33adcc242e3","datavalue":{"value":{"amount":"+0.7955153584480286","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":"Q914668$F9C9D733-AF37-49FB-B2A2-EAA0B76058BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14c2734910bfc525ee73c0d1d15395b034a934e","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5a2a4e49de8b7ef5e81fbc12ff84837faa3d41","datavalue":{"value":{"amount":"+0.770275354385376","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":"Q914668$C1894D7B-C540-4616-88DC-37E62EC1E649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616f5d4128240f17ff9799537ace9f2781459e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4715672,"id":"Q4715672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0aa35a22432145c65157d94702ecebf47f678c8","datavalue":{"value":{"amount":"+0.7422495484352112","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":"Q914668$01466E05-2F16-484B-B90A-3221251D7DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a128e60408ea08682e915dcdd922a64b43686a","datavalue":{"value":{"entity-type":"item","numeric-id":3130308,"id":"Q3130308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989a48b25046dbaedcf5774f40fe56cd2731f03a","datavalue":{"value":{"amount":"+0.7422494888305664","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":"Q914668$B8FCB14F-AD96-491A-AAEE-EDC6C45B5824","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on Russell's paradox in locally Cartesian closed categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_Russell%27s_paradox_in_locally_Cartesian_closed_categories"}}}}}