{"entities":{"Q1853587":{"pageid":1864329,"ns":120,"title":"Item:Q1853587","lastrevid":74322477,"modified":"2026-04-14T19:31:52Z","type":"item","id":"Q1853587","labels":{"en":{"language":"en","value":"A cartesian closed category in Martin-L\u00f6f's intuitionistic type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857112"}},"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":"Q1853587$394013C1-0FB6-41BF-BD8B-3FC1CBD9F9A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"511997c00249c2680e2300f1a1ddef95ea05033a","datavalue":{"value":{"text":"A cartesian closed category in Martin-L\u00f6f's intuitionistic type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853587$0C19B3FA-C056-4946-986C-52FF789D9A65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03a79d90817966a126b7cbb7f1e77252fe746dc5","datavalue":{"value":"1018.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853587$F549B014-EED2-4E2A-86CE-1776AC715503","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92067eda5812f74cae8e24ee4d1a53d5bfc02dd1","datavalue":{"value":"10.1016/S0304-3975(01)00309-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853587$4258EB79-A9E5-4519-A028-5B8E419A0C8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$024F7804-DC9B-4E79-BBCB-3D83CF9041F2","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":"Q1853587$95629BEF-0807-4A3C-889F-48E678CF784D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853587$F684B2DB-03F1-414C-8802-1EF5B6B1C5F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853587$4300E68A-67C7-4712-91A8-C2B672D89D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853587$18328AC2-A2DD-434E-B426-49A7970C3E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853587$0D3991C4-62D1-4405-84E4-2A71ED4CD12E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f55809dad03f6a14383bf59730baba43cb8ec17","datavalue":{"value":"1857112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853587$742DA6DF-1FF2-40E9-8975-37658285C1B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853587$1606E8F8-002E-4DF6-B736-6289E89F744B","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":"Q1853587$8CE6F8FF-E767-402C-B33A-D2D42011D30D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7931dc29f3e5a2a167917b66423fa0388ae2206f","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$0CD87C18-8EE7-4E29-BA99-A2577578B13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$D740BB0E-6148-4C8D-9CB6-1FF8B9AED7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d914fa6b6d21895ce9b59a53c801ca6c924fb5","datavalue":{"value":{"entity-type":"item","numeric-id":4944857,"id":"Q4944857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$6884DB0E-1BDD-427F-9606-81851596FDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$F4FC4AF8-C1D3-4FE6-AF40-9DC486F58DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$3B4B1BE4-447F-4978-9A51-3EB4A9F2BF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96018a99b8366943bf6654b4677e7e411906125d","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$DA86CEEA-BDEE-42AC-A5B9-00D7A476AF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51dc13071df66ae704f545eff577abff90943bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4247310,"id":"Q4247310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$6F687398-8A79-49A1-AD72-E5BFE0CF6941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d5a44c32980189056a2c7e4c211e126f63f02","datavalue":{"value":{"entity-type":"item","numeric-id":1350507,"id":"Q1350507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$FE528920-9582-4BEF-8565-A309C3166A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$BDEFA7D5-CA1F-4CA7-B85A-521561B97B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee11f0f65048bef7f9c963a98d0e27e659f6ed01","datavalue":{"value":{"entity-type":"item","numeric-id":4888341,"id":"Q4888341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$A001DFB2-39A3-4B94-A50D-65999BF306A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0959cb0d6eb6dc8f243d92e2fb077d66d65909ec","datavalue":{"value":{"entity-type":"item","numeric-id":4531082,"id":"Q4531082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853587$3C54DEA8-109F-4741-8F08-A8C54BA87BCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2f53660e44b03d8ce039c2406748edf941b1839","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00309-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853587$EA7584D0-94D6-49CD-8139-254D6B93DA4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8133656e1389c82617a2f4472b816fb5bdb73aba","datavalue":{"value":"W1993848174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853587$AE55EA97-1A15-471E-8D9F-FBCBD38F96CD","rank":"normal"}],"P1643":[{"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":"5174a6279675e66686f4a235f8a3f0e846b1ff53","datavalue":{"value":{"amount":"+0.7868800759315491","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":"Q1853587$2C758EE8-48E1-4DBC-A150-E292DD7D7831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e76ba6015d4f4ae577a85ab9aa922374daf9030","datavalue":{"value":{"entity-type":"item","numeric-id":1923827,"id":"Q1923827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f649100726519bdbcdda3ec6a9b9a3935d181134","datavalue":{"value":{"amount":"+0.7857993245124817","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":"Q1853587$6AE18BB6-08E9-4ECF-8D7C-3E57EBEA1ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407db3a2c50e9becb9ad86567c7d82e306838776","datavalue":{"value":{"entity-type":"item","numeric-id":5415629,"id":"Q5415629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ec9ee7ca186325a1350a1faeb000bb6196bc55","datavalue":{"value":{"amount":"+0.7819011807441711","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":"Q1853587$784E1050-3263-40F2-94B4-8A280BB2FA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8da43c5742c2daae0d692e9a46ab9ddf66ef57","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f709b8150fe47d078d742dab3f87d60f9a5960b5","datavalue":{"value":{"amount":"+0.7816795110702515","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":"Q1853587$6BA3EE81-BD17-416F-BCBE-73356F55CDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1db03b5eb000cb3072ed58b8e3f4562e431ebf","datavalue":{"value":{"entity-type":"item","numeric-id":1350507,"id":"Q1350507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55730c0aec10cd0609ca7a9c7eee654a30c91414","datavalue":{"value":{"amount":"+0.7796859741210938","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":"Q1853587$A7FB3618-AF5C-4078-9014-FA03EFC5E68F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A cartesian closed category in Martin-L\u00f6f's intuitionistic type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_cartesian_closed_category_in_Martin-L%C3%B6f%27s_intuitionistic_type_theory"}}}}}