{"entities":{"Q5084306":{"pageid":7113882,"ns":120,"title":"Item:Q5084306","lastrevid":100143998,"modified":"2026-06-05T21:30:03Z","type":"item","id":"Q5084306","labels":{"en":{"language":"en","value":"Martin Hofmann\u2019s contributions to type theory: Groupoids and univalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547337"}},"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":"Q5084306$EFE1605B-61FA-4D00-AEE8-D6A988DD9BB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"475b71c2bc94b5e48702fb7774d7c384ec18fdc3","datavalue":{"value":{"text":"Martin Hofmann\u2019s contributions to type theory: Groupoids and univalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5084306$64D4D60D-E7E5-43AC-93C3-4E95B73FF360","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d67d2655f0e99d143ef195882b3f2c2859209b40","datavalue":{"value":"1496.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084306$61E14A9C-7AC9-49F1-AEEB-820BF4EBB91E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ff121ead6f1777ab408c67e5ad3c53851a99fd","datavalue":{"value":"10.1017/S0960129520000316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084306$4E47965C-FEE2-4E11-B871-D568122356D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084306$3A4BCBFC-3C96-4637-8E85-5963C85F23D3","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":"Q5084306$5D843E74-75B9-461A-AE48-639417315FB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5084306$DA701816-2E41-4B3C-8B03-8610510C683D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084306$895A5886-BACD-4353-950E-7037436C2159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084306$FD506343-BF5D-4396-9F0C-6BF8FE4DE4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084306$5C4D8EE6-9A7F-421F-AE81-E9D41117150C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"933a42a649e181ac91feee4adb14fc52d2256441","datavalue":{"value":"7547337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084306$E8DFE8CF-8E4E-467B-BF08-1D29E972D391","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084306$6DB02746-AAFF-4481-8FAE-87DE2E4ECD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5995e018a24e69f6e12809f6df5dcb39f0eca2","datavalue":{"value":"groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084306$B8C36BB2-697A-4800-82FE-07621BA16319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8388859765d437448f22dabfcf407925aaddb93","datavalue":{"value":"univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084306$28F01FAF-42D2-4109-A75D-D431B676AB2A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084306$0E65485F-A45B-4483-AEC0-34E8DB19EB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e9b09c47e4b49c0108868947f797bbd493cb767","datavalue":{"value":{"entity-type":"item","numeric-id":1350644,"id":"Q1350644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084306$387E530D-1F6A-4728-9FB0-3DB293CE1889","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":"Q5084306$0B15BD18-FDBD-4DCB-9748-65BEA74D0FF8","rank":"normal"}],"P223":[{"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":"Q5084306$0ECCEC1F-70DB-4D12-B633-44F47F03BA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084306$E35E1080-29D7-4241-A5B0-D682FF8B00A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084306$164EF02C-35F6-4A77-9A5D-68464EE6F0D1","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":"Q5084306$6D20D2D1-D82F-42BE-86F3-14B190A52762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbbe15d022eb0f715525fc153b38bd21e01f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5016211,"id":"Q5016211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084306$F478CE7A-6A3C-4B89-B326-01A693629DEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd07a9d188caf3f32831939dfd2c0b126df38ff1","datavalue":{"value":"https://doi.org/10.1017/s0960129520000316","type":"string"},"datatype":"url"},"type":"statement","id":"Q5084306$6E6F4D29-E346-4716-AB2C-E009E2AB99F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d68ab27689d9e2e8133f6bbde19a2277ea583437","datavalue":{"value":"W3174180696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084306$CEFEDEF6-167B-41A0-BF16-65700585A79F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5630c0d64d652235db02577c863c7a557d399a2","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325ff00e60c41b20b4f2ef6aa3ee69eeb795c59d","datavalue":{"value":{"amount":"+0.8794107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084306$C91898FC-5F67-4744-8F51-15F063C9C26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2c5b1df2fa19ba1a87da6f9dd599f715381726","datavalue":{"value":{"amount":"+0.86248684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084306$1D691D12-CE42-4CE8-B136-A9D45D78B94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e2fa711171a0ac47274caeed4c6108ca6294c1","datavalue":{"value":{"entity-type":"item","numeric-id":2933829,"id":"Q2933829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338d0f1b1a9fecfb84c52bd1c5f17308d4217c2e","datavalue":{"value":{"amount":"+0.8585309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084306$0BD4FBF3-9357-4984-99FC-62B996B13801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983e8f9ece19e86d7ea0ffd24a6d7ce7cfb8a5f1","datavalue":{"value":{"entity-type":"item","numeric-id":750438,"id":"Q750438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb06a1c7a55bb9d1e1589ad5693d5ffa62d226c","datavalue":{"value":{"amount":"+0.8561549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084306$57B5AB7B-0F11-4A39-ADE9-1B2967E6D32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b627fe8f88755f69fe58c63cc1d3b67019de3e17","datavalue":{"value":{"amount":"+0.85438114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084306$834D71C5-B197-4F76-9CA1-66877C56378B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8145187d7ee32805570e09d78a7d58c6b3266dae","datavalue":{"value":{"entity-type":"item","numeric-id":3305624,"id":"Q3305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff05c0820ebf334987a1db40ceb348019841b805","datavalue":{"value":{"amount":"+0.8542237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084306$E75EEA6A-BCBC-4724-8384-5A22E00DC83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4d1b0501bc0ca62d393e5b76273a0ea507e928","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9ca54fd51139d0422654396e3f88512735d696","datavalue":{"value":{"amount":"+0.85181874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084306$D74429DE-449E-407C-B4DE-8F7BF73A2804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56faf83dd3c35ff4fac6f2853c0146890c0ccc7c","datavalue":{"value":{"entity-type":"item","numeric-id":3093873,"id":"Q3093873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730e5649bdeb71168b04fe3d783100efa490678b","datavalue":{"value":{"amount":"+0.85175455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084306$C8CD76B1-1743-47CC-83B3-818A6DDB53A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1d3f5ef089cbf22ba48486e544f9deba49cc31","datavalue":{"value":{"entity-type":"item","numeric-id":5740647,"id":"Q5740647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"348382dcbd410269d6c5739f23a4af16123c5341","datavalue":{"value":{"amount":"+0.85034037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084306$43ABCAB6-5105-4B66-8B42-A449C3E7DC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc9fa361fa3867f7717436ced2f985449798e05","datavalue":{"value":{"entity-type":"item","numeric-id":4295233,"id":"Q4295233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64899f53043dd375e2da380aa2733ce33d242eab","datavalue":{"value":{"amount":"+0.8483457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5084306$EE481181-9FD0-495E-85D9-FD8773548E5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Martin Hofmann\u2019s contributions to type theory: Groupoids and univalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Martin_Hofmann%E2%80%99s_contributions_to_type_theory:_Groupoids_and_univalence"}}}}}