{"entities":{"Q953267":{"pageid":955115,"ns":120,"title":"Item:Q953267","lastrevid":65633490,"modified":"2026-04-12T03:56:24Z","type":"item","id":"Q953267","labels":{"en":{"language":"en","value":"Semiprime ideals and separation theorems for posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5366784"}},"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":"Q953267$7C053A18-656A-48E6-9AC2-70219F89197D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bbea728c2164c6dd7ac2caa0b27dddacd9065c7","datavalue":{"value":{"text":"Semiprime ideals and separation theorems for posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q953267$8554613B-0031-4866-BE0F-58447F5D619E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb85b066a7c0cb1e06e386a3c750550c56e714d8","datavalue":{"value":"1155.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953267$EB19C1B8-6D3C-4398-BA14-45D2D719D8CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ded1c814b97ebbf541670fcbc4718a250e240809","datavalue":{"value":{"entity-type":"item","numeric-id":953265,"id":"Q953265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$A19476DC-2388-4108-913A-8E94120FB0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d59a166be93535c704dbeb03c91c8dfff197fa8c","datavalue":{"value":{"entity-type":"item","numeric-id":953266,"id":"Q953266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$EF4E30B6-DC7A-407A-BED6-77EEFF882C8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$54B75FDD-EDBB-43CD-8C04-E26B3594719C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54d5fe4841e20b1eb34a0a7f54af1660622dae03","datavalue":{"value":{"time":"+2008-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q953267$3B6C452E-68EF-454C-A593-67FDD7968EBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23c91ebb05af24a1129cb471523d0b957228fe57","datavalue":{"value":"Let \\(P\\) be a poset and let \\(A\\) be a subset of \\(P\\). Define \\(A^{u}:=\\{x\\in P : x\\geq a \\text{ for every } a\\in A\\}\\). Dually define \\(A^{l}:=\\{x\\in P : x\\leq a \\text{ for every } a\\in A\\}\\). Then \\(A^{ul}\\) means \\(\\{A^{u}\\}^l\\) and \\(A^{lu}\\) means \\(\\{A^{l}\\}^u\\).   A subset \\(I\\) of \\(P\\) is called an ideal if \\(a,b\\in I\\) implies that \\(\\{a,b\\}^{ul}\\subseteq I\\). A proper ideal \\(I\\) is called prime if \\(\\{a,b\\}^{l}\\subseteq I\\) implies that either \\(a\\in I\\) or \\(b\\in I\\). Dually define filter and prime filter. These notions are due, respectively, to \\textit{R. Hala\u0161} [``Characterization of distributive sets by generalized annihilators'', Arch. Math., Brno 30, No.~1, 25--27 (1994; Zbl 0805.06001)] and \\textit{R. Hala\u0161} and \\textit{J. Rach\u016fnek} [``Polars and prime ideals in ordered sets'', Discuss. Math., Algebra Stoch. Methods 15, No. 1, 43--59 (1995; Zbl 0840.06003)].  In [``The theory of representations for Boolean algebras'', Trans. Am. Math. Soc. 40, 37--111 (1936; Zbl 0014.34002 and JFM 62.0033.04)], \\textit{M. H. Stone} proved a separation theorem in the case of distributive lattices: Let \\(L\\) be a distributive lattice, let \\(I\\) be an ideal, let \\(D\\) be a filter of \\(L\\) such that \\(I\\cap D=\\emptyset\\). Then there exists a prime ideal \\(P\\) of \\(L\\) such that \\(I\\subseteq P\\) and \\(P\\cap D=\\emptyset\\).  In [``Semiprime ideals in general lattices'', J. Pure Appl. Algebra 56, No. 2, 105--118 (1989; Zbl 0665.06006)], \\textit{Y. Rav} proved an analogue of Stone's Theorem for semiprime ideals in lattices. An ideal \\(I\\) of a lattice \\(L\\) is semiprime if \\(x\\wedge y\\in I\\) and \\(x\\wedge z\\in I\\) together imply \\(x\\wedge(y\\vee z)\\).   In the paper under review the authors generalize the notion of semiprime ideal in lattices to posets as follows. An ideal \\(I\\) of a poset \\(P\\) is semiprime if \\(\\{a,b\\}^{l}\\subseteq I\\) and \\(\\{a,c\\}^{l}\\subseteq I\\) together imply \\(\\{a,\\{b,c\\}^{u}\\}^{l}\\subseteq I\\). The authors then prove theorems analoguous to Stone's and Rav's in finite posets. The authors observe by means of counterexamples that their results do not extend to infinite posets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q953267$E63C6505-AA09-4E41-948B-400A6C078F5F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bee3f3dba8da282904b279043f47e8e946931fb7","datavalue":{"value":{"entity-type":"item","numeric-id":400436,"id":"Q400436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$9DFB9C26-8AB5-46C6-9127-EB2B417542C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953267$A82C116A-F6F4-4B8E-8775-33487AC0CD9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcdf51f87f695f7434d9e26679ff16a5918955ee","datavalue":{"value":"5366784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953267$A350728D-30EF-44A8-93EF-50667B4B4021","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd10ab560c1d90dc6b9ad97cb3b102896f713d6","datavalue":{"value":"prime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q953267$6A7EC772-E809-41A8-9C59-F8769D79B6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83cbfb656c92a4cf452e61e1f650d036e57893ed","datavalue":{"value":"semiprime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q953267$6D61E618-A004-4C00-AF20-1EC2E562ED8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5f8bf1e4c6c89d0a3056e968342c3278dbad57c","datavalue":{"value":"distributive posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q953267$917DE6B2-3577-4A48-B09B-15FEC7DF4669","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":"Q953267$ECE6046E-DB84-4E64-B0C9-BBBE6E26F3DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6db1345ddb061033335bed105f69c5f6e64cf966","datavalue":{"value":"https://doi.org/10.1007/s11083-008-9087-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q953267$DC4676C5-61FA-4F3F-8CA7-71D060BDF5E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"673aa94099d745463ea5dab81d62b21c3418e686","datavalue":{"value":"W2008281728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953267$F0764C35-5E13-4456-A253-13FFAC53AC5E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"39fcca4c8251bdfa53d8a6f75c93d47d0b916891","datavalue":{"value":"Q37060168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953267$6BADE6D9-78BB-4D76-AC3B-3AB5CED074B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63a652455e1835027d5244f543e77acd7fd85","datavalue":{"value":{"entity-type":"item","numeric-id":5826967,"id":"Q5826967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$74FDC2A2-CE3D-4615-963C-F91D498BDDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418821fe58bdb4e8ca7702edf4fa623914f51248","datavalue":{"value":{"entity-type":"item","numeric-id":4399900,"id":"Q4399900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$248F7D2D-83CE-4F5E-9C5F-652440FBAE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ff738f5f0ac0b071443aba4fb73e7ed4b7d105","datavalue":{"value":{"entity-type":"item","numeric-id":4306064,"id":"Q4306064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$2AA9D1AC-70AD-408B-911A-6DFE7DEE5438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d128193bfb0230da7d5d64f6afadfca7a46111c4","datavalue":{"value":{"entity-type":"item","numeric-id":3588855,"id":"Q3588855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$06C9B9E1-4D82-4DEB-B23F-7D26AE1BBE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391439478e985223dc97e0754cd688fa8336ced4","datavalue":{"value":{"entity-type":"item","numeric-id":3035342,"id":"Q3035342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$76D0C7BF-428A-43D6-8289-B3A303E12C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce973fb94bb1c7e17bec7452c2f943e4f111d46","datavalue":{"value":{"entity-type":"item","numeric-id":5768906,"id":"Q5768906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$990C400B-41B6-4877-9EC8-E9DE00CB0031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd626d67ca52090550c2b82277eee108d1626c94","datavalue":{"value":{"entity-type":"item","numeric-id":1115892,"id":"Q1115892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$D9B5062F-9549-474E-A15E-5C4450B06047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953267$BF1B5413-4EFC-4E4D-8D3B-2D7C63F4BA7B","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d465db8fec830705eb63b4e86b538474bd29f414","datavalue":{"value":"journals/order/KharatM08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953267$742A089F-7484-4052-9874-B2CAD2F70C08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c706492fee61edcc43f43795aa54d86ae98df45","datavalue":{"value":"10.1007/S11083-008-9087-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953267$E4CB2126-BB5E-4C87-A93E-D067B4D0B453","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ba42717125e70c20bb805de4143ed2fa20dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4510912,"id":"Q4510912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d87b0e22a4f17b366d7c8296e9713af628bf30","datavalue":{"value":{"amount":"+0.939016","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":"Q953267$B845D484-6249-4E5C-8642-E175680E1896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ef479d3a98d0eb5b849648e80aeea6feb11fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4484695,"id":"Q4484695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18506464c2e74df7633dd2ada101e3acfed7ac4","datavalue":{"value":{"amount":"+0.92214704","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":"Q953267$CE0FB487-D3BD-4DEC-9430-FDB4D748B136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e5a435f3733cbe777d7031f4be8c209f170c89","datavalue":{"value":{"entity-type":"item","numeric-id":5019160,"id":"Q5019160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccabefde5f501900e7e0b44ab5f509e5aed6e87","datavalue":{"value":{"amount":"+0.9219235","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":"Q953267$E85ED6C3-79D5-41F1-8211-D6614D2C8F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b3fa171611125533be886383591fd7b9169e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5212731,"id":"Q5212731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b08bc4eeead591d84cdf5a7d4490d35dbfe9a4","datavalue":{"value":{"amount":"+0.9153954","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":"Q953267$B450B240-D279-4DCD-A25F-882835FD4EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ca4ffbc7cb0db027258e9ba6a5324c4275375c","datavalue":{"value":{"entity-type":"item","numeric-id":5360768,"id":"Q5360768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca608643f68a40b030f2ea2012d748091af228a","datavalue":{"value":{"amount":"+0.90986633","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":"Q953267$054884B4-9913-42EA-AE13-D175C0F027E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82254356098e99ce15cdfd6242756394932a9665","datavalue":{"value":{"entity-type":"item","numeric-id":3588855,"id":"Q3588855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8adbc7febf8781b6fb79c5f95b15e59a5924afee","datavalue":{"value":{"amount":"+0.90911984","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":"Q953267$1AB058D4-68BA-4B69-BEA8-134C311A5BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7900b13a6c70911b63b3ec525c0f2fcb082fdb","datavalue":{"value":{"entity-type":"item","numeric-id":3141236,"id":"Q3141236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59fd437bdfd115f1733339d7269b6a3d8b0d0e9","datavalue":{"value":{"amount":"+0.9052585","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":"Q953267$E11304F2-F32B-4779-9F21-7C6BB5085125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741a40d1dd476b2f9055be94f6a465da9145c2c7","datavalue":{"value":{"entity-type":"item","numeric-id":915743,"id":"Q915743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d0e2edb2e69293a3938d032f40ba29f3966ef6","datavalue":{"value":{"amount":"+0.90470403","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":"Q953267$16A5EFB1-4321-48FF-8D2B-0756AF9697BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49097d5180e8e05000a161a4ee69abe8fcd382dd","datavalue":{"value":{"entity-type":"item","numeric-id":3801789,"id":"Q3801789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b2604b84970779f65d7572f0bb7e46d293c5b7","datavalue":{"value":{"amount":"+0.9042853","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":"Q953267$E050C39D-1D1F-40AC-8A3A-9D72308D5EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6586e3988f0c29de25c39a937d76c6f9fe38aa2","datavalue":{"value":{"entity-type":"item","numeric-id":5744305,"id":"Q5744305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b728c09d5622e4c7b4eab888ee333bf4c85122c3","datavalue":{"value":{"amount":"+0.9036474","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":"Q953267$4D9F0FBD-2C81-4301-A5F3-3D6F0279B1A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semiprime ideals and separation theorems for posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semiprime_ideals_and_separation_theorems_for_posets"}}}}}