{"entities":{"Q2230805":{"pageid":2241548,"ns":120,"title":"Item:Q2230805","lastrevid":71624769,"modified":"2026-04-13T23:28:50Z","type":"item","id":"Q2230805","labels":{"en":{"language":"en","value":"The Cantor-Schr\u00f6der-Bernstein theorem for \\(\\infty\\)-groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7402358"}},"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":"Q2230805$A174DFE0-7547-4117-854C-E325A2539780","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"387831ebeab401eb841a09f7f348c2ba925082b9","datavalue":{"value":{"text":"The Cantor-Schr\u00f6der-Bernstein theorem for \\(\\infty\\)-groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2230805$B9C619F6-CFDB-4FA7-BC88-7AB121F3269B","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":"Q2230805$7BF30AD6-831E-4CF5-8953-A6A7540DF71F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f547af18a2692ab85e737a33938e3d90c4bee546","datavalue":{"value":{"entity-type":"item","numeric-id":260070,"id":"Q260070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2230805$93C71E9A-621F-41A0-AA96-E9B744C05757","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e0a20a85c4acee032772bf87985ac88d544c33","datavalue":{"value":{"time":"+2021-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2230805$495AB11C-A979-447D-97CC-1EBEC3449F32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fd3e7f3bc20972f9eb3ce1c2f68cbc8e90e192d","datavalue":{"value":"https://arxiv.org/abs/2002.07079","type":"string"},"datatype":"url"},"type":"statement","id":"Q2230805$46F9C58B-1F10-4E07-ACF5-F283F8C3E4D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2230805$67AB1DAF-5EBD-4ECA-87F2-E60DD1FBE7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2230805$369FFEC7-BB06-4017-B073-7D56F2729587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2230805$E4EEACEE-2B9D-4ABB-88D2-9125F7ED33FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2230805$CFC63F86-81F8-434F-82B7-B95361937813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2230805$2C2AAD50-681E-42EC-B28C-1445CB237C3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"002fa24fad1b7f44193ec40d7f53ab1f253841bf","datavalue":{"value":"7402358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2230805$97FF4F11-A5A0-4D0C-B4A4-139B6F87920C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c655c4a7a993a6f6c2a2aa6d812d1685477d194","datavalue":{"value":"Cantor-Schr\u00f6der-Bernstein theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2230805$F2EEF298-146B-4DBA-96A1-4F99AC446FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb24e5a51118a929123b57432fbce183d0524493","datavalue":{"value":"\\(\\infty\\)-groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2230805$199AD439-003D-483D-A707-4053B0F72CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2230805$E8685EE3-0F72-4842-9A53-C8128CEE62F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc29d347a2fb5ab12fe5de5ba7a30a9fdf2916f","datavalue":{"value":"univalent foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2230805$EF35D064-123B-4F7E-A9A2-7584D1AD6BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f6a6f9f886e057b81df4750feacc2ea29602289","datavalue":{"value":"\\(\\infty\\)-topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2230805$551E9268-CB0A-44B1-8C8B-1DF64D951736","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":"Q2230805$45255332-823A-4C42-9A10-4ED905381041","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f33de8586e13eb6132fc987c76080f071804477e","datavalue":{"value":"W3175497240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2230805$3FCBD887-7309-49DB-A67A-FD808304DF2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46bcbdedd496fd335764cbe8b300c8286ea7ecfa","datavalue":{"value":{"entity-type":"item","numeric-id":4773706,"id":"Q4773706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2230805$00064AF2-28E7-4BB2-86E0-32811F3779F1","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":"Q2230805$92788A34-486B-4AF2-9067-406D4906D085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19e0e38e5776e3c23c3c2c6c9510fee6e895b6ae","datavalue":{"value":"10.1007/S40062-021-00284-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2230805$0532CFA4-7DCD-46B6-9323-925F0C314F1E","rank":"normal"}],"P1463":[{"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":"Q2230805$A8A6F2C9-B983-4438-8C3C-2CFA626E3D8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c6c181a1074cc92c3a50809b6e30562e4d6de8","datavalue":{"value":{"entity-type":"item","numeric-id":3741774,"id":"Q3741774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb12bb02f62e774dc5bcdf288661e53b5832377","datavalue":{"value":{"amount":"+0.755373477935791","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":"Q2230805$22C9C45E-5B98-4E96-AAF2-9D7CB0CFEC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f3e3670788f15a5fb2d27c5dfc37892c288e49","datavalue":{"value":{"entity-type":"item","numeric-id":1740494,"id":"Q1740494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ae0af738a7e90114ec693482292ce9cbe1e075","datavalue":{"value":{"amount":"+0.7347947359085083","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":"Q2230805$724FD7F8-C463-4B2E-ACF0-230B716012F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21963b3c71288fa5dd53d4988c0465371d57a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1889572,"id":"Q1889572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a4d4932499054511d2b9d55dd6b98784adc6fc","datavalue":{"value":{"amount":"+0.7137724161148071","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":"Q2230805$AB5AFCDB-0B12-4A02-A9CA-0E221E1D6421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04cac9846fac5746a2b109f8f937c50e378b919f","datavalue":{"value":{"entity-type":"item","numeric-id":645300,"id":"Q645300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab483c5656395176d188baab430978692e368f0","datavalue":{"value":{"amount":"+0.7052356600761414","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":"Q2230805$0BC79246-A99B-47EA-9FCF-5BFA7D016760","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":"Q2230805$45C455B5-D674-4B1D-9C46-1260DA97694A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Cantor-Schr\u00f6der-Bernstein theorem for \\(\\infty\\)-groupoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Cantor-Schr%C3%B6der-Bernstein_theorem_for_%5C(%5Cinfty%5C)-groupoids"}}}}}