{"entities":{"Q1272084":{"pageid":1282834,"ns":120,"title":"Item:Q1272084","lastrevid":68423424,"modified":"2026-04-12T23:36:43Z","type":"item","id":"Q1272084","labels":{"en":{"language":"en","value":"Decision problem for orthomodular lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226190"}},"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":"Q1272084$353E56A8-3A42-4EE8-8F88-A3E00048F182","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24b62870e6c9baeb6c964af0f5285621197c5d91","datavalue":{"value":{"text":"Decision problem for orthomodular lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272084$6698EF26-8B4F-449C-B104-B5900A6F6AD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd9f354693654855f941fef0fc169b21cd2a00f0","datavalue":{"value":"0902.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272084$8E27C774-A335-4CAC-9E2C-9759821412F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"091d512678365974927dea2eff734df6b2435bea","datavalue":{"value":"10.1007/PL00000328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272084$FA493005-F258-4404-AA2D-43A1A32FEAD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0cd500efedfb191ac619b0c54d385f76df26c1","datavalue":{"value":{"entity-type":"item","numeric-id":1272083,"id":"Q1272083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272084$279B299A-5644-4DB0-A495-4C7449FD6781","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272084$C643BABD-D6F3-448A-8FD2-F251BE66B430","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fb7273221ce117f6a427df8be22cfe791bdb36","datavalue":{"value":{"time":"+1998-11-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":"Q1272084$78FCB9A5-8075-4D49-BD5E-B516B167F33C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18d1116e745dbeda04d77ddada25d6e4ecc3c9f6","datavalue":{"value":"The author partially solves the problem of H. P. Sankappanavar and S. Burris whether the theory of orthomodular lattices is recursively inseparable and which varieties of orthomodular lattices are finitely decidable.    Results:    -- The variety of orthomodular lattices has a finitely inseparable first order theory.    -- The variety of modular ortholattices is finitely decidable.    -- The variety generated by the unique \\(2n+2\\) element modular ortholattice with \\(2n\\) atoms is finitely decidable.    -- The variety generated by horizontal sums of Boolean algebras is finitely decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272084$4959369D-4A9A-463A-B477-C5A50DE025D9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272084$E9BB08F2-0655-4B05-BF56-BB4C78EA3B67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272084$F87E4FF5-99D0-4249-9FFF-7580555B9F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272084$7936A0A7-F077-40C5-9D8E-88DEB0ABFE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272084$E8DA7C26-A568-43E0-AC3F-41E14D45B782","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b92866e3c0ac675e9b586bce35f3bdce2cd2d8e9","datavalue":{"value":"1226190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272084$C0BA6775-2A64-47EE-8F4E-F2F798815589","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146e2c2b99ff2eedbd0e20d81d70326f625f87ef","datavalue":{"value":"ortholattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272084$A98187D1-6065-4D8C-8B89-0BB4107C7AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272084$C7EE4D46-09E3-4970-9306-73A6DDDF508C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b16289305b0881e250469944c08a67ff4a3363","datavalue":{"value":"finite decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272084$F74CC9AE-2F3F-43C8-A5D9-B122D1D2FC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8f2895bce51b9a9b88568bc0d244babfef145d","datavalue":{"value":"inseparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272084$0F5B71E3-B490-47E7-AFB7-302F159871C9","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":"Q1272084$F797E5C8-A991-4D7E-BC6C-055B1940EA54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b75009122c42f42c4edd23a00c5b98a661bd5d5","datavalue":{"value":"https://doi.org/10.1007/pl00000328","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272084$9BEF6060-B10A-4A4B-A57C-5C326B55A171","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e22f73a63e315f37f5703115638dcd72f8d643ca","datavalue":{"value":"W2028869192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272084$D56A0AAE-13A9-487F-B943-3FB63C2CA870","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f371fc73b9dbb177c4bef358dfdffa2d5855b03","datavalue":{"value":{"entity-type":"item","numeric-id":861643,"id":"Q861643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b524e1b29a69c86aed09f88e87d9a8b19462c9","datavalue":{"value":{"amount":"+0.7702631950378418","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":"Q1272084$9D37A2D6-D38A-465A-8B35-58C51EA5CD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e9325cd07686f3c6a55090a76cffdf79baab9c","datavalue":{"value":{"entity-type":"item","numeric-id":3472154,"id":"Q3472154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d65bbb70caaee00c58b2cbe5508a74115100de","datavalue":{"value":{"amount":"+0.7698681950569153","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":"Q1272084$EC293C13-EBF9-4754-B55D-A1F22B85B62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba48486552ebaa237c6d52fb5628832e939a540f","datavalue":{"value":{"entity-type":"item","numeric-id":3583025,"id":"Q3583025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afcd589847c320adc0d224b04bd14ce1ad9ff27a","datavalue":{"value":{"amount":"+0.7578212022781372","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":"Q1272084$96759775-E67A-4E33-8207-63C3A8FEABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f69a74a49d8707ca1d0794ba2f81b8030d869f3","datavalue":{"value":{"entity-type":"item","numeric-id":3142089,"id":"Q3142089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196a8eb50b70e14bd13e018697873b62aa8477e4","datavalue":{"value":{"amount":"+0.7568867206573486","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":"Q1272084$ACEB88EB-39E6-4ED2-8959-4B9A688A87B0","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":"39e3c32e57c472c2bf29100a58e02435249b394a","datavalue":{"value":{"amount":"+0.755617618560791","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":"Q1272084$D55D19F4-4C05-4E66-BD29-F16579A09CB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision problem for orthomodular lattices","badges":[]}}}}}