{"entities":{"Q1058535":{"pageid":1060383,"ns":120,"title":"Item:Q1058535","lastrevid":66159606,"modified":"2026-04-12T07:56:58Z","type":"item","id":"Q1058535","labels":{"en":{"language":"en","value":"Elementarily non-equivalent infinite partition lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3900823"}},"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":"Q1058535$39FEE2B0-EB0C-4804-BBB0-DA29A0AE6D5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24e85f86bd0919d4fa666c498a51bb8daf3ca6f4","datavalue":{"value":{"text":"Elementarily non-equivalent infinite partition lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058535$C9677C36-58FB-4C43-B9A7-26370DF91DED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c882b5db1383bcbe3ec02dfd16e36e98bfb45436","datavalue":{"value":"0565.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058535$EFB69A33-542D-487D-AE2D-9AF5925C8E4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84e54bd2b585de3e30cf34e77c0ef5174e19f138","datavalue":{"value":"10.1007/BF01236814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058535$36D6DB23-2864-4761-A507-97F98356C946","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":"Q1058535$2615D36E-B68A-4512-BA29-9BE980A274F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1058535$4CF45638-0379-4F1D-9292-7722CE8A2AED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b707bd7446047c76b2c16cb8ebb8b2077f8db9d3","datavalue":{"value":"The author proves that for two sets A, B, where A has cardinality \\(\\aleph_ n\\), \\(n\\in {\\mathbb{Z}}\\) the partition lattices Part(A) and Part(B) are elementary equivalent iff A and B have the same cardinality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058535$AB3EF153-7DD7-4937-B674-1BCB899A0A96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058535$F7F72128-F227-4CCC-A897-AB3BCB33C113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058535$A736DEAA-FD2F-4790-B256-E8B6952B60D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"056bd2cfca8eb242565b6c2bb0b54e45ff77ad78","datavalue":{"value":"3900823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058535$B57C77C1-672C-43D3-A777-ECBFB1A9CD87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68112fc2dca9e12dcc0424917aa82c80817992f5","datavalue":{"value":"partition lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058535$0D43559D-706F-414E-A22D-32749DE5103A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d483de19ccc4dd0af24e24919d92b334f1512ad","datavalue":{"value":"elementary equivalent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058535$660A2DE3-7971-483C-90A9-3FD2B28BB824","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31c4a8220ce9c18d6cde842569cc3daacfc604b","datavalue":{"value":{"entity-type":"item","numeric-id":1223491,"id":"Q1223491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058535$CD0604A0-7AFF-4E64-A1B4-C7B162A01D99","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eba4b864a38ffad8038867202a5720a7e8617448","datavalue":{"value":{"entity-type":"item","numeric-id":1586350,"id":"Q1586350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058535$265106C6-BF1E-4202-94D0-5B2D2F9A3DBD","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":"Q1058535$70FDFB4F-DFCF-4057-8C98-1ACD4F1318DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708edf481f5504c3c7a1bbe0ce2035ee105089c","datavalue":{"value":{"entity-type":"item","numeric-id":3875978,"id":"Q3875978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058535$FBED2C84-2D40-4F93-802F-637979A040C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f40144d395a3ae9992c9c2ab9614b20411228dcd","datavalue":{"value":"https://doi.org/10.1007/bf01236814","type":"string"},"datatype":"url"},"type":"statement","id":"Q1058535$D1E1CC28-0929-4891-9C32-8260612EF103","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e331c942cdd6be88b340017ccc771ee3de522290","datavalue":{"value":"W2154892715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058535$F9A86FD8-5FF1-4C38-9B85-D91E335B067E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049cd0cb35dc658e4454ed1770c4ba6af8be3927","datavalue":{"value":{"entity-type":"item","numeric-id":920980,"id":"Q920980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb7e694bea6fe90121b663277b90da1a53cf844","datavalue":{"value":{"amount":"+0.852705717086792","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":"Q1058535$84944897-2BC7-4F15-BFCD-2F790FF7F77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8508c6eb95868ebbcd452155f77f0682f16bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1398501,"id":"Q1398501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7308b82f14d5231a75cd7fe245bbd88eb8632cc","datavalue":{"value":{"amount":"+0.7556670904159546","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":"Q1058535$F56BC67A-3FDA-489F-AB8B-4A0B237C2BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0483d1d7cb1fe51445b530963c754b13b706ce","datavalue":{"value":{"entity-type":"item","numeric-id":616723,"id":"Q616723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7308b82f14d5231a75cd7fe245bbd88eb8632cc","datavalue":{"value":{"amount":"+0.7556670904159546","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":"Q1058535$F1C40173-DA3B-4615-AC0F-4791EEFBA0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945d958da25ce5588e5f2f20731bdccf692559bb","datavalue":{"value":{"entity-type":"item","numeric-id":3772269,"id":"Q3772269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10f0765bcbfa7e1839c1398bd3708e983f81a82","datavalue":{"value":{"amount":"+0.744079053401947","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":"Q1058535$9E927B12-DEA0-4F8F-933E-993BC0F085C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97325470f3cc89057e9e40049b69cfc76a0f2f64","datavalue":{"value":{"entity-type":"item","numeric-id":4457309,"id":"Q4457309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47ed110e162e3f3c6061c081610fc1b20d081f3","datavalue":{"value":{"amount":"+0.7392557859420776","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":"Q1058535$34692928-93BF-4DA0-9824-44128B8B00C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementarily non-equivalent infinite partition lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementarily_non-equivalent_infinite_partition_lattices"}}}}}