{"entities":{"Q1274075":{"pageid":1284825,"ns":120,"title":"Item:Q1274075","lastrevid":70046082,"modified":"2026-04-13T12:04:31Z","type":"item","id":"Q1274075","labels":{"en":{"language":"en","value":"Generators of \\(\\sigma\\)- and \\(\\pi\\)-classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238037"}},"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":"Q1274075$258713E9-367D-4069-941F-650633333BCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4ef6e31a4952e7ea0937c6294606b90b506ae88","datavalue":{"value":{"text":"Generators of \\(\\sigma\\)- and \\(\\pi\\)-classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1274075$AB1CBD35-FA01-46AE-850C-BA96ABFCBD31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"172407a549fb40625a05b76d618c2eb6e4458542","datavalue":{"value":"0922.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274075$066B7DC3-6C19-40D6-8932-D933FB026458","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d26ac76eeecd54dcf98cfaeeee2940740f47beef","datavalue":{"value":"10.1007/BF02361223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274075$14B320B9-C7D7-4308-9B0A-77D3D12B9CCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64ced751559add3e960ea5dfeeb0b6fdd38e0b29","datavalue":{"value":{"entity-type":"item","numeric-id":1076133,"id":"Q1076133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274075$C45F5BC4-BE04-4FD6-B5C1-FAA2A78958A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"454cda5255db743aecbeca99e0f3382e4bef53ac","datavalue":{"value":{"entity-type":"item","numeric-id":1098155,"id":"Q1098155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274075$D49F1969-3034-4690-A584-BBCBE1394D50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274075$1C272BD8-2B32-407A-8CC1-C3EBB7B9E1DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2bdecfb638e9226478c4c6b1c8a292946f5e983","datavalue":{"value":{"time":"+1999-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1274075$4C5839C0-EAD4-4233-9883-6F5289CB4729","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e0aff998ca377541a2db95f1352cf4c564bde77","datavalue":{"value":"This short note presents two simple theorems concerning properties of \\(\\sigma\\)- and \\(\\pi\\)-classes. Namely, it is proved that given a \\(\\pi\\)-class (\\(\\sigma\\)-class) \\(X\\) and a set-formula \\(\\varphi({\\mathbf x}, {\\mathbf y})\\) then the property  \\[  (\\forall {\\mathbf x}\\in X^n)(\\exists {\\mathbf y}\\in X^k)(\\varphi({\\mathbf x}, {\\mathbf y}))  \\]  is valid for \\(X\\) iff there exists a decreasing (increasing) chain of generators \\(X_i\\), \\(i\\in FN\\) such that  \\[  (\\forall i>1)(\\forall {\\mathbf x}\\in X^n_i)(\\exists {\\mathbf y}\\in X^k_j)(\\varphi({\\mathbf x},{\\mathbf y}))  \\]  where \\(j=i-1\\) for the decreasing and \\(j=i+1\\) for the increasing chain. The paper is clearly, though briefly written and two examples are also provided. The English translation uses incorrectly the term ``open class'' instead of ``revealed class''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274075$02AB5867-1E3A-4B18-84A6-D4B2FF2AAC44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274075$E11D9B53-6449-4A16-983D-D98BE69B3893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c24f3dec1b33467bbb374646a8e45fd9650d0d6","datavalue":{"value":"1238037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274075$A59CBD90-8F57-4563-B8E2-59D40AB4ED8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8031329d11dc8175fb13f513fa363e742c64e9cf","datavalue":{"value":"alternative set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274075$3EED19A8-542C-4706-B513-1169E87163BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd93350bf4c660e348ea80182fdd2b0f4ea2bee7","datavalue":{"value":"revealed class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274075$067F6B6F-8EF6-48CB-B9A2-34898CA8323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1021f98f26461616b62f43c6af8e4528372c47ac","datavalue":{"value":"\\(\\pi\\)-class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274075$1835E803-F0F7-4AA8-A1AF-89B3A8D91AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5169c1075e1cac2402cca086ac0f918cd86a22","datavalue":{"value":"\\(\\sigma\\)-class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274075$38D8021D-E98D-44B4-BFE6-4760A3052686","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b94695dfa82835fe743dcf7fcbe410a40ce7658","datavalue":{"value":{"entity-type":"item","numeric-id":279322,"id":"Q279322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274075$36647A45-507C-4C3A-88AE-F7E38F4BCCF9","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":"Q1274075$84F180BF-3596-44C5-8A9D-77C531383C78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460d0c86696543d51b02896c1e3418d95a76a6a8","datavalue":{"value":{"entity-type":"item","numeric-id":4517322,"id":"Q4517322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a36ba2c1bd83534cf113ec6b3524f0c13c9d4e","datavalue":{"value":{"amount":"+0.8522571921348572","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":"Q1274075$C30DF692-25EA-4B8F-8465-171F7E0F7D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b66d4c9c21f2a036317f2b609513a7cd3c4c043","datavalue":{"value":{"entity-type":"item","numeric-id":4948330,"id":"Q4948330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd01a3f5162321180a9a4b51d2d1dc05202e8518","datavalue":{"value":{"amount":"+0.6873871684074402","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":"Q1274075$C5321F92-8FF5-464B-8979-6E8E69B0C921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbf7dfc6fb29ea7431c558912e26f4ca91739a6","datavalue":{"value":{"entity-type":"item","numeric-id":4791345,"id":"Q4791345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364068ec8155b8c7bd3beee073288dd6704fff40","datavalue":{"value":{"amount":"+0.6812648773193359","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":"Q1274075$D9BB6F52-412D-43AC-93E6-7DD2131C4985","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generators of \\(\\sigma\\)- and \\(\\pi\\)-classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generators_of_%5C(%5Csigma%5C)-_and_%5C(%5Cpi%5C)-classes"}}}}}