Matches in Wikidata for { <http://www.wikidata.org/entity/statement/Q1052692-74ad32de-4497-b61c-2c48-c8dc93b6628b> ?p ?o ?g. }
Showing items 1 to 4 of
4
with 100 items per page.
- Q1052692-74ad32de-4497-b61c-2c48-c8dc93b6628b rank NormalRank @default.
- Q1052692-74ad32de-4497-b61c-2c48-c8dc93b6628b type BestRank @default.
- Q1052692-74ad32de-4497-b61c-2c48-c8dc93b6628b type Statement @default.
- Q1052692-74ad32de-4497-b61c-2c48-c8dc93b6628b P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \varnothing \neq \bigcup _{x\in F}\uparrow x=F\subset P\land (\forall x,y\in F\exists z\in F\colon x\geq z\leq y)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi class="MJX-variant">∅<!-- ∅ --></mi> <mo>≠<!-- ≠ --></mo> <munder> <mo>⋃<!-- ⋃ --></mo> <mrow class="MJX-TeXAtom-ORD"> <mi>x</mi> <mo>∈<!-- ∈ --></mo> <mi>F</mi> </mrow> </munder> <mo stretchy="false">↑<!-- ↑ --></mo> <mi>x</mi> <mo>=</mo> <mi>F</mi> <mo>⊂<!-- ⊂ --></mo> <mi>P</mi> <mo>∧<!-- ∧ --></mo> <mo stretchy="false">(</mo> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>∈<!-- ∈ --></mo> <mi>F</mi> <mi mathvariant="normal">∃<!-- ∃ --></mi> <mi>z</mi> <mo>∈<!-- ∈ --></mo> <mi>F</mi> <mo>:<!-- : --></mo> <mi>x</mi> <mo>≥<!-- ≥ --></mo> <mi>z</mi> <mo>≤<!-- ≤ --></mo> <mi>y</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \varnothing \neq \bigcup _{x\in F}\uparrow x=F\subset P\land (\forall x,y\in F\exists z\in F\colon x\geq z\leq y)}</annotation> </semantics> </math>" @default.