{"entities":{"Q280835":{"pageid":282602,"ns":120,"title":"Item:Q280835","lastrevid":60621828,"modified":"2026-04-10T18:06:50Z","type":"item","id":"Q280835","labels":{"en":{"language":"en","value":"Modeling Martin-L\u00f6f type theory in categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578543"}},"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":"Q280835$4F4479F9-4DFB-44F6-B2AF-18C49DC0692B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8449ddc9addd756b63b5b9fdd87caf28ed032625","datavalue":{"value":{"text":"Modeling Martin-L\u00f6f type theory in categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q280835$ECF369EB-0E3B-4308-8538-6A224B496A37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afff4ffa906f9883e024676bb366754a71524e34","datavalue":{"value":"1335.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280835$94F28520-0CA2-447B-BAE6-C43BD79D4AF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e6c1c3409e6d83bd78c8052a50125837ef1c940","datavalue":{"value":{"entity-type":"item","numeric-id":280834,"id":"Q280834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$4879EF8D-3D64-4697-B1D6-C704D47E442A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$07B7F43A-2075-4587-A7C9-4A51C26C41B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q280835$4CF1C87C-76C3-4B25-8EEC-6D21CE77B439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280835$80785EC3-D0EC-4177-B609-3E49EF39B15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280835$D49DE766-9C44-44C3-8AFE-C74FF96D90D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280835$4EEE3747-A23C-48E7-8843-7A13345013E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280835$F4CEEEE9-57FA-46E7-BC49-A429FCFD91CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97fba209d11f80a5e1de24f81ded6f027cea7a59","datavalue":{"value":"6578543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280835$F26D3341-A7CB-45C0-AFAE-E475C6E7CB5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fecc3d095ab19a55f95d11885cc5f695ba8ecde","datavalue":{"value":"Grothendieck fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q280835$B79DFEC0-754C-4EF6-9813-62483D99319D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q280835$60F31E09-E603-4002-A45A-1ECA28B83B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef13a89c6778f2a25bad254dc33f67d3057db91","datavalue":{"value":"identity type","type":"string"},"datatype":"string"},"type":"statement","id":"Q280835$176A2A9D-0309-4D2C-BEA7-6F2653EA49FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb55d8fade8acd84da08bfc22f6860003878d8c","datavalue":{"value":"path object","type":"string"},"datatype":"string"},"type":"statement","id":"Q280835$F8DE9FC0-CB5F-4327-B157-BA00CBCF4AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df7916664de05efa0618084f787763807b80196f","datavalue":{"value":"homotopical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q280835$0C05EE94-1D04-472C-842C-5BD774F7CDF4","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":"Q280835$2B9DAFC0-F011-4BC6-8924-F3F28CA311B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dff71dea717b24973789cf2874f7572fa362ada5","datavalue":{"value":"https://doi.org/10.1016/j.jal.2013.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q280835$A0A088B8-A94A-4E6C-A1FB-DFE6ECA9C109","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"831d66ad5d6f2ffa4ba98df1f525e6c5efaac0f5","datavalue":{"value":"W1971619141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280835$84732A7F-CF46-46F3-86FE-8DDF869DE5C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$880AED45-9D43-4FEC-8B72-0241B65181BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e334f51175391aa489ad19ee69f9b684c7888f","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$19835843-3760-4FDF-9D3F-FAC480BC54A3","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":"Q280835$B9B341FA-DAE0-4E7C-BAE7-038FC3B5315B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$081933BD-214E-4375-A8E5-7AF418B98C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab5253ac879eac01b75fc4c22a1a366d2585e79","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$05DE7217-4053-4D9D-A365-9E1CC907F8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$B26B9BED-EAEC-4F86-BD35-56E348C02ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$66E2E0BC-7E0B-41FA-AD82-245BADE89B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$BA8BD048-21C7-4FFB-B57C-5BA929FECC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c16b5228ba36d185a67402cb5fe0cc058c500b","datavalue":{"value":{"entity-type":"item","numeric-id":4842967,"id":"Q4842967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$90809DCD-A3B8-4AA4-9E8D-07BA80BC8A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$4A304FDB-EAC8-4656-BE5F-7ABFF7D7F0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$04F7C69F-FD59-4E91-A2A8-6D27E14F514C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189aff9beb64755b9b588c07d90035421bc1c4db","datavalue":{"value":{"entity-type":"item","numeric-id":280837,"id":"Q280837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280835$42BAF06D-1711-444A-855E-19EDFE184F86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb14d486eb558b80ca761f52f7b28dc8f5e71a99","datavalue":{"value":"10.1016/J.JAL.2013.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280835$1F06CCED-1DE5-4F73-9DEF-CB0E3C64E8EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b26fe5ac7a27289dbae817b7d5587d50b620974","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1565742492e7eca3f37815c517d34c32d57f3fc","datavalue":{"value":{"amount":"+0.8374770283699036","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":"Q280835$9EEE54BB-EBC1-4CD4-ADDB-1A0D80D44E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6070310897be2b2adaf0b208e6e943cc7b857098","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ef815bbd62f238e621c745bdc2027c6abbaa67","datavalue":{"value":{"amount":"+0.8212411403656006","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":"Q280835$471F3547-881B-4829-A580-A0F3FFEDC750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0526d2de6ea50db5116bfab90728355ff84bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4961720,"id":"Q4961720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a1ef022bb05ffdc816cfce5cc5ecc9f5aaf079","datavalue":{"value":{"amount":"+0.8139616847038269","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":"Q280835$BD32DB0B-E8E2-4185-945C-02CE539C662E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52f089e4408546666ae0342fd99e7145429240f","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"444be24c190df1006cde310cb17da8f7f5cbe83a","datavalue":{"value":{"amount":"+0.813480019569397","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":"Q280835$27B4140A-E271-47D5-9338-54695B3A6CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6b838e7bfe76c06c4bf25fce618d6bd027c26b","datavalue":{"value":{"entity-type":"item","numeric-id":2423835,"id":"Q2423835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224868cf66b39691f529e4dbecb81f827b3b2ae7","datavalue":{"value":{"amount":"+0.8122043013572693","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":"Q280835$BCEDCBB4-F81E-497A-8635-1E684BBA5FB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling Martin-L\u00f6f type theory in categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_Martin-L%C3%B6f_type_theory_in_categories"}}}}}