Matches in Wikidata for { <http://www.wikidata.org/entity/Q18205396> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- Q18205396 description "Axiom der Mengenlehre" @default.
- Q18205396 description "axiom that for any two sets 𝑥, 𝑦 there is a set 𝑥∪{𝑦} given by adjoining 𝑦 to 𝑥" @default.
- Q18205396 description "la aksiomo, ke pri ajnaj du aroj 𝑥, 𝑦 ekzistas la aro 𝑥∪{𝑦}" @default.
- Q18205396 name "aksiomo de enmeto" @default.
- Q18205396 name "axiom of adjunction" @default.
- Q18205396 name "axiome d’adjonction" @default.
- Q18205396 name "Аксіома приєднання" @default.
- Q18205396 type Item @default.
- Q18205396 label "aksiomo de enmeto" @default.
- Q18205396 label "axiom of adjunction" @default.
- Q18205396 label "axiome d’adjonction" @default.
- Q18205396 label "Аксіома приєднання" @default.
- Q18205396 prefLabel "aksiomo de enmeto" @default.
- Q18205396 prefLabel "axiom of adjunction" @default.
- Q18205396 prefLabel "axiome d’adjonction" @default.
- Q18205396 prefLabel "Аксіома приєднання" @default.
- Q18205396 P2534 Q18205396-b8466ab2-4fa0-4b48-8cab-484714b760d5 @default.
- Q18205396 P31 Q18205396-3b02e637-42d7-6107-fb04-b5b83a477143 @default.
- Q18205396 P6104 Q18205396-7CFE3D4F-2DE0-4E23-9237-B363264C6BA6 @default.
- Q18205396 P646 Q18205396-710B1CDE-5AE6-4510-9188-626A838EB88F @default.
- Q18205396 P7235 Q18205396-1c2a8ce9-4d66-93d1-3ae3-cf06737fd89d @default.
- Q18205396 P7235 Q18205396-72dd8760-4fc4-62fe-d1dc-c94b7b62dc21 @default.
- Q18205396 P7235 Q18205396-b66175af-4b2d-fc77-427b-28f6a7461393 @default.
- Q18205396 P7235 Q18205396-c7c18a69-40ba-7f90-03bb-b41838de4b0a @default.
- Q18205396 P7235 Q18205396-d0aff0bb-4005-941e-b726-ad150ef727bd @default.
- Q18205396 P7235 Q18205396-fae9338d-48db-33ab-f75e-c6cc2ba8ce72 @default.
- Q18205396 P7235 Q18205396-fc7f05b9-417f-d0a7-e1b5-5d5024ece880 @default.
- Q18205396 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \forall x\forall y\exists w\forall z\left(z\in w\iff (z\in x\lor z=y)\right)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>x</mi> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>y</mi> <mi mathvariant="normal">∃<!-- ∃ --></mi> <mi>w</mi> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>z</mi> <mrow> <mo>(</mo> <mrow> <mi>z</mi> <mo>∈<!-- ∈ --></mo> <mi>w</mi> <mspace width="thickmathspace" /> <mo stretchy="false">⟺<!-- ⟺ --></mo> <mspace width="thickmathspace" /> <mo stretchy="false">(</mo> <mi>z</mi> <mo>∈<!-- ∈ --></mo> <mi>x</mi> <mo>∨<!-- ∨ --></mo> <mi>z</mi> <mo>=</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>)</mo> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall x\forall y\exists w\forall z\left(z\in w\iff (z\in x\lor z=y)\right)}</annotation> </semantics> </math>" @default.
- Q18205396 P31 Q36191904 @default.
- Q18205396 P6104 Q8487137 @default.
- Q18205396 P646 "/m/011lcy4l" @default.
- Q18205396 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \exists }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∃<!-- ∃ --></mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \exists }</annotation> </semantics> </math>" @default.
- Q18205396 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \forall }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀<!-- ∀ --></mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall }</annotation> </semantics> </math>" @default.
- Q18205396 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \iff }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mspace width="thickmathspace" /> <mo stretchy="false">⟺<!-- ⟺ --></mo> <mspace width="thickmathspace" /> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \iff }</annotation> </semantics> </math>" @default.
- Q18205396 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle w}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>w</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle w}</annotation> </semantics> </math>" @default.
- Q18205396 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x}</annotation> </semantics> </math>" @default.
- Q18205396 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle y}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>y</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle y}</annotation> </semantics> </math>" @default.
- Q18205396 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle z}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>z</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle z}</annotation> </semantics> </math>" @default.