{"entities":{"Q5879185":{"pageid":7908736,"ns":120,"title":"Item:Q5879185","lastrevid":101968238,"modified":"2026-06-06T03:13:26Z","type":"item","id":"Q5879185","labels":{"en":{"language":"en","value":"MODELS OF MARTIN-L\u00d6F TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7657282"}},"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":"Q5879185$30BA9287-676E-45AF-8D5C-E00E6747294E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0feee7e4ded4f2efa3db52c7d5ce2857047b4cbf","datavalue":{"value":{"text":"MODELS OF MARTIN-L\u00d6F TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5879185$76295A81-222F-4499-A0A0-C3AA9DEF8DA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e85d980a71ba2f21f2ab5dfb6106cc1a8d5441ea","datavalue":{"value":{"entity-type":"item","numeric-id":531323,"id":"Q531323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$57D66258-49E3-4303-8FE7-6FCC13C60349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ea599b8a61681ae18ce6374c29577cb62a5f44","datavalue":{"value":{"entity-type":"item","numeric-id":5879184,"id":"Q5879184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$7251BC1C-D721-426C-AEF0-B276DDDCCCD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16ecf39133aabe3336a8432c378502837482371e","datavalue":{"value":{"time":"+2023-02-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":"Q5879185$CE6E806B-CC95-4D3A-A661-14BC9DD1ACFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b29715261543d5e67fb13493bf37adfcdcbb839","datavalue":{"value":"https://arxiv.org/abs/1906.01491","type":"string"},"datatype":"url"},"type":"statement","id":"Q5879185$AD22BABC-B477-4223-A8B9-03D3F54A76F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879185$7BF03E1A-0D1F-427E-BE0A-AB9D891DDC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879185$2F606E98-89BB-4A5D-857B-B91B0E378EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879185$10E17709-DD92-4425-9F6C-CAA66C7AEC00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdcea5c2427cbc9487673adc461f46ab49229f3c","datavalue":{"value":"7657282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879185$634CB4AD-D025-4C78-83BD-016CECC9543E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62208c60620bbe6b5b593f9b5dcc35c38a44e94","datavalue":{"value":"Martin-L\u00f6f theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879185$6CC58364-B4BD-4B83-B8C6-D2BB767B0DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24281c20899136981c5e62904a3926bc0e2b40d","datavalue":{"value":"comprehension category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879185$13022D94-97F7-426B-B347-86357EEB8E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98bba36d5c3cfeab525ffb7d1b5002239f95d6c3","datavalue":{"value":"algebraic weak factorisation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879185$58F74FAF-8D49-4120-9292-DC02E3FA1E76","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":"Q5879185$DBFAE421-6F4E-41BA-9FF3-2F8660CEC28F","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":"Q5879185$24D5852B-EE57-42DC-B0A5-F1BD1B5420F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae50097323235186c77a1c5ca58924f6076fbc78","datavalue":{"value":"W3166306701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879185$45E5B1BB-B699-4EDE-B776-10A880D4BC8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$2455074B-3182-4F61-9289-7E2FF92ECEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f04f0d3148d81d983aefc969008822f60ada25d5","datavalue":{"value":{"entity-type":"item","numeric-id":1948311,"id":"Q1948311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$9B0E70E7-4C0E-492B-A381-73A5ACE25ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab5253ac879eac01b75fc4c22a1a366d2585e79","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$D7AE28A7-316D-4B0F-824D-D9F2CC83C626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51636923ea16744023bd5fc2b9721836eb3ae76","datavalue":{"value":{"entity-type":"item","numeric-id":2257308,"id":"Q2257308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$FBDEBD71-94A7-4D7B-8AA4-AA0B797F14A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3405d5cb68136edc0233d81b51a594a9054389","datavalue":{"value":{"entity-type":"item","numeric-id":886977,"id":"Q886977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$6B3FA894-508F-4307-B22E-6EE316547AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205635edcf5e388367091c5429a3dfdbd141b9aa","datavalue":{"value":{"entity-type":"item","numeric-id":886978,"id":"Q886978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$2EC1EE9F-67BD-4207-BCCE-5F9B959C46AA","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":"Q5879185$09A3ACD4-05A4-4ADB-811A-8CA2DF7F78C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e8b1456dee9551f89f39091ccfd22ef7e728d","datavalue":{"value":{"entity-type":"item","numeric-id":5652846,"id":"Q5652846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$CFDB0CA6-F312-41E9-AC51-55A74CF2137A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58838f20fc20fe8a57fe4b0367b02befbcf07b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2253180,"id":"Q2253180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$96832BEA-7960-49AC-8AA5-90B4F261024B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9a24db72b6bb0725b67bb6bfdbbac244e65752","datavalue":{"value":{"entity-type":"item","numeric-id":1815797,"id":"Q1815797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$6519E97D-E323-4EB0-825D-C2333345B87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c81d15ec23e385c5dab94b796287417b469ec8e","datavalue":{"value":{"entity-type":"item","numeric-id":5084307,"id":"Q5084307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$62CCA47C-3900-4288-8F02-FE05F6096333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$786CF9E0-D7E3-4897-8C80-BCA9D383D000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f63fdb0bf0e39d4ce8cf3d427b93284ad6f8e","datavalue":{"value":{"entity-type":"item","numeric-id":2013548,"id":"Q2013548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$C173BEB2-FE21-4F72-8500-2E12966CEA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357562bc67ef501f6f56141e147b07e88424eafa","datavalue":{"value":{"entity-type":"item","numeric-id":5896982,"id":"Q5896982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$4577F6C4-0F23-430E-BB4E-A72D65312665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af93b5fa5462d814ec1727ded36dede0d3d683af","datavalue":{"value":{"entity-type":"item","numeric-id":5632701,"id":"Q5632701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$7DF275F4-DCD6-49CC-9C41-7875C61C319D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47fb13cceb7bf5f2c6a3aca2a748164c5a34a00d","datavalue":{"value":{"entity-type":"item","numeric-id":3539846,"id":"Q3539846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$CD57F754-33ED-440A-8196-F864BF3FF36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$345C359D-A2D0-4C14-A8F4-4E37AAB44979","rank":"normal"},{"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":"Q5879185$60F08A7C-6930-4684-A3F4-5240B79596D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$2201DE42-F9D1-4F39-90B1-F7FB95DD1068","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":"Q5879185$1E30EF54-740F-4B38-A68E-AC856BE0AFAB","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":"Q5879185$9D508DD9-FBEF-4B22-B1E7-BA5F765F8407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$3911C058-E39B-4EE4-96C3-F10E3D8ED691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d71d26e466e0e250d946a4995d441465f07c4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$53506D91-8236-4070-94B8-806B99411C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73cd323ac3d7b64971659fa943a991907f080103","datavalue":{"value":{"entity-type":"item","numeric-id":554242,"id":"Q554242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$973FDECB-6875-49BF-A5E9-82433DFF31CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2122695937aef52d1e2997eb8923709d3fd39665","datavalue":{"value":{"entity-type":"item","numeric-id":2877676,"id":"Q2877676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$F17083BD-9EDF-49CF-85E0-4AF76112BFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$5A608457-8294-4442-829D-C3AF5738C29E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68aaf319dc773f825006b8bf3abca7a7df2bc9c0","datavalue":{"value":"10.1017/JSL.2021.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879185$7A5D50F1-EEAA-4086-B920-CE9C8D1D72E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$37F68589-E887-4AFF-8A33-B449DF4997E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2557dd07897a31b66a8a838d93de6f38e2fbece2","datavalue":{"value":{"entity-type":"item","numeric-id":1799035,"id":"Q1799035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6e4f4e1f4f31430acb33e43234ea84c43ecedd","datavalue":{"value":{"amount":"+0.8147315979003906","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":"Q5879185$7A2CCD51-968B-4243-B147-3B46A022EB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b26fe5ac7a27289dbae817b7d5587d50b620974","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e52b39ab2463b1c7c3336a4f8d8d64069919a5","datavalue":{"value":{"amount":"+0.8135774731636047","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":"Q5879185$91F440AC-2090-44FE-A690-5B1E86C06DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e42de5a5637d1d52883446f1eef5eda3bdd0b0","datavalue":{"value":{"entity-type":"item","numeric-id":280835,"id":"Q280835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f97eccba8d8828f6cc5e2644f3882a72343b588","datavalue":{"value":{"amount":"+0.793340265750885","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":"Q5879185$9836136F-DE2F-4B1A-B075-7E486D99E413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6070310897be2b2adaf0b208e6e943cc7b857098","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5952a900ff0d26919e966732079455d98bcd6c2","datavalue":{"value":{"amount":"+0.7929986715316772","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":"Q5879185$64911AD1-6182-4DBB-B191-E320EC00F78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6f9b193d58b8d862c9b6fc2be3eb7ec1b602ff","datavalue":{"value":{"entity-type":"item","numeric-id":385803,"id":"Q385803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56443c44dd8f9ca2e285fbc3f7f52092ce80b2da","datavalue":{"value":{"amount":"+0.7860130071640015","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":"Q5879185$2EABEAE3-55FD-4DEC-9AB2-8E5105F38C55","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879185$B0BFA795-E9AA-4EA2-9570-0F05A55D5CAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MODELS OF MARTIN-L\u00d6F TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MODELS_OF_MARTIN-L%C3%96F_TYPE_THEORY_FROM_ALGEBRAIC_WEAK_FACTORISATION_SYSTEMS"}}}}}