{"entities":{"Q5156770":{"pageid":7186341,"ns":120,"title":"Item:Q5156770","lastrevid":58459758,"modified":"2026-04-05T07:50:35Z","type":"item","id":"Q5156770","labels":{"en":{"language":"en","value":"Injective types in univalent mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7408497"}},"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":"Q5156770$7A353826-0166-4A4D-A93B-1E3AD46051A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41d0a59e20979aac79524dd1e4fdfa8e2a217af0","datavalue":{"value":{"text":"Injective types in univalent mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5156770$11CB5FAF-6F36-4312-B2C9-0CC98873D4C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9cfe24456a60ac785c1ff0b3e05937ca40bc17a","datavalue":{"value":"1478.18025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156770$3311694B-5088-4227-9037-52C78898B3AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6457d7e03b6194eb01e4e961b7002a0bc0418c0b","datavalue":{"value":"10.1017/S0960129520000225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156770$0CCB012A-9B14-4EB7-9A10-056C8F813154","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$82796066-18D7-4BF8-AF97-7F524B591CD1","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":"Q5156770$83973024-340F-455E-A88A-5C7C2129BFE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19503fdb9f610cd0af6e4046a14c0dee873d3c68","datavalue":{"value":{"time":"+2021-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5156770$BD7DA644-A70A-49EB-AF77-A58440098F12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9de7cea4b694f23c9132d9d8707c59c92bfb5cb1","datavalue":{"value":"https://arxiv.org/abs/1903.01211","type":"string"},"datatype":"url"},"type":"statement","id":"Q5156770$CE8A3A79-1F14-4D5D-B33F-C550828BBCAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156770$F1A7A881-3921-46D3-81F1-4442C1D70457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156770$43A5F39A-45CF-49C1-95B9-42DC16C8C401","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed85a118f948175ed1a83d399a5bb76a48e9dcf8","datavalue":{"value":"7408497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156770$172F7D70-100A-418B-AD03-ACE04584D62C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb4eccca84c676b4bfb8ba9d4889049cf3e25a8f","datavalue":{"value":"injective type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156770$07347C5F-A42D-4244-8A34-D9A47BC08763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb5b79aedff9a4a6e5bd10d704dca9efae5577fb","datavalue":{"value":"flabby type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156770$478DD7C1-67CC-4A26-8031-DBA61CC43ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816e19bb7f6362b1045edf130e6c2b2074c26040","datavalue":{"value":"Kan extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156770$00470CB2-E688-4847-852C-5E557527A167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c948ca306060d78166af2990c8475be2375d7d","datavalue":{"value":"partial-map classifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156770$A7472D83-7D69-4ECF-ABA7-F9596CBF8272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eff47ad0db4818bbe1ec9e1e7ed230b27030590","datavalue":{"value":"univalent mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156770$322799A6-6FFB-4F42-ACF0-50D14231C83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3fe3f5ce79cef43b16740889fd3395c13c03fc1","datavalue":{"value":"univalence axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156770$A4959AE3-FAB1-452B-B2E7-92F46891DB67","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c32ec85733726178a3caec675797900f5cc0af0","datavalue":{"value":"Q114116581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156770$0CA84D5A-A469-4326-A0DC-149D81D65DC7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$C8F70332-BD34-405A-969A-84AC36AA36D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$26089990-A800-42E4-87F1-B90003318C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$B7B3C448-139E-41B4-B3AA-332F4B7D49AC","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":"Q5156770$B9E77E83-56E8-4D0C-A5EC-B4047A30B9C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae2bb8e3eaf605f2603abd5e2b3d1f214189b02","datavalue":{"value":{"entity-type":"item","numeric-id":2305674,"id":"Q2305674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$A8C6DBF5-F5D6-44CF-8FE4-E263CD80ED51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d26aeb2dbcd0b7a1b0ff40a5c50d9ad788601d5","datavalue":{"value":{"entity-type":"item","numeric-id":5111189,"id":"Q5111189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$998DCFE5-F212-411A-9E8F-8D0C6FF12F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a27ea3aa90cf64736078e3b4642cb04634483ae","datavalue":{"value":{"entity-type":"item","numeric-id":712189,"id":"Q712189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$CCE0B659-91BD-4B67-8A1C-300BDA4BAFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1453c1eb6d6ae34c9c1e8cd653d14001cff06e8","datavalue":{"value":{"entity-type":"item","numeric-id":3978981,"id":"Q3978981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$26FDD961-F638-46AB-A6F6-9EC92A39D2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$9F7E6126-FF60-4875-A38C-A1EB52EF4BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7763e07b928c816d2f8477347e9b9223645d555","datavalue":{"value":{"entity-type":"item","numeric-id":2974780,"id":"Q2974780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$72DE9823-7729-4086-9E25-ECB3231508A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$5EFC35B1-2838-4DD0-9C86-FB62413ED4E8","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":"Q5156770$5B129B59-83DB-4B61-B5C3-C959DF3539BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9483d0139d2bb4d0d243ab47c468e3ad05746c57","datavalue":{"value":{"entity-type":"item","numeric-id":5740657,"id":"Q5740657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156770$6221C6BA-B19F-43F9-83D6-EEEB037151D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"558c79fd637d4e6e401dc578315a870249953619","datavalue":{"value":"W3120571129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156770$C5EFB4B2-7BCC-4E52-BF4C-6376B07FDE43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f37d3f156e4cff372e4f393a714bb44bfb1c261","datavalue":{"value":{"entity-type":"item","numeric-id":5241229,"id":"Q5241229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319a635c11cb39cd290c3b0c0e532acddba9a76e","datavalue":{"value":{"amount":"+0.88781685","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":"Q5156770$3422D108-2EBE-420C-909B-AED1B75F75BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7534f1f75ae3d3154e9dab273a40ac51a43bd815","datavalue":{"value":{"entity-type":"item","numeric-id":3100202,"id":"Q3100202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae4e3bbd73834fd4bf7c880555ff023aed7677f","datavalue":{"value":{"amount":"+0.8876821","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":"Q5156770$438D638E-487A-42AE-9761-CFC8DDB0D4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eceaac39afb5b5bf6071ca0d9d41e6a0697cba8e","datavalue":{"value":{"entity-type":"item","numeric-id":2986785,"id":"Q2986785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3028442fb7e034ec7d86b53e5ff254aee96742ea","datavalue":{"value":{"amount":"+0.8847975","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":"Q5156770$D08E8AD7-0834-4119-AF63-C5CCAC86FC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368a425bd5b150d37c3d82ab5f046caa68704ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4945205,"id":"Q4945205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b9c8aa0a41500473da674245828c5439af6700","datavalue":{"value":{"amount":"+0.8836906","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":"Q5156770$F75C6933-6DE3-41F8-9F48-EF73E3072955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bad704fdd52d282c2b34b4abc0580f4c544577","datavalue":{"value":{"entity-type":"item","numeric-id":2967790,"id":"Q2967790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b903f2a42836e192e2c48055a42e32f99b5c89a","datavalue":{"value":{"amount":"+0.8829275","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":"Q5156770$2B46F45A-D16F-4FC0-9367-0AF9BF6E7223","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":"2f1e43b374c1574ea9cf175dffb1c011dd3f8a8b","datavalue":{"value":{"amount":"+0.8814349","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":"Q5156770$85327E19-DFA8-464C-9D7F-696897C7B8C1","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":"c2a209360774d7976fa8f91aa063abac1ab0ae9f","datavalue":{"value":{"amount":"+0.8795384","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":"Q5156770$6F9E6191-850C-4FCF-BA4E-C82A326A2E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bd6887d85758270728bd2c8fa4b892ec46378f","datavalue":{"value":{"entity-type":"item","numeric-id":5111175,"id":"Q5111175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1066d88a4e07eb43ba99313d7aa6961f17345da","datavalue":{"value":{"amount":"+0.87901044","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":"Q5156770$9C8FF5F7-7B0F-4940-9E93-F960F09B88A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b62d4b361aa9331ede3c44848f550acba5c4e73","datavalue":{"value":{"entity-type":"item","numeric-id":4683858,"id":"Q4683858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1066d88a4e07eb43ba99313d7aa6961f17345da","datavalue":{"value":{"amount":"+0.87901044","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":"Q5156770$7B03DA5C-C110-4211-9F57-C6A349CEB549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da2646f179763d40c43de1a3d729614eeb7669f","datavalue":{"value":{"entity-type":"item","numeric-id":4013447,"id":"Q4013447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a12e61611be33c23910c9a4dd08d0b5a890a28","datavalue":{"value":{"amount":"+0.87875694","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":"Q5156770$800B5330-4349-42E6-AA85-4CD8A58D5E8E","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":"Q5156770$FBCA9607-FF22-40F2-9708-4608D6FA6341","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5156770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5156770"}}}}}