{"entities":{"Q1329316":{"pageid":1340066,"ns":120,"title":"Item:Q1329316","lastrevid":67550352,"modified":"2026-04-12T18:44:44Z","type":"item","id":"Q1329316","labels":{"en":{"language":"en","value":"There are orthomodular lattices without non-trivial group-valued states: A computer-based construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 599937"}},"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":"Q1329316$4ADE1E42-A97F-423F-A7AC-3A447CB652B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b04eed71b1d3c8b74d40383b4e6fcf471e7cb3d7","datavalue":{"value":{"text":"There are orthomodular lattices without non-trivial group-valued states: A computer-based construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1329316$3DFD260B-C2CA-4B66-9434-715557A16A56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16e8fe635e7d83051d0081549aff82162665f7f5","datavalue":{"value":"0797.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329316$D584AD30-10B6-44B0-BC66-F4506CC0676F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"319265ddfd4c0ba6b8bc89a878cc782d38169a8d","datavalue":{"value":{"entity-type":"item","numeric-id":174927,"id":"Q174927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329316$E51E28B5-CEE5-424B-9F8B-E7298DE9AD08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329316$69B9E480-54A9-4A9A-8D69-1428422DAD3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8241ce0b1bfd14f1a976e02b943f8ceddf61248b","datavalue":{"value":{"time":"+1994-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1329316$595492D1-2F49-428E-96CE-BA06E5D0BB4B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c8532f0240c013849f50a8d863ff76329f7d3ad","datavalue":{"value":"Greechie has shown that there are orthomodular lattices without non- trivial positive real-valued states. P. Pt\u00e1k posed the problem of whether there are also orthomodular lattices without non-trivial group- valued states. In this note we describe the construction of such an example. Recently, P. Pt\u00e1k informed me that Navara independently found such an example with a quite different construction.   The example given is a finite orthomodular lattice having 73 atoms and is constructed by a computer calculation. The proof that the constructed orthomodular lattice does not admit any non-trivial group-valued state is reduced to the proof that a certain homogeneous system of linear equations in 74 unknowns has no non-trivial solution; because of the size of this system calculation by hand would be too lengthy (even though theoretically not impossible). The two programs (for constructing the orthomodular lattice and for solving the system of equations) are not explicitly included in this note, but can immediately be reproduced according to the description given here.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329316$B8B36CC6-9D02-4FE7-813B-1A244B77C8D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329316$674695FA-9CC5-4B23-A965-C827FD517878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"41797f091d2c1efd3accd53dd04e594e696bb107","datavalue":{"value":"06-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329316$56317E15-E006-4060-B3B3-1D087D44A7A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d817ca2a28f29a6cdea13db1b39ad6f5cf51c30a","datavalue":{"value":"599937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329316$26A957F3-F081-4158-8051-643F7C4047B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"422b726cb3c9e6918fc7a706baece16c7416b63b","datavalue":{"value":"orthomodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329316$8B37EFB0-1EBB-4AA1-9C03-6934F97EDC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf3b45e4ff5536dd418e264c7ae90e41b115706","datavalue":{"value":"group-valued states","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329316$3660BF62-0AB6-45EA-AE12-67EF6B9BC6CE","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":"Q1329316$D4C66EEC-1797-4467-80AE-116129822903","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75e5295d0f5069fc67b0471a68c620f443caa2aa","datavalue":{"value":"https://doi.org/10.1006/jmaa.1994.1133","type":"string"},"datatype":"url"},"type":"statement","id":"Q1329316$111AB7A0-5192-458B-80BC-55451B339177","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89ddfbae139bea55e8239323179f5905ed3bbfba","datavalue":{"value":"W2073763940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329316$8350C9F4-C028-44DA-9797-321BF712E117","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89cad94497c631a109367462dd4f993b3820fc0d","datavalue":{"value":"10.1006/JMAA.1994.1133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329316$44F77DD5-3DB3-421B-9EEB-F957879BF4E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9774225b50798204092215cc6c2d39d316c460fc","datavalue":{"value":{"entity-type":"item","numeric-id":4281922,"id":"Q4281922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a118aaf594b14e795be9c6ec5a6f073c4d8824","datavalue":{"value":{"amount":"+0.86468977","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":"Q1329316$1F1C43C7-3958-4051-B4E6-54E614CF8046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c4e4d61982078844c10a9b5b3ad08efee1f3b80","datavalue":{"value":{"entity-type":"item","numeric-id":962560,"id":"Q962560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9630cae42ddeb8330f5051760d9f692dbac5c5d2","datavalue":{"value":{"amount":"+0.85948884","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":"Q1329316$F925C9BF-D2CE-4973-878A-13C28F90EAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9697d8eb95fddc2fda3f9259db0185730045cadc","datavalue":{"value":{"entity-type":"item","numeric-id":3816075,"id":"Q3816075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969903e43bd4ad1c1a919005106919ca7762effe","datavalue":{"value":{"amount":"+0.858588","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":"Q1329316$1DD7BBF4-2346-4C76-AD53-0D621DD45D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c47551ba7a87a8bce73b62221ed514d23ac37df","datavalue":{"value":{"entity-type":"item","numeric-id":5950763,"id":"Q5950763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"582944b73e99a75929769dff9350feea1a1de8a2","datavalue":{"value":{"amount":"+0.84323126","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":"Q1329316$725595D4-C9D1-492F-BB2B-098D1B66CAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0ee2a852966a0836d495252a0b87c5aec63214","datavalue":{"value":{"entity-type":"item","numeric-id":1866795,"id":"Q1866795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995cb89edb9a2ee2010c4cea501b5ff6549a9d14","datavalue":{"value":{"amount":"+0.8422634","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":"Q1329316$09392E74-40B7-4A11-925E-26CDB445A2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344e50a70227c33c1c04a2e0fd970ee25333f0a4","datavalue":{"value":{"entity-type":"item","numeric-id":4342443,"id":"Q4342443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92dcdb5429404c9a3d190d3b6784851df2db2c6","datavalue":{"value":{"amount":"+0.840608","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":"Q1329316$92C7A262-BC76-4009-A8EF-36FAACB7E285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c08db43335491fb18ecbfa4f7c52f977c6c5198","datavalue":{"value":{"entity-type":"item","numeric-id":4814439,"id":"Q4814439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59555aaedaf003fa61da4871e104a04e91cb1f3a","datavalue":{"value":{"amount":"+0.837184","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":"Q1329316$1F6BCAE3-AC52-438E-A511-9CBF3DB7A56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b3dbf2934da4290279f62d19fa670e4f716a95","datavalue":{"value":{"entity-type":"item","numeric-id":1068117,"id":"Q1068117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86472e55e096aaaea759315ba75b97e8c3bb5f79","datavalue":{"value":{"amount":"+0.8371184","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":"Q1329316$833E0D44-83F1-430C-B27D-D0D82F03B21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8fd27b11327a9d7767e2c5ad30ca04b57d7df7","datavalue":{"value":{"entity-type":"item","numeric-id":3057304,"id":"Q3057304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271df3ed232f1544cce2c06258c7e8cfad609566","datavalue":{"value":{"amount":"+0.83387995","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":"Q1329316$10367C27-484A-4622-ABDE-61247174E0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8eb2515efb43aaf40b00920705e0172336ec53","datavalue":{"value":{"entity-type":"item","numeric-id":6116353,"id":"Q6116353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c611cb5937ea397af453441859394be6ae852d7d","datavalue":{"value":{"amount":"+0.82818097","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":"Q1329316$6839CF6C-666E-4EEE-A1B1-0B9802208DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"There are orthomodular lattices without non-trivial group-valued states: A computer-based construction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/There_are_orthomodular_lattices_without_non-trivial_group-valued_states:_A_computer-based_construction"}}}}}