{"entities":{"Q920085":{"pageid":921933,"ns":120,"title":"Item:Q920085","lastrevid":65388474,"modified":"2026-04-12T02:14:40Z","type":"item","id":"Q920085","labels":{"en":{"language":"en","value":"Denseness properties of the lattice of separation-degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4162868"}},"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":"Q920085$85D444E8-75BB-4985-BD37-D09C7F908A17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d01489d066d90ff8fe1a84df93cfcb1047327f8d","datavalue":{"value":{"text":"Denseness properties of the lattice of separation-degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920085$C57B34FF-E8C3-4227-ABC0-EF26C59D0914","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09dfdca0bd5cd766ac8405e3b526dc7f6d18ca58","datavalue":{"value":"0708.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920085$37C592FF-4448-49CD-AB65-559389CDABD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b794ad06c4943f7e0e99b78df7d2f4579ae4cecb","datavalue":{"value":"10.1007/BF00971149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920085$62526BCD-EFB4-48C6-B8AE-7BCBA88C5A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04265c0a72bac1be4d12de2406bd355d04dea33d","datavalue":{"value":{"entity-type":"item","numeric-id":920083,"id":"Q920083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920085$1472A1AD-41AE-444B-A919-716D44E47B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a817fae208bc71592c663ed32991c3363963eec","datavalue":{"value":{"entity-type":"item","numeric-id":920084,"id":"Q920084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920085$7397D21C-3E96-46DA-BC3D-D59F593AF358","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920085$497645F1-2843-4726-B04C-D2E10251FFCE","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":"Q920085$A8448C01-85F4-4E52-A130-2C00AD8143F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c538aa2f6c243d97da6427617ff635c78bf4c758","datavalue":{"value":"Let \\({\\mathbb{N}}\\) be the set of all natural numbers, \\(A',A'',B',B''\\subseteq {\\mathbb{N}}\\), \\(A'\\cap A''=\\emptyset\\), \\(B'\\cap B''=\\emptyset\\), \\(A=(A',A'')\\), \\(B=(B',B'')\\). The authors write \\(A\\leq_{sm}B\\) if there exists a recursive function f such that \\(f(A')\\subseteq B'\\) and \\(f(A'')\\subseteq B''\\). \\(d_{sm}(A)\\) denotes the sm-degree of \\(A=(A',A'')\\). The authors show the following properties of the upper semilattice \\((L_{sm},\\leq_{sm})\\), where \\(L_{sm}\\) denotes the set of all sm- degrees: (1) For any degrees a, b, \\(d_ n\\), \\(p_ n\\), \\(n\\in {\\mathbb{N}}\\), if \\(a<b\\) and \\((\\forall n)(d_ n\\nleq a\\&b\\nleq p_ n)\\) then there exists a degree c such that \\(a<c<b\\) and \\((\\forall n)(c\\nleq p_ n\\&d_ n\\nleq c)\\). (2) For any degrees \\(a_ n\\), \\(d_ n\\), \\(n\\in {\\mathbb{N}}\\), if \\((\\forall n)(a_{n+1}<a_ n)\\) and \\((\\forall n,m)(a_ n\\nleq d_ m)\\), then there exists a degree c such that \\((\\forall n)(c\\leq a_ n\\&c\\nleq d_ n)\\). (3) For any degrees \\(a_ n\\), \\(d_ n\\), \\(n\\in {\\mathbb{N}}\\), if \\((\\forall n)(a_ n<a_{n+1})\\) and \\((\\forall n,m)(d_ n\\nleq a_ m)\\) then there exists a degree c such that \\((\\forall n)(a_ n\\leq c\\&d_ n\\nleq c)\\). (4) For any degrees \\(a_ n\\), \\(b_ n\\), \\(n\\in {\\mathbb{N}}\\), if \\((\\forall n,m)(a_ n<a_{n+1}\\&b_{n+1}<b_ n\\&a_ n<b_ m)\\) then there exists a degree c such that \\((\\forall n)(a_ n<c<b_ n)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q920085$E00AE7AD-4179-4012-9E23-EA55C94F3146","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d8a223071fe2fd8762483ef53ce76dd67517481d","datavalue":{"value":{"entity-type":"item","numeric-id":807610,"id":"Q807610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920085$DE9801E7-24B6-4F7A-9312-B33E72C3FE60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920085$D07D6408-75AB-43EF-ABF7-0959AF4B13F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"359c9815d3b5a2db38eae0a5aa6a85245da0fbf2","datavalue":{"value":"4162868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920085$FC8FE7E3-EBA0-46C3-B213-F80F4A6BFDF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b684b81891cdef40e7acf7496694b272425174","datavalue":{"value":"lattice of degrees of separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q920085$7E8941C4-CC66-4986-9531-DB94B1DE3A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aefdc95b5d07aae392947218e16fe44a96e0fb19","datavalue":{"value":"reducibilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q920085$0BDE5D0A-F0D0-4508-B0B4-CCC5CC44D2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9088e719084c8e8b9737d1c0ba185155943df97","datavalue":{"value":"upper semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q920085$8D1F2EDA-5155-42BC-ACAA-3BD317B6DC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e855f757d29eeccb546f8f6269f4723767ab238","datavalue":{"value":"sm-degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q920085$B0A5FA11-6276-410D-9339-65707112F97B","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":"Q920085$CD168C22-60C3-4720-83F5-D5B5F24DAE66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdef301f725a659208d51e145b28e6c245b45653","datavalue":{"value":{"entity-type":"item","numeric-id":926177,"id":"Q926177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e84d72ee515971193c638dcd8d70f4891f16bb","datavalue":{"value":{"amount":"+0.7773339748382568","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":"Q920085$3DA58793-1C71-4CA8-BA56-695153AD93F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1178a8421cafbd832426a583f103f075e89878a2","datavalue":{"value":{"entity-type":"item","numeric-id":4921443,"id":"Q4921443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d3fd504a4a017e8495237fd612f7070c2b974a","datavalue":{"value":{"amount":"+0.7690703272819519","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":"Q920085$ED09FF31-9D00-4C85-875E-A729BE6A195C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a378740669ee14db0c3a71c64af56d14badd8f66","datavalue":{"value":{"entity-type":"item","numeric-id":3728889,"id":"Q3728889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b782f794c932e8ee126794317a406ebc2a9d894","datavalue":{"value":{"amount":"+0.7686948180198669","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":"Q920085$1FAF20C1-8DC1-4CEC-A6F6-B495C768F6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea4fb6aab73f47dda50cc9d0b6adfa316e04201","datavalue":{"value":{"entity-type":"item","numeric-id":1902712,"id":"Q1902712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff6bbcb57c0c105d37a053d77f7c6d10fb61424","datavalue":{"value":{"amount":"+0.7676160335540771","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":"Q920085$79439569-00FD-43D3-9EFF-ADE8E1C4C318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7472fa32d9d2915e442b12689d85873ef8202269","datavalue":{"value":{"entity-type":"item","numeric-id":1179531,"id":"Q1179531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a439f82f6d2a5d6b5ed953655af9a1854165793","datavalue":{"value":{"amount":"+0.767615795135498","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":"Q920085$7CBB65BD-EE4F-45B7-92ED-8E33A7F51779","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Denseness properties of the lattice of separation-degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Denseness_properties_of_the_lattice_of_separation-degrees"}}}}}