Matches in Wikidata for { <http://www.wikidata.org/entity/Q909412> ?p ?o ?g. }
- Q909412 prefLabel "有序域" @default.
- Q909412 prefLabel "有序域" @default.
- Q909412 prefLabel "有序域" @default.
- Q909412 prefLabel "有序場" @default.
- Q909412 prefLabel "有序體" @default.
- Q909412 prefLabel "有序體" @default.
- Q909412 prefLabel "順序体" @default.
- Q909412 prefLabel "순서체" @default.
- Q909412 P10283 Q909412-1D0CE919-8C94-4BF0-8A30-1AA9B9351088 @default.
- Q909412 P12322 Q909412-9DB1A864-67C7-4300-B781-2287AF1CE5FB @default.
- Q909412 P12322 Q909412-C8EA4B3F-0B09-406D-A0F8-A2B0E898EC83 @default.
- Q909412 P12322 Q909412-faebf9e1-4f6c-4b97-6e0b-864260ff7da7 @default.
- Q909412 P1482 Q909412-c8e89c0c-4afc-f4db-0b6f-4dd7a26769ce @default.
- Q909412 P1482 Q909412-e4fe04e7-4220-c5ee-48e2-78c89a6104ac @default.
- Q909412 P2534 Q909412-a1f5af80-4ceb-4209-9e2b-8c9a2fa28d9d @default.
- Q909412 P2579 Q909412-BDC7CF05-B6E7-43ED-ABB8-B30F4AB0BB51 @default.
- Q909412 P279 Q909412-bee3940c-462b-e090-309b-8d7719448549 @default.
- Q909412 P4215 Q909412-D017B46B-F990-470C-B70E-61C8660E82EC @default.
- Q909412 P6104 Q909412-F108433A-5F0F-45DC-99C5-E7D83E7A43BC @default.
- Q909412 P6366 Q909412-4238C923-CD26-41DA-BD95-7CA4F232C3F9 @default.
- Q909412 P646 Q909412-C076FE68-937A-446F-A814-84F52929161F @default.
- Q909412 P7235 Q909412-18d24df9-4813-a05d-02a9-77f042630230 @default.
- Q909412 P7235 Q909412-46860f6b-4890-b613-35b4-f4bcdebddb8a @default.
- Q909412 P7235 Q909412-508e72c9-4d62-377b-70f7-c6f8df9c4241 @default.
- Q909412 P7235 Q909412-76648354-4fa3-e096-e5a6-56517307fe37 @default.
- Q909412 P6366 13851312 @default.
- Q909412 P10283 "C13851312" @default.
- Q909412 P12322 Q190109 @default.
- Q909412 P12322 Q36161 @default.
- Q909412 P12322 Q41143704 @default.
- Q909412 P1482 ordered-fields @default.
- Q909412 P1482 ordered-fields @default.
- Q909412 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \forall a,b,c\in K\colon (a\leq b\implies a+c\leq b+c)\land (0\leq a\leq b\implies 0\leq ab)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>,</mo> <mi>c</mi> <mo>∈<!-- ∈ --></mo> <mi>K</mi> <mo>:<!-- : --></mo> <mo stretchy="false">(</mo> <mi>a</mi> <mo>≤<!-- ≤ --></mo> <mi>b</mi> <mspace width="thickmathspace" /> <mo stretchy="false">⟹<!-- ⟹ --></mo> <mspace width="thickmathspace" /> <mi>a</mi> <mo>+</mo> <mi>c</mi> <mo>≤<!-- ≤ --></mo> <mi>b</mi> <mo>+</mo> <mi>c</mi> <mo stretchy="false">)</mo> <mo>∧<!-- ∧ --></mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>≤<!-- ≤ --></mo> <mi>a</mi> <mo>≤<!-- ≤ --></mo> <mi>b</mi> <mspace width="thickmathspace" /> <mo stretchy="false">⟹<!-- ⟹ --></mo> <mspace width="thickmathspace" /> <mn>0</mn> <mo>≤<!-- ≤ --></mo> <mi>a</mi> <mi>b</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall a,b,c\in K\colon (a\leq b\implies a+c\leq b+c)\land (0\leq a\leq b\implies 0\leq ab)}</annotation> </semantics> </math>" @default.
- Q909412 P2579 Q114420395 @default.
- Q909412 P279 Q3782642 @default.
- Q909412 P4215 "ordered field" @default.
- Q909412 P6104 Q8487137 @default.
- Q909412 P6366 "13851312" @default.
- Q909412 P646 "/m/05m3v" @default.
- Q909412 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle K}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>K</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle K}</annotation> </semantics> </math>" @default.
- Q909412 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \implies }"> <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 \implies }</annotation> </semantics> </math>" @default.
- Q909412 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \land }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>∧<!-- ∧ --></mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \land }</annotation> </semantics> </math>" @default.
- Q909412 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \leq }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>≤<!-- ≤ --></mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \leq }</annotation> </semantics> </math>" @default.