FRINK Linked Data Fragments server

Matches in Wikidata for { <http://www.wikidata.org/entity/Q1144915> ?p ?o ?g. }

• Q1144915 prefLabel "사전식 순서" @default.
• Q1144915 P10283 Q1144915-B7AE0C80-BBFA-40B5-8F2B-E26F2C9528F1 @default.
• Q1144915 P11514 Q1144915-A36F25AC-6EC5-42C4-BF38-2DD897FA3807 @default.
• Q1144915 P1482 Q1144915-AA9DD343-E095-42E4-AA05-C4293A2794FB @default.
• Q1144915 P2534 Q1144915-cc581883-4db2-046b-dcf0-eb9e45ce1b68 @default.
• Q1144915 P279 Q1144915-07b687ea-4fa1-7cca-6b04-c3a9f7819385 @default.
• Q1144915 P279 Q1144915-baab3c8e-48c3-c186-a0eb-d35d06af2663 @default.
• Q1144915 P2812 Q1144915-28F1BDE4-CF80-4F2C-8773-D263DAF52E16 @default.
• Q1144915 P31 Q1144915-fd0b3564-43ae-92cf-eada-0f0eb9822bfa @default.
• Q1144915 P4215 Q1144915-F2CD3671-469E-40F1-BD0B-78839B660575 @default.
• Q1144915 P5106 Q1144915-2D1C1727-BF6D-4ABA-BB57-AEA7C4EE15AE @default.
• Q1144915 P6104 Q1144915-8E59BE62-6416-4F5C-A12F-A229F8D4B0EF @default.
• Q1144915 P6366 Q1144915-C3BD09E5-51D1-4894-B5E5-CA0EFBA3A9CC @default.
• Q1144915 P646 Q1144915-FC96A770-70C5-4310-97D3-78D65FEDDEC8 @default.
• Q1144915 P7235 Q1144915-158b9651-4868-409d-206f-59fe0ead5354 @default.
• Q1144915 P7235 Q1144915-3e4a6d06-49a9-f5d7-6631-5e5a37ebe213 @default.
• Q1144915 P7235 Q1144915-42e8b936-4ee5-59ad-5b52-e725425fc058 @default.
• Q1144915 P7235 Q1144915-bcbff39e-4f50-f1c1-3578-2f73f33bf671 @default.
• Q1144915 P7235 Q1144915-deb1c7d5-40c9-98dc-dfc8-8cf163699314 @default.
• Q1144915 P7235 Q1144915-f1cb0763-4b0a-6dec-185b-1ac2c3bee6b8 @default.
• Q1144915 P828 Q1144915-4c6ef972-4576-717c-4c51-ffb8acc388dc @default.
• Q1144915 P6366 159254197 @default.
• Q1144915 P10283 "C159254197" @default.
• Q1144915 P11514 "leksikograficheskii-poriadok-48b04e" @default.
• Q1144915 P1482 lexicographic @default.
• Q1144915 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \left(u\leq _{\mathrm {lex} }v\right)\Leftrightarrow \left(u\sqsubseteq v\right)\lor \left(\exists i\in \left[1,\min \left\{\left|u\right|,\left|v\right|\right\}\right]:u_{i}<v_{i}\right)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mo>(</mo> <mrow> <mi>u</mi> <msub> <mo>&#x2264;<!-- ≤ --></mo> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="normal">l</mi> <mi mathvariant="normal">e</mi> <mi mathvariant="normal">x</mi> </mrow> </mrow> </msub> <mi>v</mi> </mrow> <mo>)</mo> </mrow> <mo stretchy="false">&#x21D4;<!-- ⇔ --></mo> <mrow> <mo>(</mo> <mrow> <mi>u</mi> <mo>&#x2291;<!-- ⊑ --></mo> <mi>v</mi> </mrow> <mo>)</mo> </mrow> <mo>&#x2228;<!-- ∨ --></mo> <mrow> <mo>(</mo> <mrow> <mi mathvariant="normal">&#x2203;<!-- ∃ --></mi> <mi>i</mi> <mo>&#x2208;<!-- ∈ --></mo> <mrow> <mo>[</mo> <mrow> <mn>1</mn> <mo>,</mo> <mo movablelimits="true" form="prefix">min</mo> <mrow> <mo>{</mo> <mrow> <mrow> <mo>|</mo> <mi>u</mi> <mo>|</mo> </mrow> <mo>,</mo> <mrow> <mo>|</mo> <mi>v</mi> <mo>|</mo> </mrow> </mrow> <mo>}</mo> </mrow> </mrow> <mo>]</mo> </mrow> <mo>:</mo> <msub> <mi>u</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>i</mi> </mrow> </msub> <mo><</mo> <msub> <mi>v</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>i</mi> </mrow> </msub> </mrow> <mo>)</mo> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \left(u\leq _{\mathrm {lex} }v\right)\Leftrightarrow \left(u\sqsubseteq v\right)\lor \left(\exists i\in \left[1,\min \left\{\left|u\right|,\left|v\right|\right\}\right]:u_{i}<v_{i}\right)}</annotation> </semantics> </math>" @default.
• Q1144915 P279 Q1069998 @default.
• Q1144915 P279 Q10925 @default.
• Q1144915 P2812 "LexicographicOrder" @default.
• Q1144915 P31 Q1069998 @default.
• Q1144915 P4215 "lexicographic order" @default.
• Q1144915 P5106 "lexicgrphcl" @default.
• Q1144915 P6104 Q8487137 @default.
• Q1144915 P6366 "159254197" @default.
• Q1144915 P646 "/m/02qvhb" @default.
• Q1144915 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle <}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo><</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle <}</annotation> </semantics> </math>" @default.
• Q1144915 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \leq _{\mathrm {lex} }}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msub> <mo>&#x2264;<!-- ≤ --></mo> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="normal">l</mi> <mi mathvariant="normal">e</mi> <mi mathvariant="normal">x</mi> </mrow> </mrow> </msub> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \leq _{\mathrm {lex} }}</annotation> </semantics> </math>" @default.
• Q1144915 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \sqsubseteq }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>&#x2291;<!-- ⊑ --></mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \sqsubseteq }</annotation> </semantics> </math>" @default.
• Q1144915 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle u}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>u</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle u}</annotation> </semantics> </math>" @default.
• Q1144915 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle v}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>v</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle v}</annotation> </semantics> </math>" @default.
• Q1144915 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle |\cdot |}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mo>&#x22C5;<!-- ⋅ --></mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle |\cdot |}</annotation> </semantics> </math>" @default.
• Q1144915 P828 Q2303697 @default.

• first
• previous