{"entities":{"Q1702983":{"pageid":1713724,"ns":120,"title":"Item:Q1702983","lastrevid":72117573,"modified":"2026-04-14T02:45:28Z","type":"item","id":"Q1702983","labels":{"en":{"language":"en","value":"Approximating Cartesian closed categories in NF-style set theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845738"}},"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":"Q1702983$79FAD5EE-3E3B-4798-975C-EB8AD1AD8BE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4ad67a80bdfd7602d963aaf1e919c3d83d55729","datavalue":{"value":{"text":"Approximating Cartesian closed categories in NF-style set theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702983$634DA8AF-15AB-4C12-B37A-21599FA7FAD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f565075ccee2d3ffe2e871488089afd152f7229b","datavalue":{"value":"1436.03269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702983$B776A477-F26E-4D80-BF61-FC84ECD57FD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0abf21459afdcdb000d83175ee06c6d9ea9aa9a","datavalue":{"value":{"entity-type":"item","numeric-id":496324,"id":"Q496324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702983$D11DAA48-F51E-4536-A0EB-7D121E3E6456","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702983$4D8C8F55-C71A-4089-BE5B-2172DC894B8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702983$93BDFB06-B8A1-468D-A6D4-7D7A6C6533B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702983$D2663D45-A1B1-4896-B9F6-655AD45FF17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702983$84A7BAE8-25F0-4FB3-A4FF-0BE3A80012B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63a627da3f93f64d02e4d80f210eea3af397f45c","datavalue":{"value":"6845738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702983$36AFD7F9-FA14-4A42-AF5B-A4370CF97B6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c0edfa984d51f88f95da89e4ecd6fa0cbd2745","datavalue":{"value":"new foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702983$295BD5DD-2587-41B2-A112-A3339E33F3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702983$1A01077F-0654-4639-8948-012C823B5A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702983$3AF85A8D-4E7B-4206-8DAE-50C7AC59BF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702983$B8F671AD-4C61-444D-A937-F40D135AD3C8","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":"Q1702983$253DD568-746D-40EA-B956-C83F3B5C1DF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1feaa4d1a998022564a9d2db859e491cc1b781f5","datavalue":{"value":"https://doi.org/10.1007/s10992-017-9425-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702983$37AA69E6-1E8D-494A-A65A-9C91F59872AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"727d14779fad837fc573535c6b6e945045400c3c","datavalue":{"value":"W2581496119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702983$58D13756-1F09-4C14-9599-484DD66F7780","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ec67f33523fd16e5ef1daca8ca20ac629a929c","datavalue":{"value":{"entity-type":"item","numeric-id":4289237,"id":"Q4289237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702983$198ABAE6-1CF7-4038-BDC7-30D9833FD1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82879248dadd253c04ced3c10dddd38667f5dcd0","datavalue":{"value":{"entity-type":"item","numeric-id":4956001,"id":"Q4956001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702983$E7FD16AE-41DF-4EF9-A529-27577F1DBD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5155f3770ecaf73629e9ee72eb4b0bcb967ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2541215,"id":"Q2541215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702983$E37F1BA2-6010-4FD2-9A78-1B0AFE8FBF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6300dd7b6225caff58a4e5c91ce54f890d552e9","datavalue":{"value":{"entity-type":"item","numeric-id":4032641,"id":"Q4032641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702983$B043EF43-575D-46F9-A794-D723422F8840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ef55dcefacf92ddb0a54ab155052e566f997f5","datavalue":{"value":{"entity-type":"item","numeric-id":5819559,"id":"Q5819559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702983$E58021A9-EF09-4A82-8C56-0F1EDA96E4B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99beca2166449ffd8e94d0b0febfff6dc26bdc33","datavalue":{"value":"10.1007/S10992-017-9425-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702983$8D4E3AA7-C2AA-41EB-8464-6AB58CCDE128","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83413ed31db4c1d8ca2d93aebcf8cd538c02ed8a","datavalue":{"value":{"entity-type":"item","numeric-id":4032641,"id":"Q4032641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d736376f992d6ec27109f18775b46c1bf1ef9f23","datavalue":{"value":{"amount":"+0.8865556716918945","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":"Q1702983$979E70C2-123D-4CE2-B06A-C095912FD76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa1be289dace04ecc1da44e5e041443bee498f29","datavalue":{"value":{"entity-type":"item","numeric-id":2926202,"id":"Q2926202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4314a681e51c914754a740633820ef71ac0e556","datavalue":{"value":{"amount":"+0.8826584815979004","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":"Q1702983$42CBFE7D-902D-4D95-A51F-7865211F1145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5b3dd5c92c8e983f11bbe9b3983cbee8248642","datavalue":{"value":{"entity-type":"item","numeric-id":5222536,"id":"Q5222536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4199e2693380962389f3b7e4e2714bb74e006c49","datavalue":{"value":{"amount":"+0.8168066740036011","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":"Q1702983$BA51D23E-F9B6-43E3-818E-0323083A8190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc6cc66d53956ef74f5f07d79ebe15e4ffb1ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1400874,"id":"Q1400874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2787d605d0112369e1c463e54f2c69fc0c6c0f","datavalue":{"value":{"amount":"+0.801232099533081","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":"Q1702983$04A15C5F-684F-4A41-8FE9-653D5DFCD384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211af35d4841c4e2e50eafb8044ab30c9c5bc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":4918375,"id":"Q4918375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2aaa2810b21980e82a9e4574119322d91f18c0","datavalue":{"value":{"amount":"+0.7763686776161194","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":"Q1702983$1FAF4C2C-C8E8-4921-A206-DA17AEDBE5EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating Cartesian closed categories in NF-style set theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_Cartesian_closed_categories_in_NF-style_set_theories"}}}}}