{"entities":{"Q1936655":{"pageid":1947397,"ns":120,"title":"Item:Q1936655","lastrevid":73060533,"modified":"2026-04-14T10:04:30Z","type":"item","id":"Q1936655","labels":{"en":{"language":"en","value":"A comparison of two topos-theoretic approaches to quantum theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6134731"}},"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":"Q1936655$74883515-67ED-45EB-8508-CCAD2BE56140","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"583c75097866da31183737b8a84d3835f5b74b25","datavalue":{"value":{"text":"A comparison of two topos-theoretic approaches to quantum theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1936655$E9224C3C-4FA4-46F0-8B60-1140168161DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d823b00ca653259efb60370541b906289c5422b9","datavalue":{"value":"1298.81008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$35BB4DB5-569D-4AB8-A04D-B233A44A1908","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20b9f7ddac6e6190f963be594fbb15b1fed893a9","datavalue":{"value":{"entity-type":"item","numeric-id":1936654,"id":"Q1936654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$1DC7CBB5-C949-4D2D-BEBB-91C6B4A517C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"74062a62bcb16497befde51af6dcf546af6addde","datavalue":{"value":{"entity-type":"item","numeric-id":192672,"id":"Q192672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$7E633CB4-5EA4-445E-8DD3-5523404DAE31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"171e18795f96bc69f12af80bb5197ba5c991f412","datavalue":{"value":{"time":"+2013-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1936655$60189ECB-96EF-4E6F-B3C7-9EB45087C234","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f882f5299124eda81cd007e60e5d1600305b6190","datavalue":{"value":"https://arxiv.org/abs/1010.2031","type":"string"},"datatype":"url"},"type":"statement","id":"Q1936655$5816CC81-ACF4-4B30-A079-213569F31821","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2b1a6a4dcbca102cad058ae341239dfb11d496c","datavalue":{"value":"The author locates the starting point of topos theory in quantum mechanics in the paper by \\textit{M. Adelman} and \\textit{J. V. Corbett} [Appl. Categ. Struct. 3, No. 1, 79--104 (1995; Zbl 0833.18003)]. Since then, several approaches have been started, two of which are compared in this paper: The so-called \\textit{contravariant approach} of \\textit{J. Butterfield} and \\textit{C. J. Isham} [Int. J. Theor. Phys. 41, No. 4, 613--639 (2002; Zbl 1021.81002)], \\textit{A. D\u00f6ring} and \\textit{C. J. Isham} [J. Math. Phys. 49, No. 5, 053518, 29 p. (2008; Zbl 1152.81411)] versus the \\textit{covariant approach} of \\textit{C. Heunen} et al. [Commun. Math. Phys. 291, No. 1, 63--110 (2009; Zbl 1209.81147)].  In the contravariant approach (see also \\textit{C. Flori} [A first course in topos quantum theory. Berlin: Springer (2013; Zbl 1280.81001)]) quantum systems are described by von Neumann algebras \\(A\\), the poset (category) \\({\\mathcal V}(A)\\) of its commutative von Neumann subalgebras ordered by inclusion, and the category \\(Con\\) of contravariant functors from \\({\\mathcal V}(A)\\) to \\(Set\\), the category of sets. Among these functors the so-called \\textit{spectral presheaf} \\(\\underline{\\Sigma}\\), which maps a commutative subalgebra to her Gel'fand spectrum, serves as state object. Since \\(Con\\) is a topos, one may consider subobjects of \\(\\underline{\\Sigma}\\). Now, the set of \\({\\mathcal O}_{cl}\\underline{\\Sigma}\\) of closed open subobjects of \\(\\underline{\\Sigma}\\) is a Heyting algebra, which represents propositions about the system. The author constructs a compact, not necessarily regular locale \\(\\underline{\\Sigma}^*\\) in \\(Con\\) and an injective morphism of complete Heyting algebras \\({\\mathcal O}_{cl}\\underline{\\Sigma} \\rightarrow {\\mathcal O}\\Sigma^*\\), [Thm.1, Cor. 1, Cor. 2]. Here, \\({\\mathcal O}\\Sigma^*\\) is a certain topology on \\(\\Sigma\\), where \\(\\Sigma\\) is the disjoint union of the Gel'fand spectra of all commutative von Neumann subalgebras of \\(A\\).  In the covariant approach one works with a unital \\(C^*\\)-algebra \\(A\\), the poset \\({\\mathcal C}(A)\\) of its unital commutative \\(C^*\\)-subalgebras, and the category \\(Cov\\) of covariant functors from \\({\\mathcal C}(A)\\) to \\(Set\\). The object \\(\\underline{A}\\) of \\(Cov\\) where \\(\\underline{A}(C)=C\\) for any object \\(C\\in {\\mathcal C}(A)\\) and morphisms are given by inclusion is a commutative \\(C^*\\)-subalgebra internal to \\(Cov\\), the so-called \\textit{bohrification} of \\(A\\). The author describes the internal Gel'fand spectrum \\(\\underline{\\Sigma}_{\\underline{A}}\\) of \\(\\underline{A}\\) as an \\(Cov\\)-internal locale \\(\\underline{\\Sigma}_*\\), which arises via a projection \\({\\Sigma}_*\\rightarrow {\\mathcal C}(A)\\), where \\(\\Sigma_*\\) equals the disjoint union \\(\\Sigma\\) of the Gel'fand spectra of all commutative \\(C^*\\)-subalgebras equipped with a convenient topology [Thm. 3, Cor. 3]. Furthermore, the author recalls inner and outer daseinisation arrows in the contravariant case, and uses them to define a covariant daseinisation map and covariant elementary propositions. The covariant daseinisation map factors through the direct sum of the family \\(\\{{\\mathcal F}_C \\mid C\\in {\\mathcal V}(A)\\}\\), where \\({\\mathcal F}_C\\) denotes the set of all filters on \\(C\\) [Thm. 5]. Finally, states and the assignment of truth values are examined and compared in both approaches. Many detailed remarks on common properties and on differences between the two approaches, as well as physical interpretations supplement the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$66E7B47D-5BDF-4D3F-BCD7-B8038372CC45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"95fdc38b9beeb1cbbfac2975717b64e2e1dcd94f","datavalue":{"value":"81P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$E90543D1-E8C6-41E9-BA12-2A708E02B489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$90839206-F2D8-45A3-9A36-A4DF24E020A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b7b06db17e5179ab56e201605ea0527665cac33","datavalue":{"value":"81Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$6FABA140-8D4D-44F1-BBBF-F57066D5C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$64F4B329-C709-4862-99B5-97C1FB722EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05167b3adab65eace22e2ed7e852879ad0aa61b4","datavalue":{"value":"47L90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$40B8F0C2-28C6-4C1E-BF55-504D6797048E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$401B3584-32F2-4224-BA29-ED40FC4933C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$79D8AF1F-17FB-4B9F-937D-DF3DDC4C698F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32d56ea55f39becfe87a19bed509ca024b6af5f5","datavalue":{"value":"81T13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$DDEE3CE2-9124-429E-8FBB-A78B0603EE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f49b54dbcc0666aa92239ddddb0b911123a63","datavalue":{"value":"46L60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$533DA2CF-24AA-4C56-A3E5-CDDBB0555452","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78b2b9d2c67cf3097b07cbd484918c0911347919","datavalue":{"value":"6134731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$13C1A8C4-9121-4155-ADF1-77A04B613529","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ceb214f15f9b63ae86396281fbc13dc81e8563","datavalue":{"value":"covariant approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$FCE64714-DC88-43CB-8FD6-883DB738AAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb16967f2d4c25c155bd671ec24c789d1bab7a82","datavalue":{"value":"contravariant approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$7CB08744-CB77-4878-94FD-0B1F9F3D4A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0d17b63985c429804dab5dbfd9f3ba5114a548d","datavalue":{"value":"daseinisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$0E4B844F-9436-4C5A-ADD8-592079195C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d58382698a4fe3cf8f7094a3a0430cba49608fdb","datavalue":{"value":"spectral presheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$8C6E2121-E133-4DC6-B6A3-CA7A19ACBC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"073c460dbf254a691c4771ad05e22269895c549c","datavalue":{"value":"coarse graining","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$D8E854D2-D0D3-45BA-92F6-DE599C61E36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e02905c49ed44c9fcd608df5ff283b235217fe","datavalue":{"value":"bohrification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$847C0BEC-EA72-4177-9A0E-37BA4C4757E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e37aa0f4f08e208e1a86c646ff1c22e2ad4c4fa3","datavalue":{"value":"state space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$2E14C3DC-3CB6-4D91-ADE1-A9228DDBE869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24051d5da37af8185b018387aadbf29354f1a562","datavalue":{"value":"contextuality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$8680B334-18C9-4FA4-B2D0-7FBD86CA5902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"536eb9835a15af4a3100dee6aec58e8dc1cf661a","datavalue":{"value":"von Neumann algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$CC7E0F32-EF3B-409E-9CE5-57A2F5002393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c59cb2670932bf6e6f54effcf5bd8705f9b1e6c","datavalue":{"value":"\\(C^*\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$4BC5B967-C3FC-44A8-8137-E2A980D60DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$034DAF3E-06EB-4C3C-8277-489616C2E9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936655$CBAE60D3-5F3D-4F7C-92A4-06666D379CFC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"adec00be824bd247cdea1af83bd0dad28a9541c0","datavalue":{"value":{"entity-type":"item","numeric-id":588356,"id":"Q588356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$C0155F58-44AC-4AA7-9299-7244AA682326","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":"Q1936655$7E77DADF-8BF1-4B23-9621-2A6F04C4AAF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44bcddeb07551309ee20c0bcda3cd14eae70a8a6","datavalue":{"value":"W2140140125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$8DDE1A82-B296-415D-A0B2-39B20F3B3EA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a723316080c5b24d1fee899b4f093691aa2d64","datavalue":{"value":{"entity-type":"item","numeric-id":2575763,"id":"Q2575763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$5EEAF40F-6A9E-4E2B-B5A1-1DC580DF834A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684fd984bbfb33c478fd26d0d0b0a2a00b903593","datavalue":{"value":{"entity-type":"item","numeric-id":1346410,"id":"Q1346410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$39CDC8E6-7424-4617-880B-D3A782BAAD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388eeac6ca7fd58351a48c90fbfc85bdb01bb2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2710062,"id":"Q2710062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$5432D335-8238-49BF-A64F-2AF3A0A2A4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94643c52e0ca66fc44fa93d8a29121e6b2dd5d3","datavalue":{"value":{"entity-type":"item","numeric-id":2710063,"id":"Q2710063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$5C5C8C6D-103B-472E-9809-D2BA442D2C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafd626a7f181547e5ad89f5ae870a5bec9c0d1c","datavalue":{"value":{"entity-type":"item","numeric-id":2575765,"id":"Q2575765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$39A9E400-1AA4-4D17-BA7F-7A3E16CADA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1302dee6a2e796ef769004a847b03cd877cd4a","datavalue":{"value":{"entity-type":"item","numeric-id":5652808,"id":"Q5652808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$8D87BEF9-B390-4876-8EFF-1FD8E79710DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$CBA50834-1601-4773-A9D4-8AE9174DA9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533205ff251fbc05c0e46db4ffb285da8de1c584","datavalue":{"value":{"entity-type":"item","numeric-id":4286368,"id":"Q4286368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$1DA8F766-0A6E-4CB2-81AA-E51F2AB41882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78197e1268023863c7603e80f82135f1ff589b84","datavalue":{"value":{"entity-type":"item","numeric-id":1590884,"id":"Q1590884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$F31EE164-B740-440E-A9A6-36C065943F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a492e40896d9199eaa486567657e9f90df9bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1303448,"id":"Q1303448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$C9919646-136F-4AE8-9AA4-8989E1B15D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a83c41103a69a39100f3224e16f6de231868fe","datavalue":{"value":{"entity-type":"item","numeric-id":1805641,"id":"Q1805641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$B60B4E1B-4BDE-42A7-8FF2-C1BDE6795047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13320cdaef1376554a84d723a52e879f5920a39e","datavalue":{"value":{"entity-type":"item","numeric-id":1610694,"id":"Q1610694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$2BFEDF85-13A7-423D-A9EB-3950727DD976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a141da4997a7a3a3d42f837e01944f32313787c0","datavalue":{"value":{"entity-type":"item","numeric-id":735205,"id":"Q735205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$D061A2DD-DB45-4B81-AD3F-3278CBFD2995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf938f31ca5605e2028bb8d87285bb270a487ee","datavalue":{"value":{"entity-type":"item","numeric-id":1604802,"id":"Q1604802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$7D885137-D0CC-4C4B-A79A-76823597CB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53bae07b0739bbe966e0e5a83462e3b3c990852","datavalue":{"value":{"entity-type":"item","numeric-id":1772250,"id":"Q1772250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$D463736C-3561-4B28-B3A7-092184F95010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0f090774c6b5e403c0e36a1175d6b7a812474d","datavalue":{"value":{"entity-type":"item","numeric-id":3183159,"id":"Q3183159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$EB3D04EC-36E9-4604-BFA6-3A224CA29226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d78aa29a7839ca6d4907bee904801e40b3cc899","datavalue":{"value":{"entity-type":"item","numeric-id":3621282,"id":"Q3621282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$589ED459-0A60-4C07-AD4C-9F427A9AFE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$39614562-F04E-4B8C-90EC-A919BCA246F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a9cb77092835e8a6dd99dd2aa4aab3b221a86d","datavalue":{"value":{"entity-type":"item","numeric-id":5504926,"id":"Q5504926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$279258D6-A937-4E40-91F4-1DAB880F37C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6db919fef5d3509e627c966f1d9a71de44b5171","datavalue":{"value":{"entity-type":"item","numeric-id":5504927,"id":"Q5504927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$920D75B0-BF12-49B0-B100-EB07F392A9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aafe3f0caaa55f067a3d98399bc335c8f1b9975","datavalue":{"value":{"entity-type":"item","numeric-id":5504928,"id":"Q5504928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$C26F0E3B-81E6-4F2F-9A1F-E9B12C655407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e363bbaeef83ff6f8b204880ba58eb6c049b7249","datavalue":{"value":{"entity-type":"item","numeric-id":5504929,"id":"Q5504929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$CEFD8BA7-6E55-4FB7-8C75-1F12D11B8024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24307f65174cf2f05425cc472eb7eade74125dcc","datavalue":{"value":{"entity-type":"item","numeric-id":786811,"id":"Q786811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$8EC98BD4-9FE5-468E-A7BD-D321541CD9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be619c165226785ce6d509d9122bc7ef15c90f9","datavalue":{"value":{"entity-type":"item","numeric-id":1048087,"id":"Q1048087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$9D8EC7AA-0F59-4501-82B7-429F51217B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3db21f906b097d4537dfb1729c1cc071c3277b2","datavalue":{"value":{"entity-type":"item","numeric-id":383005,"id":"Q383005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$CBE66815-AA04-4F25-A10E-77454DCD5CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c0bd5e3bcefad3a1ad3ff63cd4f924e7cf58ed","datavalue":{"value":{"entity-type":"item","numeric-id":3100022,"id":"Q3100022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$6308D3B6-875B-4241-9CDC-D71FA6E6E060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca570957bedff6f34637c4a8463d786a4aff2376","datavalue":{"value":{"entity-type":"item","numeric-id":3011597,"id":"Q3011597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$D80224C3-F370-4A39-BCFE-31C647F5F429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340d816217fa62553a342489b496dcd8bd13964f","datavalue":{"value":{"entity-type":"item","numeric-id":1357832,"id":"Q1357832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$0DA555CE-A732-4C41-B7A3-1C213FAF58E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43c065a9c5f4a77284dc3d384c43dedb945ab8c","datavalue":{"value":{"entity-type":"item","numeric-id":3100019,"id":"Q3100019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$E36021A4-84F1-4D32-BBB1-CB6C4641EA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$E2809364-66E8-4A42-AA7C-ACA95C2ECFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4985399887e35d602a294c8b4cfe667bc40b67","datavalue":{"value":{"entity-type":"item","numeric-id":3322276,"id":"Q3322276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$205BF4BD-8413-4432-BC67-0E6CFFD43270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$65C07F3F-BA09-4659-A55A-8F725067D2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a188dd9b222c8b8750bb13945c78a336bb8d63","datavalue":{"value":{"entity-type":"item","numeric-id":3667432,"id":"Q3667432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$7A94D61F-58A1-4023-88E3-6D781E77651C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3473edfe0e31b429c0405615afe024ba69140e33","datavalue":{"value":{"entity-type":"item","numeric-id":5536167,"id":"Q5536167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$32551675-957C-42AE-A69C-18212E6D76BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$D3B13CDE-4BCB-4215-84E1-425B336A5A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4f4042583b49e0ce43139f6586aad7a2e8a332","datavalue":{"value":{"entity-type":"item","numeric-id":5638775,"id":"Q5638775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$DB11DE9A-54BF-4C1C-AB81-944678C15A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9af453cd582e3efecf4e6d83322f5d4463515c3","datavalue":{"value":{"entity-type":"item","numeric-id":5749832,"id":"Q5749832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$A6AD9AE5-DC3E-4876-B0BB-33FDB3142B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad95961e31fbcf913d255da838c4ffee7c6c807","datavalue":{"value":{"entity-type":"item","numeric-id":5618014,"id":"Q5618014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$D6BDE8BE-EEE7-419C-9BA7-2E86F2296767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0eae927d40cb426c19786896aff3741a7ea07a","datavalue":{"value":{"entity-type":"item","numeric-id":3876492,"id":"Q3876492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936655$85B04DEE-74E0-488A-AF16-562887A3FC22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b83ad99a36c42934c10ebb12a70520ac30927620","datavalue":{"value":"10.1007/S00220-012-1652-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936655$C5B8055C-49AA-45B4-8255-FBA6C0FDD772","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd4492cf2c011bb925d1a6faa5dbf6dff20c2f7","datavalue":{"value":{"entity-type":"item","numeric-id":1048087,"id":"Q1048087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7089fd877e2651ac42959d2a497ac4d11c78cc0b","datavalue":{"value":{"amount":"+0.8398056626319885","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":"Q1936655$90DF4362-59E1-43EC-A826-CD1DC9EC5604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8b31f5210d9e49257762636148fa2da193208a","datavalue":{"value":{"entity-type":"item","numeric-id":1692434,"id":"Q1692434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e2e500897aad6b68b68ffc37b0a5646b94f2f5","datavalue":{"value":{"amount":"+0.8180718421936035","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":"Q1936655$9DE609C4-9327-45CC-A530-F655D8F113B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1165e2473dd9ff84eca2d6c571a7081a0559e5c0","datavalue":{"value":{"entity-type":"item","numeric-id":1931705,"id":"Q1931705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ff16aa5d8b82703df1c26b599b70d541eb6f38","datavalue":{"value":{"amount":"+0.8038042783737183","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":"Q1936655$DD963A9F-F820-4823-9255-890F56BF0814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fde07bb857c785419cd96c1ad5ee4e7f272ae20","datavalue":{"value":{"entity-type":"item","numeric-id":3614629,"id":"Q3614629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de9be00e5249eb2f17cc9f700fcf7e88b324917","datavalue":{"value":{"amount":"+0.8017131686210632","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":"Q1936655$0C422E51-569F-47DB-85FD-36927B02D6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73825320f6d05d5efba17df821eaf43532f4bf1e","datavalue":{"value":{"entity-type":"item","numeric-id":3100022,"id":"Q3100022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f530a630edabd3e69feabc7c939c9e6c4bf83952","datavalue":{"value":{"amount":"+0.8002030849456787","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":"Q1936655$E08EB9F4-6F29-4351-8C6B-6BA6DDBADB18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comparison of two topos-theoretic approaches to quantum theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_comparison_of_two_topos-theoretic_approaches_to_quantum_theory"}}}}}