{"entities":{"Q3121017":{"pageid":3131733,"ns":120,"title":"Item:Q3121017","lastrevid":58125816,"modified":"2026-04-03T22:11:21Z","type":"item","id":"Q3121017","labels":{"en":{"language":"en","value":"A type theory for synthetic \\(\\infty\\)-categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7038440"}},"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":"Q3121017$FC239DA8-D26C-4F9F-BA4C-5F864585676B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"285f50c10eb947ab1ee012e3bf4238b789c2883a","datavalue":{"value":"1437.18016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121017$251FD106-11DC-4B79-AA70-722AA2B6DD3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"575c9cbfae86c796998ad7a45b9223aab26fdf2a","datavalue":{"value":{"entity-type":"item","numeric-id":338223,"id":"Q338223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$936FCD88-8D00-4369-8BE6-D251A8A1F16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec988e4b31ab0b3fd008867fb1fbedfd6f4bff","datavalue":{"value":{"entity-type":"item","numeric-id":246332,"id":"Q246332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$2CA1E7FF-DD30-4326-BFA6-A5673A1A8B77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da0b6ec60a91b540c1425c8529bc22a907dd46bb","datavalue":{"value":{"time":"+2019-03-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":"Q3121017$193F4A9E-D9AE-49FF-A5E7-D4092750D76E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f550193805b9e82deb615a7e57dd65d73b80ea6e","datavalue":{"value":"https://arxiv.org/abs/1705.07442","type":"string"},"datatype":"url"},"type":"statement","id":"Q3121017$1C6422CE-65A3-431C-81B5-B41E7C055C98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f7bb6d8c5310ace40589f27f0ec3909d5699eb0","datavalue":{"value":"18N60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121017$B7C48EE9-2E87-4923-8A88-00BEDA37C2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15b254b0244ba14eae8134dd4e521a82fc9f57e2","datavalue":{"value":"18N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121017$6818DE5F-AE7D-47E6-809A-1A50575B590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121017$6B194B4C-3980-4C88-BDD0-AD5179FAB0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"befe607509a93d2a536d630fd3a8e8ae944f11b0","datavalue":{"value":"18N40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121017$9D519C11-3565-4FE9-A7E5-A58C8984E24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121017$AE8E2396-C85C-4E5C-B140-5B4B89FB7407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121017$BD1D9CCA-428D-4465-8E48-A1E21B5AF67A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"771bdd0549502e9d052c44e4bdad5cb438f32926","datavalue":{"value":"7038440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3121017$1DF3A261-089F-4D9A-BA67-39FEAD79013B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121017$8F83D12C-180A-4E83-9595-23B45629AD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f9fe8afed75d75dd664ef87cf6c39a52e569cc0","datavalue":{"value":"\\(\\infty\\)-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121017$A7704353-E7D7-456A-8FF2-1BEF23A638D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3de51765a3cb24785cf98b1216d55e7a8e9ca8b","datavalue":{"value":"Segal spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121017$7752B0B6-880C-4937-BBAA-68E6523A2F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb70d28299747cf9b6ed796ae899c9beadf8d783","datavalue":{"value":"Rezk spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3121017$14CBF5FB-81BD-487F-9D69-5E7A3620C7BD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$61132991-F6C9-48D3-AB2A-F865957ADD50","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":"Q3121017$6005B4DB-7E37-4770-A306-C70F166F22EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bcf33a5f992d181e7e78bbd8db6166cca7b5d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5740648,"id":"Q5740648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$47E0823D-5EF4-469F-A39C-9F6FE5B59485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed76c0676b87a925b5d0f36a69cf0f6b2eb1abe2","datavalue":{"value":{"entity-type":"item","numeric-id":5217591,"id":"Q5217591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$806BED46-C99D-4C7D-B60C-EE10F35958E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db902e9f20ea5851df36ed5589546165ed55035","datavalue":{"value":{"entity-type":"item","numeric-id":1955710,"id":"Q1955710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$C5214FB8-1674-415F-A41C-45CD6AA75CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$65A77059-A048-4ACE-BDD7-0B2F43793A94","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":"Q3121017$466F4286-3021-4749-9106-4FC81520364F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1f060e7b86d3c3cd04ae2952a4ef249b9adc1d","datavalue":{"value":{"entity-type":"item","numeric-id":4186519,"id":"Q4186519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$32AABB3F-7D15-4578-BEFC-217923CCAB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd57462a36c1547e90f016c670e949d87bf8cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1850102,"id":"Q1850102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$FC245FEC-2F1E-4D2F-A255-CCD1CC2DDFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab12d272a20b28c3043c55ebb7759d777f5c76","datavalue":{"value":{"entity-type":"item","numeric-id":5431520,"id":"Q5431520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$99EE075D-FCAD-4AAD-8AED-D4D7CE06BF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a929ba3a3ad2ac94896c6474d644a301f4db300","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$4F782EDB-C449-42FC-ACDD-9DAFFA51B814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d082ab9b130dde2b22c71e39cd01a36459ac43","datavalue":{"value":{"entity-type":"item","numeric-id":2258208,"id":"Q2258208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$39DB1E1B-17C9-47D6-8464-1BC4CC8625DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$FF7AF265-53A2-4CF6-BF28-58E093C7CB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d178d1ba2022d553a813b148d72e5afb65344b8","datavalue":{"value":{"entity-type":"item","numeric-id":5298124,"id":"Q5298124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$7F6CF555-A406-4E02-AB31-5F01AA4D0A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ace08aee50aa7ed1e67a219ab235e0e0445c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5739362,"id":"Q5739362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$2BB690BF-AA80-4A9F-AC94-8E9DBA2FA381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67dcf2f4dbbcf76866eccb2b8f11648193617fe","datavalue":{"value":{"entity-type":"item","numeric-id":2786141,"id":"Q2786141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$721D5E9D-BD09-45E2-9363-F3DB839FD74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b7f7f274eb6713b62fe2f0ba801e1bbcfcfa90","datavalue":{"value":{"entity-type":"item","numeric-id":2957763,"id":"Q2957763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$7CE8CE65-D9B4-4A66-98B6-0287395D628D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$AB7034AE-2046-4A7B-AB03-87AF66CF15FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$6C04FD8F-C50B-4FF1-84B1-BC93E68F8247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd279ef4bd78bf36c78e40dfeb84f7e396712f6e","datavalue":{"value":{"entity-type":"item","numeric-id":6175166,"id":"Q6175166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$DE7CB935-257D-4A9D-A72B-1C5380F63F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b8ae78fa382e84d0f715ab21a503c2ed714d64","datavalue":{"value":{"entity-type":"item","numeric-id":4523176,"id":"Q4523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$DF9F69D3-870F-409F-BFF6-BB6BA60FFFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f465166cdf78181bddb14cab3be369468e58036","datavalue":{"value":{"entity-type":"item","numeric-id":982156,"id":"Q982156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$BFE7EB90-106D-403C-9B9B-B86BAC528AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178f3df9c026951c12dc9877ba33d7629247acbe","datavalue":{"value":{"entity-type":"item","numeric-id":890142,"id":"Q890142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$1EAAA738-68F5-4262-91D3-B3A46B055CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c217ae885e7c86a3d57a16872431122ebd0e9b","datavalue":{"value":{"entity-type":"item","numeric-id":338225,"id":"Q338225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$B5594A8A-BBC0-4A2D-B825-BF20363EE8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d13fae8b0edd005619879264a500b259205b13","datavalue":{"value":{"entity-type":"item","numeric-id":5963045,"id":"Q5963045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$DF894181-B378-4912-A76E-22508F586397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$6DF3EDC0-DE17-4814-BEB7-6D502DCA0E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3121017$8D715FE4-1AE3-44E9-868D-55FEF657C059","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":"Q3121017$043F6FE3-D7A7-45D3-99B7-44A0201E7759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fd4751c9ac8497d5ed97b554e8d5a721e4341c","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0ca873a319cc75e5e18039f210c1916ff70d89","datavalue":{"value":{"amount":"+0.7975950241088867","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":"Q3121017$0DCCD477-08F0-4B62-8817-91F9C032E3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f068faf5c05f5c14d5b4d96d309fb9af2c04587a","datavalue":{"value":{"entity-type":"item","numeric-id":3379615,"id":"Q3379615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5225d62e35a2554fcea16152a86bd2f40735d4d4","datavalue":{"value":{"amount":"+0.7684411406517029","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":"Q3121017$DF232B15-31E6-4495-82D1-FC0E8E293A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78b3c47873abd755402e2604bc3fa96c4373859","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9469686e781919bf69d4453dcded5c71afa8b761","datavalue":{"value":{"amount":"+0.7623332738876343","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":"Q3121017$395D1D19-F7BD-423B-A507-9F7E484B75E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40773519de63e86e147fd9f6b23041c33b3c0773","datavalue":{"value":{"entity-type":"item","numeric-id":1689738,"id":"Q1689738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c1bea80700dd74cd520060c5ec505228ac360c","datavalue":{"value":{"amount":"+0.7619171738624573","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":"Q3121017$610B615B-1A65-48BE-A6AA-C9F1753AB4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69bccc653ecc7e1f58ad093de68d34233fde7a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2414596,"id":"Q2414596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa1a042ba3526dc0e2e29bdf78f366524878925","datavalue":{"value":{"amount":"+0.761535108089447","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":"Q3121017$38C58F5E-2153-42BE-9C81-6556138805C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3121017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3121017"}}}}}