@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix schema: <http://schema.org/> .
@prefix cc: <http://creativecommons.org/ns#> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix wd: <https://wikibase.ronzz.org/entity/> .
@prefix data: <https://wikibase.ronzz.org/wiki/Special:EntityData/> .
@prefix wds: <https://wikibase.ronzz.org/entity/statement/> .
@prefix wdref: <https://wikibase.ronzz.org/reference/> .
@prefix wdv: <https://wikibase.ronzz.org/value/> .
@prefix wdt: <https://wikibase.ronzz.org/prop/direct/> .
@prefix wdtn: <https://wikibase.ronzz.org/prop/direct-normalized/> .
@prefix p: <https://wikibase.ronzz.org/prop/> .
@prefix ps: <https://wikibase.ronzz.org/prop/statement/> .
@prefix psv: <https://wikibase.ronzz.org/prop/statement/value/> .
@prefix psn: <https://wikibase.ronzz.org/prop/statement/value-normalized/> .
@prefix pq: <https://wikibase.ronzz.org/prop/qualifier/> .
@prefix pqv: <https://wikibase.ronzz.org/prop/qualifier/value/> .
@prefix pqn: <https://wikibase.ronzz.org/prop/qualifier/value-normalized/> .
@prefix pr: <https://wikibase.ronzz.org/prop/reference/> .
@prefix prv: <https://wikibase.ronzz.org/prop/reference/value/> .
@prefix prn: <https://wikibase.ronzz.org/prop/reference/value-normalized/> .
@prefix wdno: <https://wikibase.ronzz.org/prop/novalue/> .

data:Q2144 a schema:Dataset ;
	schema:about wd:Q2144 ;
	cc:license <https://creativecommons.org/licenses/by-sa/4.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "9774"^^xsd:integer ;
	schema:dateModified "2026-10-12T13:48:37Z"^^xsd:dateTime ;
	wikibase:statements "4"^^xsd:integer ;
	wikibase:sitelinks "0"^^xsd:integer ;
	wikibase:identifiers "0"^^xsd:integer .

wd:Q2144 a wikibase:Item ;
	wdt:P1 wd:Q4 ;
	wdt:P4 "\\\\forall \\\\vec v \\\\in V, \\\\vec v=\\\\operatorname{span}\\\\{\\\\vec u_1,\\\\dots,\\\\vec u_n\\\\}\\n=\\\\left\\\\{\\n\\\\sum_{i=1}^n \\\\lambda_i \\\\vec u_i\\n\\\\;\\\\middle|\\\\;\\n\\\\lambda_i \\\\in \\\\mathbb{F}\\n\\\\right\\\\}" ;
	wdt:P75 "And $\\\\vec u_1,\\\\dots,\\\\vec u_n$ are [[linearly independent]],\\n\\nThen $B=\\\\{\\\\vec u_1,\\\\dots,\\\\vec u_n\\\\}$ is a basis of $V$\\n\\n$n$ is known as the '''dimension''' of $V$" ;
	wdt:P6 wd:Q147 ;
	p:P1 wds:Q2144-AA34E0F7-1C1F-449C-84C2-B1686497D9D0 .

wds:Q2144-AA34E0F7-1C1F-449C-84C2-B1686497D9D0 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1 wd:Q4 .

wd:Q2144 p:P4 wds:Q2144-08519105-7475-463C-B6DD-3F773801EC8F .

wds:Q2144-08519105-7475-463C-B6DD-3F773801EC8F a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P4 "\\\\forall \\\\vec v \\\\in V, \\\\vec v=\\\\operatorname{span}\\\\{\\\\vec u_1,\\\\dots,\\\\vec u_n\\\\}\\n=\\\\left\\\\{\\n\\\\sum_{i=1}^n \\\\lambda_i \\\\vec u_i\\n\\\\;\\\\middle|\\\\;\\n\\\\lambda_i \\\\in \\\\mathbb{F}\\n\\\\right\\\\}" .

wd:Q2144 p:P75 wds:Q2144-7505D903-A1EE-44E3-AE3A-164DC4DA37B6 .

wds:Q2144-7505D903-A1EE-44E3-AE3A-164DC4DA37B6 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P75 "And $\\\\vec u_1,\\\\dots,\\\\vec u_n$ are [[linearly independent]],\\n\\nThen $B=\\\\{\\\\vec u_1,\\\\dots,\\\\vec u_n\\\\}$ is a basis of $V$\\n\\n$n$ is known as the '''dimension''' of $V$" .

wd:Q2144 p:P6 wds:Q2144-4E82F0A2-8E52-48D1-B325-7BB0E257F2E7 .

wds:Q2144-4E82F0A2-8E52-48D1-B325-7BB0E257F2E7 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P6 wd:Q147 .

wd:Q2144 rdfs:label "vector space basis definition"@en ;
	skos:prefLabel "vector space basis definition"@en ;
	schema:name "vector space basis definition"@en .

wd:Q4 a wikibase:Item ;
	rdfs:label "mathematical expression"@en ;
	skos:prefLabel "mathematical expression"@en ;
	schema:name "mathematical expression"@en ;
	rdfs:label "expression mathématique"@fr ;
	skos:prefLabel "expression mathématique"@fr ;
	schema:name "expression mathématique"@fr ;
	rdfs:label "matematika esprimo"@eo ;
	skos:prefLabel "matematika esprimo"@eo ;
	schema:name "matematika esprimo"@eo ;
	schema:description "a mathematical expression embedded on a page"@en,
		"une expression mathématique intégrée sur une page"@fr,
		"matematika esprimo enigita en paĝon"@eo .

wd:P1 a wikibase:Property ;
	rdfs:label "instance of"@en ;
	skos:prefLabel "instance of"@en ;
	schema:name "instance of"@en ;
	rdfs:label "instance de"@fr ;
	skos:prefLabel "instance de"@fr ;
	schema:name "instance de"@fr ;
	rdfs:label "ekzemplo de"@eo ;
	skos:prefLabel "ekzemplo de"@eo ;
	schema:name "ekzemplo de"@eo ;
	schema:description "that class of which this subject is a particular example and member"@en,
		"cette classe dont ce sujet est un exemple particulier et membre"@fr,
		"klaso, al kiu ĉi tiu subjekto apartenas kiel konkreta ekzemplo kaj membro"@eo ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1 ;
	wikibase:claim p:P1 ;
	wikibase:statementProperty ps:P1 ;
	wikibase:statementValue psv:P1 ;
	wikibase:qualifier pq:P1 ;
	wikibase:qualifierValue pqv:P1 ;
	wikibase:reference pr:P1 ;
	wikibase:referenceValue prv:P1 ;
	wikibase:novalue wdno:P1 .

p:P1 a owl:ObjectProperty .

psv:P1 a owl:ObjectProperty .

pqv:P1 a owl:ObjectProperty .

prv:P1 a owl:ObjectProperty .

wdt:P1 a owl:ObjectProperty .

ps:P1 a owl:ObjectProperty .

pq:P1 a owl:ObjectProperty .

pr:P1 a owl:ObjectProperty .

wdno:P1 a owl:Class ;
	owl:complementOf _:b96ec5135b6832e1d84209d72460276b .

_:b96ec5135b6832e1d84209d72460276b a owl:Restriction ;
	owl:onProperty wdt:P1 ;
	owl:someValuesFrom owl:Thing .

wd:P4 a wikibase:Property ;
	rdfs:label "LaTeX source"@en ;
	skos:prefLabel "LaTeX source"@en ;
	schema:name "LaTeX source"@en ;
	rdfs:label "source LaTeX"@fr ;
	skos:prefLabel "source LaTeX"@fr ;
	schema:name "source LaTeX"@fr ;
	rdfs:label "LaTeX-fontkodo"@eo ;
	skos:prefLabel "LaTeX-fontkodo"@eo ;
	schema:name "LaTeX-fontkodo"@eo ;
	schema:description "the LaTeX source of this mathematical expression"@en,
		"la source LaTeX de cette expression mathématique"@fr,
		"la LaTeX-fonto de ĉi tiu matematika esprimo"@eo ;
	wikibase:propertyType <http://wikiba.se/ontology#String> ;
	wikibase:directClaim wdt:P4 ;
	wikibase:claim p:P4 ;
	wikibase:statementProperty ps:P4 ;
	wikibase:statementValue psv:P4 ;
	wikibase:qualifier pq:P4 ;
	wikibase:qualifierValue pqv:P4 ;
	wikibase:reference pr:P4 ;
	wikibase:referenceValue prv:P4 ;
	wikibase:novalue wdno:P4 .

p:P4 a owl:ObjectProperty .

psv:P4 a owl:ObjectProperty .

pqv:P4 a owl:ObjectProperty .

prv:P4 a owl:ObjectProperty .

wdt:P4 a owl:DatatypeProperty .

ps:P4 a owl:DatatypeProperty .

pq:P4 a owl:DatatypeProperty .

pr:P4 a owl:DatatypeProperty .

wdno:P4 a owl:Class ;
	owl:complementOf _:c298799f0cd3665c958b9d4edf0ffbf3 .

_:c298799f0cd3665c958b9d4edf0ffbf3 a owl:Restriction ;
	owl:onProperty wdt:P4 ;
	owl:someValuesFrom owl:Thing .

wd:P75 a wikibase:Property ;
	rdfs:label "note"@en ;
	skos:prefLabel "note"@en ;
	schema:name "note"@en ;
	rdfs:label "note"@fr ;
	skos:prefLabel "note"@fr ;
	schema:name "note"@fr ;
	rdfs:label "noto"@eo ;
	skos:prefLabel "noto"@eo ;
	schema:name "noto"@eo ;
	schema:description "a wikitext note accompanying this mathematical expression (links, media, $…$ math)"@en,
		"une note en wikitexte accompagnant cette expression mathématique (liens, médias, $…$ KaTeX/MathJax)"@fr,
		"vikiteksta noto akompana ĉi tiun matematikan esprimon (ligiloj, medioj, $…$ matematiko)"@eo ;
	wikibase:propertyType <http://wikiba.se/ontology#String> ;
	wikibase:directClaim wdt:P75 ;
	wikibase:claim p:P75 ;
	wikibase:statementProperty ps:P75 ;
	wikibase:statementValue psv:P75 ;
	wikibase:qualifier pq:P75 ;
	wikibase:qualifierValue pqv:P75 ;
	wikibase:reference pr:P75 ;
	wikibase:referenceValue prv:P75 ;
	wikibase:novalue wdno:P75 .

p:P75 a owl:ObjectProperty .

psv:P75 a owl:ObjectProperty .

pqv:P75 a owl:ObjectProperty .

prv:P75 a owl:ObjectProperty .

wdt:P75 a owl:DatatypeProperty .

ps:P75 a owl:DatatypeProperty .

pq:P75 a owl:DatatypeProperty .

pr:P75 a owl:DatatypeProperty .

wdno:P75 a owl:Class ;
	owl:complementOf _:e572a1cf9dc64d129ae9135bd8082cbb .

_:e572a1cf9dc64d129ae9135bd8082cbb a owl:Restriction ;
	owl:onProperty wdt:P75 ;
	owl:someValuesFrom owl:Thing .

wd:Q147 a wikibase:Item ;
	rdfs:label "Rong Martin-Siebler ZHOU"@en ;
	skos:prefLabel "Rong Martin-Siebler ZHOU"@en ;
	schema:name "Rong Martin-Siebler ZHOU"@en .

wd:P6 a wikibase:Property ;
	rdfs:label "attributed to"@en ;
	skos:prefLabel "attributed to"@en ;
	schema:name "attributed to"@en ;
	rdfs:label "attribué à"@fr ;
	skos:prefLabel "attribué à"@fr ;
	schema:name "attribué à"@fr ;
	rdfs:label "atribuita al"@eo ;
	skos:prefLabel "atribuita al"@eo ;
	schema:name "atribuita al"@eo ;
	schema:description "the author or creator this item is attributed to"@en,
		"l'auteur ou le créateur auquel cet élément est attribué"@fr,
		"la aŭtoro aŭ kreinto, al kiu ĉi tiu elemento estas atribuita"@eo ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P6 ;
	wikibase:claim p:P6 ;
	wikibase:statementProperty ps:P6 ;
	wikibase:statementValue psv:P6 ;
	wikibase:qualifier pq:P6 ;
	wikibase:qualifierValue pqv:P6 ;
	wikibase:reference pr:P6 ;
	wikibase:referenceValue prv:P6 ;
	wikibase:novalue wdno:P6 .

p:P6 a owl:ObjectProperty .

psv:P6 a owl:ObjectProperty .

pqv:P6 a owl:ObjectProperty .

prv:P6 a owl:ObjectProperty .

wdt:P6 a owl:ObjectProperty .

ps:P6 a owl:ObjectProperty .

pq:P6 a owl:ObjectProperty .

pr:P6 a owl:ObjectProperty .

wdno:P6 a owl:Class ;
	owl:complementOf _:756f10bc5f45e99cc0b50f82c4769b77 .

_:756f10bc5f45e99cc0b50f82c4769b77 a owl:Restriction ;
	owl:onProperty wdt:P6 ;
	owl:someValuesFrom owl:Thing .