{"entities":{"Q3130308":{"pageid":3141024,"ns":120,"title":"Item:Q3130308","lastrevid":58124625,"modified":"2026-04-03T22:03:29Z","type":"item","id":"Q3130308","labels":{"en":{"language":"en","value":"Locally Cartesian closed quasi-categories from type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6827932"}},"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":"Q3130308$DE09412E-9C10-46AC-803B-3F5F142B90A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5eb26869df5429e9dfdfb66516b0e14b37b9292a","datavalue":{"value":{"text":"Locally cartesian closed quasi\u2010categories from type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3130308$FE7BAB9A-F6EA-43C2-94DA-327A93D0DAF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7806fe096b0a5302d97bb438545c6bb6debf567e","datavalue":{"value":"1388.18025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130308$E9739517-8FA0-4BBE-ABBB-21BB476A66A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848ba680bc4beb5e419f7a7def7b1448b789467a","datavalue":{"value":{"entity-type":"item","numeric-id":1785777,"id":"Q1785777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130308$8726793B-871C-4AB6-844F-95661FB73BA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0234c54672d2ffa2a423a9ebb67b095e4436b9f7","datavalue":{"value":{"entity-type":"item","numeric-id":2797306,"id":"Q2797306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130308$5CD00025-2D67-44AF-9C41-ACE39A81F2D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3706de551438a6e783012180a02b770ee4195f88","datavalue":{"value":{"time":"+2018-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3130308$2A14686A-DE6D-400F-8A29-B996C24BC612","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4b6857b64d504441eabb940e125ee529c2598c2","datavalue":{"value":"https://arxiv.org/abs/1507.02648","type":"string"},"datatype":"url"},"type":"statement","id":"Q3130308$C7DB4284-9FAD-4E73-B4B9-71238856AE24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130308$4A96769F-07E5-41CD-B4E5-22D423EFEC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130308$0190771C-C61D-499D-83D0-241CC75D1E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130308$C9E1A700-4246-4566-BA10-EAD313394F24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ee080a3534a7144824499ecc52b057062be807c","datavalue":{"value":"6827932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130308$6D34FD86-A896-4B96-A0FD-9BB1E66D9F1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3130308$5FA186D4-9BCB-4B2B-A0DA-4FE15C5F6DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3d9b216abeaea6709b4c49f9a883d00863abc8d","datavalue":{"value":"quasi-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3130308$9E40B06C-86B7-44F2-BDEC-52D7B4B2AE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce19c618c38379424d2e084e285f2ca70cb848d8","datavalue":{"value":"locally Cartesian closed","type":"string"},"datatype":"string"},"type":"statement","id":"Q3130308$0B87B3CB-1CB6-4458-83DC-7A934EFF034F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b16876ae83cc657768d9386f304f0322ee7ce3","datavalue":{"value":"category with weak equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3130308$22E8D1B6-8A19-433D-8D61-695275A60A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b664449aba1f47d8015b04a9617165bd2e3d42","datavalue":{"value":"simplicial set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3130308$F61B588E-3380-4FCA-8371-38D57FD2D49F","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":"Q3130308$47E5AEE0-EE39-43D5-8724-5845A080B753","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe821e8c1efe4496cea82ef477daa0816618e528","datavalue":{"value":"W3102169999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130308$789F220F-51F1-458A-A7A4-E9FC6DAA2D3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70234549e75f7e53ccea4c57245fbc74eaa44ed7","datavalue":{"value":"10.1112/TOPO.12031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130308$08C3DB0E-D49F-4B2B-8427-FDD7C5C8365A","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":"25495dfe1842664b758a8a08baa7497b2bfdb29d","datavalue":{"value":{"amount":"+0.81508469581604","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":"Q3130308$C2E71337-C18A-42AD-B82E-2EF013C1084B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0085955ed77a4c3b3af19d7b14022510d9a7bd4f","datavalue":{"value":{"entity-type":"item","numeric-id":524707,"id":"Q524707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987e821daf9eb2ed502a7fa4de12492f203532eb","datavalue":{"value":{"amount":"+0.7815226316452026","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":"Q3130308$E116804B-5AA8-4296-AC53-2AAA31215A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d735984083273d53c2a52f278610c64fc778d65a","datavalue":{"value":{"entity-type":"item","numeric-id":3007659,"id":"Q3007659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcec4416760ce0e096a9823f072700ac5a312676","datavalue":{"value":{"amount":"+0.7802218794822693","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":"Q3130308$77A7E809-D2FF-4091-A663-B5BBAA261009","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":"a901a2b8ece87e58d20a973ece105e28714f9469","datavalue":{"value":{"amount":"+0.7785575985908508","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":"Q3130308$0264998E-A61E-435A-814B-F3A3CFC3DE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be61c6262bac93d8a4fe50daae264d0e0d38bd0","datavalue":{"value":{"entity-type":"item","numeric-id":5740406,"id":"Q5740406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e98d1a7f6e9b56e9dcf2f92cf81a63dfc87b9ad","datavalue":{"value":{"amount":"+0.7772325277328491","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":"Q3130308$2E51B566-ED84-4C90-912A-298474FA3422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3130308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3130308"}}}}}