{"entities":{"Q5740656":{"pageid":7770208,"ns":120,"title":"Item:Q5740656","lastrevid":58602075,"modified":"2026-04-05T23:06:51Z","type":"item","id":"Q5740656","labels":{"en":{"language":"en","value":"Univalence for inverse diagrams and homotopy canonicity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606942"}},"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":"Q5740656$3D45E5A5-0058-488F-AAB3-944413A652B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e0d050e99151f95fdfe6e23824b4160f1476145","datavalue":{"value":{"text":"Univalence for inverse diagrams and homotopy canonicity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740656$0A3E1589-3262-47EA-A20C-042EF051906F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4151ecd0d6585bba61e894083a4fd6e2a30dd0bb","datavalue":{"value":"1362.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740656$EE0B95FF-301F-4530-9AB1-2B398F047545","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06d43b5d08c308236d69309bd1f8f8a9242f0117","datavalue":{"value":"10.1017/S0960129514000565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740656$670FE0A9-D808-464A-B0A4-693DE8B037D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec988e4b31ab0b3fd008867fb1fbedfd6f4bff","datavalue":{"value":{"entity-type":"item","numeric-id":246332,"id":"Q246332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$B4597E3F-1102-4126-8E0A-EBD4EC6EF3EF","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":"Q5740656$4B019FBA-19C5-4D8D-B895-1B51A1C1ACC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-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":"Q5740656$AA15627B-A302-41CF-AB50-EE7EB0DB703A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7b573636d34724acc629b050e4933104ee6ffcd","datavalue":{"value":"https://arxiv.org/abs/1203.3253","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740656$3C862373-81CB-4695-BF89-694DC9D79295","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740656$85CCDFB7-5D6A-4CFE-87F1-B4392748DA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740656$34A51018-FC45-490B-9E21-4DFFD217E199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740656$D3415051-8612-4ACF-A2B5-E9163CC91DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740656$7C0465A8-3B8D-4DB5-A0A6-252DC1881ECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67d01eb09a2c6b8490f4171b9d5c3537c97e788b","datavalue":{"value":"6606942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740656$DF3F4E85-0FBE-4A53-A5EF-20BC9AAEDAD2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b42f9f85fe99ac12b1a5c2f31e0fe7cfbf5c2ec5","datavalue":{"value":"Q59757174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740656$51C2C0D1-F894-4374-88FB-97EB2FE4BAF9","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":"Q5740656$FE2CEE07-38D7-4F54-ADE2-CEFB550C528E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a79fad678f967c6528bd2993b5707c57ab0cbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2530658,"id":"Q2530658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$BEAD9D84-098F-4D91-B06A-F000577CB1F7","rank":"normal"},{"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":"Q5740656$EC991192-B7BD-4DEF-AD92-48894AA485E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf27b7a78446b5193e149e1748bf4d4fa28420c","datavalue":{"value":{"entity-type":"item","numeric-id":4790109,"id":"Q4790109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$FD829949-4AFC-47FD-9574-05B9B880D670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c5d4cff434102bed227e3e021e251aecd1efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$6C47CA36-9F03-442D-9466-A8175543DD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c941bf9223250701f6051d85d66afc25d0e79c42","datavalue":{"value":{"entity-type":"item","numeric-id":4767267,"id":"Q4767267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$53169EDE-402D-48FE-AC96-3228515C80A0","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":"Q5740656$58C321E1-5F4B-4DB1-AAAE-8B861173532E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db902e9f20ea5851df36ed5589546165ed55035","datavalue":{"value":{"entity-type":"item","numeric-id":1955710,"id":"Q1955710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$B59AC79B-A5E4-4598-9D20-B1A34561B69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938d37d30756e94b9162a22aedccc9ec290ec59f","datavalue":{"value":{"entity-type":"item","numeric-id":658322,"id":"Q658322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$939066A3-86E2-4504-B559-C139135BB282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd924493e9168b7d214036453195d2e9622e00a0","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$C2FDF9AF-A0D9-4400-97E5-A19D3A994422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a576d6b7e0693dfcffa98b06979dd715c004fae2","datavalue":{"value":{"entity-type":"item","numeric-id":1850079,"id":"Q1850079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$C9E875BA-CE82-400C-9915-4E7302F8FDD7","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":"Q5740656$3BF57977-B5F9-4092-838E-F8DCC50924AA","rank":"normal"},{"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":"Q5740656$318F749E-D566-4246-A282-7512EF050558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$F781B059-26F2-4A0F-B0AB-14D29292A7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7422cad8d4050c02afacd58927c0fd6b65fb1f","datavalue":{"value":{"entity-type":"item","numeric-id":5395553,"id":"Q5395553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$376E44BC-6E87-4955-B74F-9EE5870296BB","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":"Q5740656$CFA4031A-8423-481F-A634-429EF054B051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3152d8e4b139c56be2c850741e16ba2d6231d","datavalue":{"value":{"entity-type":"item","numeric-id":4220599,"id":"Q4220599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$6EBE6953-3F35-436D-9590-F4F41B5CD499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8387b9cbe2803fffff606b2f25dc81e9973b4d0","datavalue":{"value":{"entity-type":"item","numeric-id":385804,"id":"Q385804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$352E8528-249E-4A6D-94F3-FAFC3385A733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf81dd7bc447ff4f4ccd832a192eeee330c7018","datavalue":{"value":{"entity-type":"item","numeric-id":2560474,"id":"Q2560474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$466D1570-5DE0-4E2D-9032-6892EA6673FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740656$41CD83CB-EACB-4BE5-B937-CAD6FE371015","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7964a8e5035386e080207603af2219d2a78d4e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4581462,"id":"Q4581462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da80808963ca6519c504baf27b7e732e2828d88","datavalue":{"value":{"amount":"+0.8366281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740656$3C537184-4951-4889-8337-59D14E846D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936c250e6df014634a63438944ed866ecc7a9168","datavalue":{"value":{"entity-type":"item","numeric-id":5963045,"id":"Q5963045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e69bea1cf86978ae3f076587a34f7e4dd6d22fe","datavalue":{"value":{"amount":"+0.8302572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740656$B055A5E1-02FF-40A8-A826-0227AA4488B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b65aa6513edee507b0b5a4d67f61d03101a341","datavalue":{"value":{"amount":"+0.8180487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740656$C5F57172-8744-443E-90A0-9E69F4006EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6b838e7bfe76c06c4bf25fce618d6bd027c26b","datavalue":{"value":{"entity-type":"item","numeric-id":2423835,"id":"Q2423835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f90db298cc91270512b5f1e40860cfaf9fcced","datavalue":{"value":{"amount":"+0.802881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740656$4771DB23-309A-4B0D-923B-E2C4E92F6913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c953c9e741b1de0ccf70dca743be53f7bd128d","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95875a91f04ee2c4e4ea537f126926ec72853ce8","datavalue":{"value":{"amount":"+0.80236346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740656$CAADE6CD-63F8-41C2-B92C-0C69A5CF1971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f550e633d3049d5be0bfe9615ede54f8c2a438e3","datavalue":{"value":{"amount":"+0.8021783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740656$6017C1A0-8827-4EE0-B3C5-ACEE5FBCF129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e0f7bb7fceb3fadcbe8d2ac5700e675b8c5206","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a5c9554f4d9078b1ad2dcda199fb95f41679d5","datavalue":{"value":{"amount":"+0.8015433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740656$0BA01BC1-EA21-49BA-AAC5-F9655AD4907A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78b3c47873abd755402e2604bc3fa96c4373859","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985f25be44c67d153722e3a5b38e061e6a34180f","datavalue":{"value":{"amount":"+0.80058926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740656$2DE9FB8C-D895-46A8-AD28-6ACB4824921C","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":"6d5ad305ed6a1bbf3bf7c30690bbae6d339903dc","datavalue":{"value":{"amount":"+0.79613423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740656$F2B9030C-4D5A-40F7-A506-760A58D44834","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740656"}}}}}