{"entities":{"Q6079238":{"pageid":13213545,"ns":120,"title":"Item:Q6079238","lastrevid":55502437,"modified":"2026-02-17T17:49:59Z","type":"item","id":"Q6079238","labels":{"en":{"language":"en","value":"Coherence for monoidal groupoids in HoTT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7756113"}},"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":"Q6079238$5694C867-BA53-41A7-B0BC-1535F7EC48C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aa55c4806a2c83f242341c215fc22e1c3dc1d3a","datavalue":{"value":{"entity-type":"item","numeric-id":6079237,"id":"Q6079237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079238$E6568C2D-278B-44F9-9483-7BD03A850F2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85e9fa56e4bc3415a8bc443701bc1ff7ec8b61a3","datavalue":{"value":{"time":"+2023-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6079238$AB4FB1A3-6989-4BFC-AB13-58F0DBB6C1CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079238$6E7FB4A8-EAF4-4B75-8049-286EF5A78C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079238$72FADA44-3432-467B-BFF1-04F9A544924E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07a63d1c42e92f5174ce138aaacbcfb641792e8b","datavalue":{"value":"7756113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079238$D8E51690-2447-4CFC-9ECC-C1AD7CB8E0CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079238$1B3B13F5-E47B-46FC-9F1F-D9E5451FE0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079238$51105442-56D3-451F-BE07-5041AEB42B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb9bd16289394d4b4e18ba4f1225667a9952255","datavalue":{"value":"monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079238$CDC65DFC-AE61-4C3E-8051-72BD19498CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5995e018a24e69f6e12809f6df5dcb39f0eca2","datavalue":{"value":"groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079238$79623E49-7CFA-454F-A074-BA6224E7D81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6886acc9bb720e6ad7ca13e49d3bd87570dc950","datavalue":{"value":"higher inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079238$789FC505-43AC-47DC-8185-73389B716193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079238$964B2216-C350-428F-8399-3CBC5A72FF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079238$3A2C9681-6E0D-4D6F-9FFE-ABE4EFEFE22D","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":"Q6079238$73EEDC06-88FC-4A30-AD38-89D9CC6A9D7A","rank":"normal"}],"P223":[{"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":"Q6079238$E7727426-0026-48BE-B275-E60141158B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe2344bfb19519775177714e0f07b072be03e9f","datavalue":{"value":{"entity-type":"item","numeric-id":4647569,"id":"Q4647569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079238$6BDEF765-26E1-4C8F-95A9-1F0BDC6E8FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a5d4ac1c8b434a0d89267cd5b7138fc554dd4b","datavalue":{"value":{"entity-type":"item","numeric-id":1687770,"id":"Q1687770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079238$4E080F30-8EDB-4073-ACB0-6234CABCD259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c313607c5b1e0df9ac4308367c819e2105df73cc","datavalue":{"value":{"entity-type":"item","numeric-id":2555556,"id":"Q2555556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079238$82C2C8AA-727A-44FB-99F6-BD34DC4F62CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a157f95ce44496470651a21b767404fdc4b38","datavalue":{"value":{"entity-type":"item","numeric-id":3159161,"id":"Q3159161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079238$7851AD43-2C24-47A5-A241-F85A1ED998CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f985e5e7c8a7887023cac4b87587be4a01f9a98","datavalue":{"value":{"entity-type":"item","numeric-id":4635794,"id":"Q4635794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079238$6B333049-7BAB-4A0B-93CC-3BAEB8382F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53458ea6fb8226f45286b66b34cfd0506d1878ea","datavalue":{"value":{"entity-type":"item","numeric-id":5271059,"id":"Q5271059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079238$89D38D3C-2BA5-4B1E-A0B5-45FC6FA89B80","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":"Q6079238$6E4F1E40-D64E-47A1-81B4-D8DC7254702C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079238$3EE7FACB-5C56-4C05-805F-C244084CE555","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":"Q6079238$FCFD9806-DBFE-478A-AF50-F6738748C1AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cf89f43884fbf82c43e44b24f6d8f6128566a62","datavalue":{"value":"10.4230/LIPICS.TYPES.2019.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079238$4962E75A-0E76-4E60-8E87-34F9069B8BBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee7899076fdac8cabf86947fec867d7422dc746","datavalue":{"value":{"entity-type":"item","numeric-id":4647569,"id":"Q4647569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef44fc9c3469555bd023477b2915196932ac7bb7","datavalue":{"value":{"amount":"+0.7914296984672546","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":"Q6079238$68B7A1AD-38B9-43B0-95CD-F38312E1A77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94c3d615144c9d2aecd32a1e49f21b329eede06","datavalue":{"value":{"entity-type":"item","numeric-id":4649461,"id":"Q4649461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbb5deb24d4a2c6850202fc2cc5d1bdbee43a3c","datavalue":{"value":{"amount":"+0.7608911395072937","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":"Q6079238$7AC59052-6496-451B-8A0E-7C58FF4662EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad3f7793c966f5800be0bc53668750d78d41f94","datavalue":{"value":{"entity-type":"item","numeric-id":5145692,"id":"Q5145692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab102962b5368bf53f80bbfea07f4d3cc4f7508d","datavalue":{"value":{"amount":"+0.7504622340202332","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":"Q6079238$DB3ED8B2-7788-44D4-8B23-55E3EEC39212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46f34e4cc650b64ebb003303883a13e97b05d02","datavalue":{"value":{"entity-type":"item","numeric-id":5145293,"id":"Q5145293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d9a649ce219e509aaae062a3948424fd4a9a0d","datavalue":{"value":{"amount":"+0.741767168045044","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":"Q6079238$D0248679-6835-4161-91F2-CC71E3C29EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eac855b811f1b970acabfcc819dcc4856f74155","datavalue":{"value":{"entity-type":"item","numeric-id":4995162,"id":"Q4995162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a0a01a2fd14a54b4f6f729c7a0d51a54261ed9","datavalue":{"value":{"amount":"+0.7411627769470215","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":"Q6079238$CD6B6173-CB11-441D-91ED-25824BA717BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6079238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6079238"}}}}}