{"entities":{"Q3395310":{"pageid":3406013,"ns":120,"title":"Item:Q3395310","lastrevid":58159362,"modified":"2026-04-04T01:22:26Z","type":"item","id":"Q3395310","labels":{"en":{"language":"en","value":"Two-dimensional models of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5598252"}},"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":"Q3395310$B18CE845-0D92-49C0-8057-FF783DAB9FCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"002db4e85c28b88c7e344dc4aa3cf6f416c0292b","datavalue":{"value":{"text":"Two-dimensional models of type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395310$BE3F1489-743E-41A7-B7B2-4B4C948FD7A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9be61d45e1623937d574564f3324945af32d340","datavalue":{"value":"1230.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395310$B3866441-247A-46EC-B3AC-F61DDFB9D577","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"412761983febf065da325b237bfbd213432ef99f","datavalue":{"value":"10.1017/S0960129509007646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395310$5CAB11E2-6234-4A35-8BD5-EC2843DFD522","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db41a60b03ac22c1792510784e84140716e00bef","datavalue":{"value":{"entity-type":"item","numeric-id":323665,"id":"Q323665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$CCCB0F88-D9B8-4116-B9AF-4F063E92BB11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$80215F20-F62D-4B6B-89D6-BF2B112483BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaf07d6a0e7392346327108ef19dd63d8e333b8d","datavalue":{"value":{"time":"+2009-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395310$DAC15B90-3ED6-4096-98F2-A9A8605032E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc1ab04a8a05b25dabf4367fc06f8f82d88f479d","datavalue":{"value":"https://arxiv.org/abs/0808.2122","type":"string"},"datatype":"url"},"type":"statement","id":"Q3395310$5E3AFC0F-63DF-4756-BB89-8CF8077E145B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395310$A38CF1D9-D423-43A1-88A4-38E4E890B398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395310$49A0D697-0273-44CD-BFC0-AE5E0DF67818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395310$516EE246-1675-461A-9089-E1A4BAC20519","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bde4af2bf0304fa260e91aa4581051946f564435","datavalue":{"value":"5598252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395310$1759A5C0-A357-49B1-B0E8-D2A58DB4BC87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395310$D73E72CF-E88C-4FFD-A88C-C850D1329934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395310$0BBEFFDF-95D1-4F62-8F8F-4CCBCB7BCBEA","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":"Q3395310$A70A0C84-E8DF-4314-A989-9A0646A4179C","rank":"normal"}],"P223":[{"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":"Q3395310$951192E3-0C6A-4E3D-8DFE-0D1332225E4C","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":"Q3395310$937897B6-14E9-4894-B637-AF913EFF1195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f486fae49763ccdd17637e50cc42aca1e3950b0","datavalue":{"value":{"entity-type":"item","numeric-id":3514873,"id":"Q3514873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$7A9A463F-EF0F-40DE-99D8-3C49DB7783A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17807d12117180296370bd9e02d3095bfb068fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1295672,"id":"Q1295672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$A0EF7091-2204-4D95-81B7-204A360DA23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94e0a7bc58887caf8ea3b84d3a676ee2dfdb61e","datavalue":{"value":{"entity-type":"item","numeric-id":757027,"id":"Q757027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$A7E01000-A31B-4187-83BA-52C06735D6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc1fa5800ca5560d601e4658e9879f0a20ebb35","datavalue":{"value":{"entity-type":"item","numeric-id":1024547,"id":"Q1024547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$C9B868BF-846A-4D32-8145-4B320FCBE823","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":"Q3395310$475F995B-1F4B-4044-9C86-35190A6C0E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e43143f0e7ee6f779f2d7d17250cc387d393bf","datavalue":{"value":{"entity-type":"item","numeric-id":1239361,"id":"Q1239361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$D3CD04D7-805B-4984-8E0B-E57D7A5BA8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$EBC5C46B-38BD-455D-AEEC-1286F9786177","rank":"normal"},{"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":"Q3395310$EE3C6A37-E310-455C-AD16-EE64D859642E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b370c7baaca51e1b747ec172830d73bc442ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":4243759,"id":"Q4243759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$5C337C47-FE96-47C6-B894-53FBAE404F0E","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":"Q3395310$A86B68B1-4C47-4E92-80D9-44FEE9461952","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":"Q3395310$E184AB6E-185A-4763-A188-9E65585235F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce2eada5b3e98078fe853fac7002cdee11fdad5","datavalue":{"value":{"entity-type":"item","numeric-id":5602981,"id":"Q5602981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$653F75F8-2ED5-491F-8C25-69944C399F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1287f31c8e695f0cc11f57a3ba4a985fdf48a0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3804881,"id":"Q3804881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$94A4FCAB-D1FF-4209-B406-D501BC82E6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395310$E5C424D8-C57A-4F1F-9E3F-30F48FB62B23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2d06b6fb49d42a850f9cdc5a5aa325484dae8da","datavalue":{"value":"W2170599098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395310$FD84616F-7D2E-4D56-8B17-29FE6091A740","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c97105b57c2ec928ab8765de32b71670d62d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2942884,"id":"Q2942884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3a91e8b6b1713ce4559a45b9043be70a152cdd","datavalue":{"value":{"amount":"+0.7797144651412964","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":"Q3395310$22ADB3D5-CA5B-4454-804D-BA60BAD7CF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b0e950a0ea98bb23fe11f9d5098bedc711a256","datavalue":{"value":{"entity-type":"item","numeric-id":5739362,"id":"Q5739362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e3c405da758f57cb013ea359bbf786ba5df132","datavalue":{"value":{"amount":"+0.77751225233078","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":"Q3395310$A02A59B5-E87D-42BA-B7D6-A1BBE08A3E42","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":"8c542c6ccf734c112b2352fd281a9cb688c8927c","datavalue":{"value":{"amount":"+0.7717998623847961","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":"Q3395310$53408E27-DEB9-42B3-BBA6-89E5CB52B68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df284813d85477ea847b837d5831ef7f5ee82ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3637199,"id":"Q3637199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb70b9ca8cfb6518c8bb719bdf28c9107a2adf99","datavalue":{"value":{"amount":"+0.7690165638923645","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":"Q3395310$71DFD75D-11E8-4456-A848-AFC308F1B2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb868d9d7af9c9dfb8f64f6ce5cb5b4615b0d57","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960f4fb2f4d43152e95cb2d44adb6c2f9ffcd799","datavalue":{"value":{"amount":"+0.7676210999488831","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":"Q3395310$C76BE25E-2775-47E9-9F76-9C37A33A142A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395310"}}}}}