{"entities":{"Q1380064":{"pageid":1390804,"ns":120,"title":"Item:Q1380064","lastrevid":46961700,"modified":"2025-12-25T22:50:50Z","type":"item","id":"Q1380064","labels":{"en":{"language":"en","value":"Embedding of a free cartesian-closed category into the category of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1121693"}},"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":"Q1380064$48D6489F-6005-45A9-97D4-5447682C8CD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca92df002cd4aede4f46e1ee32f701ce4ddd72c6","datavalue":{"value":{"text":"Embedding of a free cartesian-closed category into the category of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380064$A6A66E20-B839-405E-BA6F-CBD847320A5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96fe9269381f3bd7ca16f4948b98496eb1378d5b","datavalue":{"value":"0898.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380064$AC2E5486-3957-4B27-B129-4E489FF8FFC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d12bfee71b0c3a62c50e26693af12163a62ec20","datavalue":{"value":"10.1016/S0022-4049(96)00137-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380064$F441487E-626B-4926-8F7F-FC26D6B01E25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"595a32f0202bd696ee19a3e86e98d9dadfca6302","datavalue":{"value":{"entity-type":"item","numeric-id":1118586,"id":"Q1118586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380064$97E01B89-CB6D-4A86-8B9C-3C7633A50CDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380064$9AEBCD37-028F-4892-9495-7BC5B1CA7EFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeab5ec812a0ca5fb5a693de9fb212e9ec6262da","datavalue":{"value":{"time":"+1998-11-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":"Q1380064$24C683A7-38E5-4819-A5C4-16FEA0EE04A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380064$940BBF20-868A-4EAF-AE0A-881C0B89F0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380064$0B707759-1389-486D-8D9B-C8176A3A9CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380064$48557237-000D-41BC-A79C-261482FF29DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380064$E61BEBE7-B0DE-4DA8-A48F-E0FCD5C94A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380064$ED08CA77-DCE4-44B1-8E4D-325B15994E6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ca37998015bbc9c5014811c952c501c8bdddd88","datavalue":{"value":"1121693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380064$90762846-1DCF-4E1D-948F-D11BC7DF2CAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380064$50FF6260-78B0-4BA5-8ECE-3F62F985FBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3caba75974bddd75ade291a3dc126ae2cfea1b33","datavalue":{"value":"category of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380064$4E08826C-95B2-40C2-A371-E578EECAE595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f7ef616d5d355cb5b539ef23477d359e53e7e2","datavalue":{"value":"free cartesian-closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380064$7D7756EA-4B8E-41D7-A70B-9916EA3EE3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380064$F9E6A6AB-D144-4297-873F-FA1367485C5E","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":"Q1380064$FB294633-5721-4A01-895A-E5B643339202","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daf7bad1890a034b4e71a6cde1221dcde5a29c5","datavalue":{"value":{"entity-type":"item","numeric-id":4281490,"id":"Q4281490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380064$775DCDAF-DC90-4FDB-A0E5-F7D1F0ECA061","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":"Q1380064$E7D82F2E-703A-4556-8F6F-164E7AEEB012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d318da55de3f531193a364d562784327d78648c8","datavalue":{"value":{"entity-type":"item","numeric-id":4036571,"id":"Q4036571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380064$37E92676-1ABB-48D2-AF4A-6AC5D0F0928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380064$3308718E-934F-4512-8B67-9361131EE728","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":"Q1380064$F3E6902C-4B3A-4F30-8CAA-0EC4919A94AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e664c53debae71bd3947b36756de2ad2859884e","datavalue":{"value":{"entity-type":"item","numeric-id":4008758,"id":"Q4008758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380064$E2F32C42-2395-4EB7-9509-82BCC2090DD3","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":"Q1380064$231F44D8-4371-4392-9502-02DA5A56C3C5","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":"Q1380064$08E613EC-E165-44D2-875B-B118A2C7D33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4de37594158aa51ee94916033d3d52e42d9b81","datavalue":{"value":{"entity-type":"item","numeric-id":1317969,"id":"Q1317969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380064$5C279B3A-3D20-4D78-8874-03A5B35AD96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c6d6d042c46abf1963fa55483f5344d41b204","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380064$4C574797-69A0-428E-8BA8-57F59E6D26CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380064$425223AE-C016-4BB1-8C18-B0E7E8AD5C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2db2ba829b037cf2efb18b93f4aa34513a9246","datavalue":{"value":{"entity-type":"item","numeric-id":1838563,"id":"Q1838563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380064$CF68B58F-CCE6-4F61-95A4-99C5393AAFFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fce3107657c953812815d7cd2d6c0d0f3d3e8286","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(96)00137-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1380064$E023F938-6BA5-4BE3-B162-34D81356E69E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51e5ebfc8b1397767b9cb0c8dc280072e63ed470","datavalue":{"value":"W2090644756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380064$8CE7B360-CB60-48D5-B98B-E01340A19356","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b921691b4d2505e7a5c5ded47c65c86ae05c09a3","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907421012d6a039ea64383d8ea149a1228c09d94","datavalue":{"value":{"amount":"+0.7594692707061768","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":"Q1380064$51D84B38-08F4-4561-973C-C70F592FBC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c30fd1bea7797e83341384b414bf2071638480a5","datavalue":{"value":{"entity-type":"item","numeric-id":2724040,"id":"Q2724040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5ef779db05b1532f9e2b4fcbc1d1e527b59687","datavalue":{"value":{"amount":"+0.7551858425140381","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":"Q1380064$AD375CD8-7F13-4BC0-A5B4-BBBBBAE60FCE","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":"4f16198d40177e93f177761175aed3663c663f26","datavalue":{"value":{"amount":"+0.7527146935462952","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":"Q1380064$62C4160B-46F9-470F-9F91-D4087966BCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba734823adc944777046576f863268cf0a8a7f78","datavalue":{"value":{"entity-type":"item","numeric-id":3749213,"id":"Q3749213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8585c2d6d4df8657f7eee74edcb48811cd949e","datavalue":{"value":{"amount":"+0.7310722470283508","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":"Q1380064$4A16A39B-3377-4371-8C62-F64A68472402","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1380064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1380064"}}}}}