{"entities":{"Q5145671":{"pageid":7175242,"ns":120,"title":"Item:Q5145671","lastrevid":58460301,"modified":"2026-04-05T07:53:52Z","type":"item","id":"Q5145671","labels":{"en":{"language":"en","value":"Coherence via well-foundedness. Taming set-quotients in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299503"}},"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":"Q5145671$18188F5B-C842-4D16-A62E-318C9F7B1220","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78994849071f3baef24605d8673cda07ececf8c3","datavalue":{"value":{"text":"Coherence via Well-Foundedness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145671$B5D1A669-4EFC-4373-B369-C9C89590ACC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c69e6b424d8bf774b5f7dbf0839bb3b31c773363","datavalue":{"value":"1498.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145671$85ABAADA-219C-4A52-AED3-784E75295977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c030230710cc4d0dae5de4c0112b5fa1ba812d3","datavalue":{"value":"10.1145/3373718.3394800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145671$A09BA315-8669-4631-AF4D-CED99DB2B692","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145671$AC124CA5-0479-4420-87BB-7CDE6327C073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed91f18c49a16f542aacf01077ba8073712fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":1687768,"id":"Q1687768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145671$7B3F059A-EAC8-43EA-9FDE-7F787A0E6497","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145671$085CB15A-0772-463A-B374-88C673335103","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145671$3A29CCBB-B076-4BCC-83B4-0F80FD60879C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e4276d5c6d4ed06a02f6d2a02ea963a0eb7c695","datavalue":{"value":"https://arxiv.org/abs/2001.07655","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145671$EA8C3572-305C-4878-9DC6-6095BFC6E064","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145671$3E3F1F0E-0409-4FE3-8C16-97A3C433058F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145671$48113934-6ACB-41D5-9A44-26ED5DD287EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145671$A7066D84-9423-4FDC-A70B-055AD51717E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17e496282c51252b820b6cd231719c7cf99fec38","datavalue":{"value":"7299503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145671$0C451083-B99A-4087-BB64-3C7177DCE325","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65277df57c884f41d0c32b79b46da77e2d37661","datavalue":{"value":"coequaliser","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145671$3F8F78F6-9A84-4774-A3DF-ABF2585532F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145671$6665090F-C123-4318-A54C-F0F14989AB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb0da4c7c49e685c75a6821331b312dbb5ba326","datavalue":{"value":"free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145671$6AAE8049-37C7-4551-A1C1-9B20714BF73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b5e1e178528cd5c6849e0f50bfa9e6cee5cd6ce","datavalue":{"value":"graph cycle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145671$B95FACDB-C7EE-4A79-A11B-349FCBEEBEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe802cd0c56541564b404252646a442e231b0d8","datavalue":{"value":"graph rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145671$4BB06711-F752-4C8A-BA07-7FEA0AC25DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145671$C589161E-224C-4682-9B86-7A89160E61A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336f2be9956a1184564fceaa16d494aaef70c1cb","datavalue":{"value":"local confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145671$AEC624AF-8F7B-4DFC-AAA5-77E706EBC4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a49a590ef4e7bf9267f7cd7da38f835f53004bd","datavalue":{"value":"set-quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145671$D200E842-C33A-4AB2-A536-E2A3110B2D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b6f603afdaeaf3e2700584d448bf86fc648cea3","datavalue":{"value":"van Kampen","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145671$59D373DF-54FB-4D1A-935F-C5AA3FAFC3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27dec064b3be20422499d7d4b3868489cd2827ac","datavalue":{"value":"well-founded relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145671$710F3348-7130-44E8-9E83-CB33F43BC4ED","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":"Q5145671$67FA033B-9685-42C9-8BBF-3FA0C08D5518","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64995cf21b45d403f3e51c6672d4bcacdaa4501e","datavalue":{"value":"W3101094428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145671$70BCEFF5-FDE8-4F7E-83BD-FBFF2EE887D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01325a2d6096e882a8190f8ecbd6a21ce18c70b","datavalue":{"value":{"entity-type":"item","numeric-id":4435464,"id":"Q4435464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460d0cf43dbbbb2f99c86d8ea8be8036a87d4c13","datavalue":{"value":{"amount":"+0.7183314561843872","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":"Q5145671$CF95582F-3B35-4A73-BC7C-5EC6181897B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc9b9330d1f5c66f120be434f09d27704326a4c","datavalue":{"value":{"entity-type":"item","numeric-id":5740649,"id":"Q5740649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d253e0c0e35eeacc54ab8ca9096f5c8e324c8c","datavalue":{"value":{"amount":"+0.7178008556365967","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":"Q5145671$71F0BA47-5296-47B9-95E2-7DDF4C430DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a3b5777cc7684a005cbcba160e7c897bab2d5e","datavalue":{"value":{"entity-type":"item","numeric-id":5879270,"id":"Q5879270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f0d424bfb4897afa92f1a5659a6f2925b357b6","datavalue":{"value":{"amount":"+0.7153856754302979","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":"Q5145671$BA3A4C08-6E69-4BF8-BBAD-6B66835B2845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821053c5a3a8c175a7e21446a81201ad4a83da98","datavalue":{"value":{"entity-type":"item","numeric-id":5277827,"id":"Q5277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e5acc03364149c8da877667e8901840bc5277f","datavalue":{"value":{"amount":"+0.705635130405426","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":"Q5145671$1241298C-6EF1-4877-8D32-7541EEE64FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a611ae37cd77e81d821a59e1af5afe2303c597fc","datavalue":{"value":{"entity-type":"item","numeric-id":1687770,"id":"Q1687770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a144aaa412509e83f8d713f918a1973b94ffe71","datavalue":{"value":{"amount":"+0.7042286396026611","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":"Q5145671$B76EB2D0-D32F-4FD1-B491-DFBA1B7D78C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145671"}}}}}