{"entities":{"Q2048611":{"pageid":2059353,"ns":120,"title":"Item:Q2048611","lastrevid":72532446,"modified":"2026-04-14T05:33:04Z","type":"item","id":"Q2048611","labels":{"en":{"language":"en","value":"Joyal's cylinder conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7384213"}},"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":"Q2048611$E4AF6E7A-665A-425E-B1A6-72A60AD603CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8c0c0b46d71aa4cdfa23ccd2777c7104d327781","datavalue":{"value":{"text":"Joyal's cylinder conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2048611$8547EF78-262E-4ECF-A0D6-D1D15C48AD1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6c63cf6b533ca57b98254126d674ecfdeddf39e","datavalue":{"value":"1472.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2048611$F58D4FF6-520C-4AC1-AA59-6E48ECB8E5C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79aa1d807f4088b99916d04afe8367f72d964cfb","datavalue":{"value":{"entity-type":"item","numeric-id":722251,"id":"Q722251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$1FB95581-E02A-4B4A-9111-9A77D3066CB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$69252092-65B2-4B01-BCFF-DAA98DD6EE41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1826f8607c5760c077e1bd09c042e2245e9b7c","datavalue":{"value":{"time":"+2021-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2048611$420A969C-237A-46FD-B525-BC1B1FE70EA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de4220e0ef2f9ffbb8b67d00f8c0f018e3d11443","datavalue":{"value":"https://arxiv.org/abs/1911.02631","type":"string"},"datatype":"url"},"type":"statement","id":"Q2048611$B5C1489B-3683-408B-A1B3-BF5F9C8B0FED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab3d114eed2dc6ee5b95ef654b8f7c5943e655c8","datavalue":{"value":"For each pair of simplicial sets \\(A\\) and \\(B\\), the category \\(\\boldsymbol{Cyl} (A,B)\\) of \\textit{cylinders from \\(A\\) to \\(B\\)} or \\textit{\\((A,B)\\)-cylinders} is defined to be the fiber of the functor \\[ (\\partial_{0},\\partial_{1}):\\boldsymbol{sSet}/\\Delta\\left[ 1\\right] \\rightarrow\\boldsymbol{sSet}\\times\\boldsymbol{sSet}. \\] \\textit{A. Joyal} [``Notes on quasi-categories'', \\url{https://www.math.uchicago.edu/\\~may/IMA/Joyal.pdf}, \\S 14.6] described what is called the Joyal model structure on \\(\\boldsymbol{Cyl}(A,B)\\), giving the following conjecture.  Conjecture. A cylinder \\(X\\in\\boldsymbol{Cyl}(A,B)\\) is fibrant iff the canonical morphism \\(X\\rightarrow A\\ast B\\) is an inner fibration, and a morphism between fibrant cylinders in \\(\\boldsymbol{Cyl}(A,B)\\) is a fibration iff it is an inner fibration.  The principal objective in this paper is to settle the above conjecture affirmatively (Theorem 5.5). A synopsis of the paper consisting of six sections together with an appendix goes as follows. The proof of Joyal's conjecture is addressed in \\S \\S 2--5.  \\begin{itemize} \\item \\S 2 constructs, for each pair of simplicial sets \\(A\\) and \\(B\\), both the \\textit{Joyal model structure} (Theorem 2.10) and the \\textit{ambivaliant model structure} (Theorem 2.11). \\item \\S 3 makes Joyal's observation that the category \\(\\boldsymbol{Cyl} (A,B)\\) of \\((A,B)\\)-cylinders is equivalent to the category of presheaves over \\(\\Delta/A\\times\\Delta/B\\) (Proposition 3.16), which is the basis for a deeper analysis of the ambivariant model structure on \\(\\boldsymbol{Cyl}(A,B)\\) (\\S 3.1). A \\textit{Reedy model structure} on \\(\\boldsymbol{Cyl}(A,B)\\) is induced from the \\textit{covariant model structure} on \\(\\boldsymbol{sSet}/B\\) by making use of the related equivalence of categories \\[ \\boldsymbol{Cyl}(A,B)\\simeq\\left[ (\\Delta/A)^{\\mathrm{op}},\\boldsymbol{sSet}/B\\right] \\] It is established (Theorem 3.20) that the ambivariant model structure on \\(\\boldsymbol{Cyl}(A,B)\\) is a \\textit{Bousfield localization} of this Reedy model structure, for which the \\textit{local objects} are those \\((A,B)\\)-cylinders whose corresponding functors \\[ (\\Delta/A)^{\\mathrm{op}}\\rightarrow\\boldsymbol{sSet}/B \\] send the \\textit{final vertex inclusions} in \\(\\Delta/A\\) to covariant equivalences in \\(\\boldsymbol{sSet}/B\\). \\item \\S 4 aims to establish that, for each pair of weak categorical equivalences \\(u:A\\rightarrow A^{\\prime}\\) and \\(v:B\\rightarrow B^{\\prime}\\) in \\(\\boldsymbol{sSet}\\), the pushforward functor \\[ (u,v)_{!}:\\boldsymbol{Cyl}(A,B)\\rightarrow \\boldsymbol{Cyl}(A^{\\prime},B^{\\prime}) \\] \\begin{itemize} \\item[(a)] preserves weak categorical equivalences (Proposition 4.2), and \\item[(b)] reflects ambivariant equivalences (Theorem 4.7).  \\end{itemize} \\item \\S 5 aims to establish (Theorem 5.4) that, for any morphism \\(f\\) in \\(\\boldsymbol{Cyl}(A,B)\\) and for each pair of weak categorical equivalences \\(u:A\\rightarrow A^{\\prime}\\) and \\(v:B\\rightarrow B^{\\prime}\\) in \\(\\boldsymbol{sSet}\\) such that \\(A^{\\prime}\\) and \\(B^{\\prime}\\) are quasi-categories, we have \\begin{align*} f\\text{ is a weak categorical equivalence} & \\Rightarrow(u,v)_{!}(f)\\text{ is weak categorical equivalence} \\Rightarrow\\\\ (u,v)_{!}(f)\\text{ is ambivariant equivalence} & \\Rightarrow f\\text{ is a ambivariant equivalence} \\end{align*} completing the proof of Joyal's conjecture. \\item \\S 6 gives a new direct proof (Theorem 6.5) of a characterization of covariant equivalences of \\textit{J. Lurie} [Higher topos theory. Princeton, NJ: Princeton University Press (2009; Zbl 1175.18001), Chapter 2] avoiding the use of the straightening theorem [loc. cit., Theorem 2.2.1.2]. \\item Appendix introduces and studies a new family of model structures on the slice category $\\boldsymbol{sSet}/B$, which is called the \\textit{parametrized Joyal model structures}, whose fibrant objects are the inner fibrations with codomain $B$\\ (Theorem A.7). Using this family of model structures, the author defines a new class of morphisms of simplicial sets, called the \\textit{absolute weak categorical equivalences}, using which the author establishes some new results concerning inner anodyne extensions and inner fibrations on the basis of [\\textit{A. Campbell}, Proc. Am. Math. Soc. 148, No. 1, 37--40 (2020; Zbl 1444.18025)] while a new proof of a theorem [\\textit{D. Stevenson}, Theory Appl. Categ. 33, 523--536 (2018; Zbl 1398.55013), Theorem 1.5] is given (Theorem A.27). \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2048611$95D3A385-9C2D-431F-BF36-EDE7FA3C4CB5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$492C8A03-BAB8-4A99-ADDE-1C74F3DAB380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f012105da5d16c91418e3c2c234daf5d030f31ef","datavalue":{"value":"18D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2048611$FE2C6EDF-868B-44DC-8A89-93CD8560CD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"befe607509a93d2a536d630fd3a8e8ae944f11b0","datavalue":{"value":"18N40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2048611$220B1627-0F05-4616-8D10-14D2A9965BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c7442634c6d8cafb76c4ee63fbf3377fffd6458","datavalue":{"value":"18N50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2048611$B2472992-EAD1-4D26-ADF1-51B564E9E17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f7bb6d8c5310ace40589f27f0ec3909d5699eb0","datavalue":{"value":"18N60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2048611$6E9574B2-A680-4074-AF5C-6919D82C7CDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccab21a5aaeedbede00a21c8efd3d0668d926946","datavalue":{"value":"7384213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2048611$E02408BE-5025-479F-BE0F-3421692CECEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3d9b216abeaea6709b4c49f9a883d00863abc8d","datavalue":{"value":"quasi-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2048611$165B776B-5D9F-490D-8755-74DECD18E993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837aec0cbe9f8dc3ffae9b1dad6816157aa088f1","datavalue":{"value":"model category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2048611$A74E6432-3970-43F6-9131-881F3DB840DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fec1476269e9d9736ecbc5ec2032919dc360129","datavalue":{"value":"cylinder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2048611$014A6B34-9F15-4588-A71B-6A8801956CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253991f8f2099459340ecb25796b731e725a2eea","datavalue":{"value":"correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2048611$39592217-4A1C-4F8F-8330-01636FA0B091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51f58fb7f983b600ac866d790c98b268a6d31ebd","datavalue":{"value":"inner fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2048611$D4B62359-0E5D-4539-A317-1DF6985AF80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9775584dc102b570b463462685f5fde5dcce1d5a","datavalue":{"value":"covariant equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2048611$4137CBEF-69BB-45A9-A99F-CFC738F6EEE6","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":"Q2048611$D4250DF2-48BD-4013-A772-68A06C4DFA52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7b3f3197897b681add7d14279f0dfd69f0a918f","datavalue":{"value":"W2982961842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2048611$0B8C5C26-6FAE-44B9-B2DC-6AFEC20FF7D6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"37221c90517198ca8d3fda4bf4f502566782c7bb","datavalue":{"value":"Q113881020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2048611$E4292E86-BE23-4A0C-9B52-A3CC62E3343C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e2138f1a0a27cd6914461dc4c8d5fe2f114590","datavalue":{"value":{"entity-type":"item","numeric-id":5500794,"id":"Q5500794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$FC1943C5-D84F-4959-87D3-E028A96F7A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8136b781f1b14de6805418066fdb6dc9489604b9","datavalue":{"value":{"entity-type":"item","numeric-id":5206184,"id":"Q5206184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$541250F5-26D8-4FD2-ADAA-A1790AA778C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515f542d5043751cea2c4e629817b26003fa96ff","datavalue":{"value":{"entity-type":"item","numeric-id":3424496,"id":"Q3424496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$53F06244-6D3C-444D-99D0-5A99F13584A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e299c3d2e29743a83d62cc903f12db089794a9","datavalue":{"value":{"entity-type":"item","numeric-id":4611205,"id":"Q4611205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$6CA2AE5E-6809-4F7B-B1B6-EF39B7A0C852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e303f5f17ee5ef80eddcb0b34db366170968ed05","datavalue":{"value":{"entity-type":"item","numeric-id":5229528,"id":"Q5229528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$A82ADFFC-0449-4ED4-8A32-8DC1F810E808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535e00af3acdf08c1436c68ab021517355fea19c","datavalue":{"value":{"entity-type":"item","numeric-id":618741,"id":"Q618741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$FA791A7B-66F5-46CD-8A78-3364601C0B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0dab38da636efbe318a3302705d82d43037ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5108880,"id":"Q5108880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$221926A5-31A3-4579-8F0D-2CAC7BD588E9","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":"Q2048611$959ED534-CD1D-4DF9-92B0-D129933A50A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd57462a36c1547e90f016c670e949d87bf8cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1850102,"id":"Q1850102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$3578BF85-941D-44FB-B35D-1AA1074B75CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab12d272a20b28c3043c55ebb7759d777f5c76","datavalue":{"value":{"entity-type":"item","numeric-id":5431520,"id":"Q5431520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$35133613-554B-49AC-BFD5-F91FAAC4D9C1","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":"Q2048611$97AA0FE8-8F6B-4B0E-86B0-490C6B9DA832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4101b0b48889648033c88d27546ffa6068684a37","datavalue":{"value":{"entity-type":"item","numeric-id":2731395,"id":"Q2731395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$937E9C0D-2EB2-4596-8B95-FF21E4B24403","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":"Q2048611$4C87E574-8041-4F9A-BCD0-BA2B9FDBC941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c217ae885e7c86a3d57a16872431122ebd0e9b","datavalue":{"value":{"entity-type":"item","numeric-id":338225,"id":"Q338225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$CD34296D-1505-4416-BD15-0B82EA6A095C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d398db1823f8f65b6e0de1539541ea266676db46","datavalue":{"value":{"entity-type":"item","numeric-id":3379615,"id":"Q3379615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$626C91DB-DA71-4F1D-BB35-7C59FE24D4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc2396a4f3b2dcedce186a4a721baf42f92590c","datavalue":{"value":{"entity-type":"item","numeric-id":2397324,"id":"Q2397324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$B6AF6A1A-B598-4A97-B70D-29894BF96F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bf04da05eff193df81acb697c91256a446bea7","datavalue":{"value":{"entity-type":"item","numeric-id":3808281,"id":"Q3808281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$CF41F109-1696-4CFE-B7E2-FAE33238AB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da8b590540013a792aaef6945f13cf303cc2ef0","datavalue":{"value":{"entity-type":"item","numeric-id":3130735,"id":"Q3130735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$AB6B2DBA-D1E7-49A8-A6BC-904E58D5073F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ae8e0ccd2023775bf9138b0a131dd5e80f96c5","datavalue":{"value":{"entity-type":"item","numeric-id":4563243,"id":"Q4563243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$158AA978-52B3-47C5-8DA7-E38E578278D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8500eada3f97d2f4d3a585ce9f7bfe32f622ad2a","datavalue":{"value":{"entity-type":"item","numeric-id":3156507,"id":"Q3156507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2048611$80D014F3-3E9B-41C8-9A82-C678A4DAE411","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79f2f1a7116303ab20eb8774a27f1af16645988b","datavalue":{"value":"10.1016/J.AIM.2021.107895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2048611$5EC6567C-E389-4181-AFCA-DCB63F7420DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02398a450f384be18ba81ee563c2fff1accf08f","datavalue":{"value":{"entity-type":"item","numeric-id":670210,"id":"Q670210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bff34683bf430b4f6899131f382ecf268086285","datavalue":{"value":{"amount":"+0.9266833","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":"Q2048611$A6779161-1800-4B57-8A30-62C2D63BD2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6967f039499dad671b19036273ddebee884cad7","datavalue":{"value":{"entity-type":"item","numeric-id":5295407,"id":"Q5295407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1fef9df73d4f85d80fbd0d356e2214eaf8e9b0","datavalue":{"value":{"amount":"+0.86641395","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":"Q2048611$F7C6132C-A130-4C39-890A-6367ABB01D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b710c45db69ea056b3e3b04c350d1128480b1e","datavalue":{"value":{"entity-type":"item","numeric-id":1271221,"id":"Q1271221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a88967570f634e637c1e43ee1bac445fa31eea8","datavalue":{"value":{"amount":"+0.8622768","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":"Q2048611$D7F59E04-C077-40AC-9951-692653B8D805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce638d0e5e440993e45ad94a07cb183ac66dc87","datavalue":{"value":{"entity-type":"item","numeric-id":295010,"id":"Q295010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d512a9867f1056256e400cd09c498c56b4761a61","datavalue":{"value":{"amount":"+0.8609179","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":"Q2048611$41B134B1-2FD2-4021-AAE0-85AFAB611295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d1f656a4022fec638c816ed1b41e2364ba4d80","datavalue":{"value":{"entity-type":"item","numeric-id":3088184,"id":"Q3088184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fba27a841ec0b0d06808f92b3713400eb365992","datavalue":{"value":{"amount":"+0.85675585","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":"Q2048611$412CC00E-09C8-4498-B151-3A60FE21EAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e614438fbd6a72c3fa7aa9411d26235e7cdd2e4","datavalue":{"value":{"entity-type":"item","numeric-id":4462218,"id":"Q4462218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af019ee753aff95d691e32d42274596116bfb419","datavalue":{"value":{"amount":"+0.851872","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":"Q2048611$0B12741D-3CA8-4E5C-BE67-782C66F0256C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff4e406e53c39482ea2a4d32324824615740e52","datavalue":{"value":{"entity-type":"item","numeric-id":791607,"id":"Q791607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1336f1b974068b8355b5596238e7024b3446317","datavalue":{"value":{"amount":"+0.8513123","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":"Q2048611$E7812581-B5C1-43DB-B7A3-991C63A78022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481b0acfcd7cbff25dcfd8665b513bb1a8fd6098","datavalue":{"value":{"entity-type":"item","numeric-id":5316034,"id":"Q5316034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0274c12cdb2ab8c88d0c55cb51bbb030b9c9610","datavalue":{"value":{"amount":"+0.84889245","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":"Q2048611$C09CE67B-78DD-4F31-B155-4093FB8ABF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98be35f120d735d359bc0e5e4e8732b5d8b6b1","datavalue":{"value":{"entity-type":"item","numeric-id":2872017,"id":"Q2872017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901d46ae66edcd77ec4ac1a71d65e0c50d6c9970","datavalue":{"value":{"amount":"+0.84874886","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":"Q2048611$27C9DDBC-F6A2-4D8F-B72E-6C0AE3ABDB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49bd02d43c0d4ef5944b16cac3652b2d0e34304a","datavalue":{"value":{"entity-type":"item","numeric-id":601864,"id":"Q601864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4c3827563adbed70f7cde7153f327d5ed3d8c2","datavalue":{"value":{"amount":"+0.8485655","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":"Q2048611$FFFA2CCF-CDF8-43A7-889C-D74E0A79364E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Joyal's cylinder conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Joyal%27s_cylinder_conjecture"}}}}}