{"entities":{"Q914712":{"pageid":916560,"ns":120,"title":"Item:Q914712","lastrevid":65379477,"modified":"2026-04-12T02:11:30Z","type":"item","id":"Q914712","labels":{"en":{"language":"en","value":"Molecules of Post algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150237"}},"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":"Q914712$02F03B12-D818-4E8A-BC50-8864D2AC4ADF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f47a2678dd54c1bfa63e8bba36609a844728eab6","datavalue":{"value":{"text":"Molecules of Post algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914712$C7810D6B-C598-4791-8A09-B9E4BB54568A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e83af86e1c7323ca71623fbe0671569ac7546cd6","datavalue":{"value":"0702.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914712$5FC09136-A540-4FBF-87DF-84F0C558EB3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08d403afea1c7d539d545e6c63f4805363d227ac","datavalue":{"value":"10.1007/BF01182462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914712$4B51D346-2FA0-4261-AAE5-27A3617460AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c14930c05834a0c05efd0d3600a5f0cba5f0364","datavalue":{"value":{"entity-type":"item","numeric-id":914711,"id":"Q914711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914712$D6ABA471-73D9-424A-85CC-D188AF8EDFD0","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":"Q914712$19804DF7-0223-4983-BF57-2B28E102F132","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q914712$16D9AD42-3414-4D8A-8699-C09B629DD6DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99643be2fc6ea09ff0879b452da4986631d2bb99","datavalue":{"value":"A non-zero element m of a poset P is called molecule if for all non-zero elements a,b\\(\\leq m\\) of P there exists a nonzero lower bound of a, b in P. Molecules in Boolean algebras are atoms. A Post algebra is called molecular iff every element of P is the join of all molecules it contains. For a complete P it is shown that P is molecular iff P is isomorphic to a complete ring of sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914712$88E62AEA-A2A0-4848-A37D-3D0978CBAC13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914712$36741E7A-32F4-4FE4-AC40-A5781FB0510A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88240ee6b551e3dcd7cb5f7cddd5fa7d1c0f6b16","datavalue":{"value":"4150237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914712$D6596616-7CD0-43CA-9784-BF9B505E21F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc51eb39e225d05a33923c5667dfa776aa48f55a","datavalue":{"value":"molecule","type":"string"},"datatype":"string"},"type":"statement","id":"Q914712$A8435D20-299F-4A53-84B0-F8BF2196B20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2515de3f4a33f764f3ee7095a3f8b6b45c3679e7","datavalue":{"value":"Post algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q914712$F995FE64-2EAF-4846-A15A-CBBF0D353DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272b34f4f01dff10d27631c29a15d3f455c329fb","datavalue":{"value":"complete ring of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q914712$E80FF936-9CBD-4952-8E60-A5A57F503BCB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c61f96277503678c9706b4010bb972a7f80cdb63","datavalue":{"value":{"entity-type":"item","numeric-id":1108296,"id":"Q1108296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914712$D4EB268F-1FE8-4A08-869C-0DD88BCEF5C9","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":"Q914712$9FA3318D-60C1-4B83-A7A1-BC709237C2B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3dff98b238003b583c3b31fa6995466f0679e8","datavalue":{"value":{"entity-type":"item","numeric-id":1153932,"id":"Q1153932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914712$17CD9E8E-A920-4D1C-AE3C-0F5A357E8C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af488b78758a4c45cd4abe764f75a0c22a3792dd","datavalue":{"value":{"entity-type":"item","numeric-id":5596222,"id":"Q5596222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914712$CA0D8BCC-3174-412F-9CC5-EF906805841D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4072a7e83af084907d46a234015a7172956131c4","datavalue":{"value":{"entity-type":"item","numeric-id":5635481,"id":"Q5635481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914712$351C13C0-A601-4718-8037-40AA9A77F9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cb2ceb59e66d91349b551b11f58a72e8581a7a","datavalue":{"value":{"entity-type":"item","numeric-id":1162531,"id":"Q1162531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914712$79687C73-C9BE-40C2-B51E-B7D6FF0F64DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e458bab70dc06cc0c5f5d7873d0fdef75a553bcc","datavalue":{"value":{"entity-type":"item","numeric-id":1087895,"id":"Q1087895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914712$1A597156-38DC-42FF-9AA2-DE37B37AD41E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58ad7ba355abf779079352b414bcc3b4013d2177","datavalue":{"value":"https://doi.org/10.1007/bf01182462","type":"string"},"datatype":"url"},"type":"statement","id":"Q914712$1A1C1BDD-D0F3-459F-B3E3-4067B899E82D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c27de16886f4373a5e3852e8e861229db2cf17ca","datavalue":{"value":"W2084390252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914712$50E53989-4F38-4E74-8BC7-436456E4AF8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93fa88cae4e1ead05e89d1c7978003a6aefeb099","datavalue":{"value":{"entity-type":"item","numeric-id":3768899,"id":"Q3768899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3640bfd7cd24c21ec06b5a5070a81f9c4b304e","datavalue":{"value":{"amount":"+0.8838166","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":"Q914712$9BE774DA-2358-48D2-B47C-F6DF107A661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59fd8566f90b2423bba92245de500c3a26b6634","datavalue":{"value":{"entity-type":"item","numeric-id":5972220,"id":"Q5972220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b6fb81e655dc387583f6e0b2c80545028421d7","datavalue":{"value":{"amount":"+0.8782175","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":"Q914712$7F2CC09C-9CAC-4B95-B90C-39EBFF8DC822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b8b3f1828230fd71094f6646fb2897a0c7da2c","datavalue":{"value":{"entity-type":"item","numeric-id":3976918,"id":"Q3976918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee6a315b9f8ced6d02c7160f6d5b38f941c6222","datavalue":{"value":{"amount":"+0.87796843","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":"Q914712$7D8FA48D-AB47-42E9-A59F-46451E25CF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb4d600c01cf14e57987d84c58541be83244458","datavalue":{"value":{"entity-type":"item","numeric-id":1095960,"id":"Q1095960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffe2aa1d37dcee2fa1606328b2dfa3418395e14","datavalue":{"value":{"amount":"+0.8688704","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":"Q914712$6577907B-C9E7-486F-B2F2-645220B2C9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e9e77f3c29cae27e5c0aab603906cc5221372bb","datavalue":{"value":{"entity-type":"item","numeric-id":1317894,"id":"Q1317894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c93a8e9147f9c9b8840c021a1ccbedb2ac30d3","datavalue":{"value":{"amount":"+0.86380327","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":"Q914712$52753E4E-AC9E-4A06-A46D-473D6A4690B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5749a7ec1d9253309fabe88474d8b24e107e0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4960454,"id":"Q4960454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16314ea5c9a7a29f48257b2499fba5af5dfb190","datavalue":{"value":{"amount":"+0.86022395","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":"Q914712$F665B4B4-6D27-4B76-92C8-BEBA87F05F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19a3d86b49726cfc662ab0d1da3591c90c2f67c","datavalue":{"value":{"entity-type":"item","numeric-id":3325724,"id":"Q3325724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"735c76813ec12defd4eb9c235467396af6b4294d","datavalue":{"value":{"amount":"+0.8597838","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":"Q914712$A5C3C9D4-C368-4252-93E5-61DD7E9D39CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf971fc6878b8dd0d9a4aa6b790ae0609d1fa14","datavalue":{"value":{"entity-type":"item","numeric-id":738893,"id":"Q738893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6cd07eac114e43a99fd8d3f3652017969bd267","datavalue":{"value":{"amount":"+0.8579701","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":"Q914712$151CDEBB-0E92-4CA7-A2EE-962899EC9D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb4745a01339025acd5e5eaea8c5aec1d670ed3","datavalue":{"value":{"entity-type":"item","numeric-id":6087246,"id":"Q6087246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246556484a9d3cf33de741b4331c5da32b4b985b","datavalue":{"value":{"amount":"+0.8568093","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":"Q914712$E20D515C-1051-4434-945A-E031A830B4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8ca14849a3961ceebc623aafe2974d001d59ac","datavalue":{"value":{"entity-type":"item","numeric-id":3353071,"id":"Q3353071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c9144937a8af19e648c2b2d49f16f45fefcf74","datavalue":{"value":{"amount":"+0.85324633","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":"Q914712$BD797D0A-C96E-4035-9303-2295009E5975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Molecules of Post algebras","badges":[]}}}}}