Wikidata:Database reports/Constraint violations/P1568

• Summary
• List of properties
• Property proposal
• Popular properties
• Special:ConstraintReport

Constraint violations report for definition domain (Discussion, uses, items, changes, related properties): set of "input" or argument values for which a mathematical function is defined
Data time stamp: 24 April 2024, 12:04 (UTC) — Items processed: 170
The report is generated based on the settings on Property:P1568#P2302.
Updates overwrite this page. Some may already be fixed since the last update: check RecentChangesLinked.
When incremental dumps and the bot work as planned, items fixed before 07:00 UTC disappear in the next update. The report is not updated if only the item count changes.
The report can include false positives. There is no need to "fix" them.

"Self link" violations

Violations count: 1

• General Problem Solver (Q1387212)

"Type mapping (Q370502), function (Q11348), morphism (Q1948412), binary relation (Q130901), functor (Q864475), natural transformation (Q1442189)" violations

Violations count: 8

• Positive and negative parts (Q949756): dyad (Q29431432)
• Skew-T log-P diagram (Q1027820): thermodynamic diagrams (Q2568890), Q25447307
• vector normalization (Q2326894): normalization (Q249772)
• isoperimetric ratio (Q25304343): ratio (Q3481047), dimensionless quantity (Q126818)
• termination proof (Q28122552): mathematical proof (Q11538)
• admissibility of an inference rule (Q28381790): relation (Q203066)
• Kata Orndorff (Q86682555): human (Q5)
• Q122879332: Q122879332, percussion instrument (Q133163)

Types statistics

Accepted	Type	Usage
Yes	function (Q11348)	48
Yes	trigonometric function (Q93344)	11
Yes	integer-valued function (Q19856468)	9
Yes	mathematical concept (Q24034552)	6
Yes	idempotent function (Q44106280)	6
Yes	function of a complex variable (Q56312591)	5
Yes	real-valued function (Q5189500)	5
Yes	unary operation (Q657596)	5
Yes	inverse trigonometric function (Q674533)	5
Yes	continuous function (Q170058)	5
Yes	unary function (Q7882311)	4
Yes	measure (Q192276)	4
Yes	elementary function (Q824282)	4
Yes	binary relation (Q130901)	4
Yes	invariant (Q188211)	3
Yes	operation (Q3884033)	3
Yes	binary operation (Q164307)	3
Yes	strictly increasing function (Q78056159)	3
Yes	binary function (Q3737844)	3
Yes	sign function (Q236813)	3
Yes	odd function (Q18088516)	3
Yes	mapping (Q370502)	3
Yes	even function (Q12138960)	3
Yes	functional (Q579600)	3
Yes	differential operator (Q1058681)	2
Yes	field of study (Q2267705)	2
Yes	form tolerance (Q109483124)	2
Yes	self-mapping (Q1691962)	2
Yes	rounding (Q663208)	2
Yes	periodic function (Q184743)	2
Yes	logarithm (Q11197)	2
Yes	bijection (Q180907)	2
Yes	projection (Q519967)	2
Yes	quadratic function (Q50695)	2
Yes	meromorphic function (Q217616)	2
Yes	piecewise function (Q2037833)	2
Yes	specialty (Q1047113)	2
Yes	involution (Q846862)	2
Yes	computer program (Q40056)	2
Yes	power function (Q1173515)	2
Yes	metric function (Q865746)	2
Yes	function of a real variable (Q861681)	2
Yes	complex function (Q3754567)	2
Yes	absolute value (Q4669840)	2
Yes	graph coloring (Q504843)	2
Yes	step function (Q917657)	2
Yes	scalar function of scalar variable (Q140645)	2
Yes	strictly decreasing function (Q78056160)	2
Yes	continuous probability distribution (Q917918)	2
Yes	alternating multilinear map (Q4736615)	1
Yes	content (Q5165061)	1
Yes	written work (Q47461344)	1
Yes	pseudoscience (Q483677)	1
Yes	compactness measure of a shape (Q5155340)	1
No	ratio (Q3481047)	1
Yes	Wikipedia article page (Q50081413)	1
Yes	cardinal function (Q4352241)	1
Yes	edit distance (Q5338467)	1
Yes	additive function (Q95744479)	1
Yes	compactification (Q546145)	1
Yes	lower semicontinuous function (Q43304380)	1
Yes	polynomial (Q43260)	1
Yes	vector Laplacian (Q7888852)	1
Yes	string operation (Q101579937)	1
Yes	norm (Q956437)	1
Yes	pointwise operation (Q9248237)	1
Yes	divisor function (Q915474)	1
Yes	piecewise constant function (Q91306981)	1
Yes	Borel measure (Q892585)	1
Yes	bitwise operation (Q879126)	1
Yes	integral transform (Q877802)	1
Yes	modular form (Q870797)	1
Yes	special function (Q867707)	1
Yes	entire function (Q847600)	1
Yes	vector operator (Q7917838)	1
Yes	univariate probability distribution (Q7893853)	1
Yes	Student's t-distribution (Q576072)	1
Yes	Tweedie distribution (Q7857491)	1
Yes	Erlang distribution (Q762448)	1
Yes	statistical distance (Q7604392)	1
Yes	Weibull distribution (Q732332)	1
Yes	quasinorm (Q7269508)	1
Yes	graph property (Q722659)	1
Yes	inverse (Q7017933)	1
Yes	complex-valued function (Q64952105)	1
Yes	transitive relation (Q64861)	1
Yes	multivalued function (Q629085)	1
Yes	single-variable quadratic function (Q60963388)	1
Yes	nth root (Q601053)	1
No	human (Q5)	1
Yes	contaminated normal distribution (Q1660125)	1
Yes	exponential map (Q1384674)	1
Yes	specialized dictionary (Q1391417)	1
Yes	arithmetic function (Q140744)	1
Yes	seminorm (Q1416088)	1
Yes	regular measure (Q1428110)	1
Yes	higher-order function (Q1474542)	1
Yes	concept (Q151885)	1
Yes	hyperoperation (Q1569997)	1
Yes	sequence (Q133250)	1
Yes	exponential function (Q168698)	1
Yes	Laurent polynomial (Q1701125)	1
Yes	index number (Q1738991)	1
Yes	partial function (Q1756942)	1
Yes	linear operator (Q1826450)	1
Yes	word embedding (Q18395344)	1
Yes	vector field (Q186247)	1
Yes	scalar function (Q11893837)	1
Yes	multiple (Q1055293)	1
Yes	matrix-valued function (Q106095175)	1
Yes	Shifted Exponential Distribution (Q109931606)	1
Yes	homogeneous function (Q1132952)	1
Yes	energy (Q11379)	1
Yes	multivariate normal distribution (Q1149000)	1
No	mathematical proof (Q11538)	1
Yes	exponential family (Q1188504)	1
Yes	isomorphism (Q189112)	1
Yes	left adjoint (Q119692675)	1
Yes	fully faithful functor (Q120721906)	1
Yes	multivalued function on the complex plane (Q121484015)	1
No	Q122879332	1
Yes	polylogarithm (Q1238449)	1
No	dimensionless quantity (Q126818)	1
No	percussion instrument (Q133163)	1
Yes	canonicalization (Q2936505)	1
Yes	piecewise linear function (Q2375229)	1
Yes	function composition (Q244761)	1
No	normalization (Q249772)	1
Yes	precipitation (Q25257)	1
No	Q25447307	1
No	thermodynamic diagrams (Q2568890)	1
Yes	medical test (Q2671652)	1
Yes	matrix operation (Q28874898)	1
Yes	catalogue (Q2352616)	1
No	dyad (Q29431432)	1
Yes	real-valued function of a real variable (Q3075263)	1
Yes	convex function (Q319913)	1
Yes	skew normal distribution (Q3258551)	1
Yes	finite measure (Q3307145)	1
Yes	magnitude of a complex number (Q3317982)	1
Yes	graph homomorphism (Q3385162)	1
Yes	computational problem (Q3435924)	1
Yes	integer sequence (Q2297602)	1
Yes	positive-definite function (Q2293170)	1
Yes	meteorological index (Q22298551)	1
Yes	sum (Q218005)	1
Yes	homomorphism (Q215111)	1
Yes	pseudonorm (Q2115755)	1
Yes	linear map (Q207643)	1
Yes	p-norm (Q2043496)	1
No	relation (Q203066)	1
Yes	natural domain and range function (Q19856470)	1
Yes	term (Q1969448)	1
Yes	set operation (Q1964995)	1
Yes	Fractional graph isomorphism (Q19597255)	1
Yes	stable distribution (Q1934245)	1
Yes	subroutine (Q190686)	1

"Value type set (Q36161), class (Q217594), category (Q719395), functor (Q864475)" violations

Violations count: 7

• spectrum (Q62531): spectrum (Q654182): condition (Q813912)
• Accumulated cyclone energy (Q339687): tropical cyclone (Q8092): type of cyclone (Q118733512), low pressure area (Q209190), vortex (Q732722), cyclone (Q79602), extreme weather (Q1277161)
• tree decomposition (Q462095): graph (Q141488): multigraph (Q2642629)
• complement graph (Q902252): graph (Q141488): multigraph (Q2642629)
• gazetteer (Q1006160): geographic location (Q2221906): type of property (Q96253971), physical location (Q17334923), geographic entity (Q27096213), geographical feature (Q618123)
• termination proof (Q28122552): algorithm (Q8366): procedure (Q20920559), work (Q386724)
• admissibility of an inference rule (Q28381790): rule of inference (Q1068763): logical form (Q6667497)

Types statistics

Accepted	Type	Usage
Yes	set of numbers (Q3054943)	60
Yes	uncountable set (Q1128796)	47
Yes	real vector space (Q46996054)	44
Yes	field (Q190109)	43
Yes	real coordinate space (Q15629907)	30
Yes	residual set (Q97623888)	29
Yes	one-dimensional space (Q208920)	29
Yes	Banach space (Q194397)	29
Yes	Euclidean space (Q17295)	29
Yes	mathematical concept (Q24034552)	18
Yes	affine space (Q382698)	14
Yes	complex vector space (Q5156614)	14
Yes	countably infinite set (Q185478)	13
Yes	class (Q217594)	12
Yes	integer sequence (Q2297602)	11
Yes	space in mathematics (Q472971)	9
Yes	set (Q36161)	9
Yes	commutative monoid (Q19934355)	8
Yes	closed interval (Q78240777)	7
Yes	subset (Q177646)	5
Yes	free module (Q1292333)	5
Yes	proper class (Q115489271)	4
Yes	open set (Q213363)	4
Yes	sigma-algebra (Q217357)	4
Yes	unit hypercube (Q78330907)	4
Yes	academic discipline (Q11862829)	4
Yes	closed set (Q320357)	4
Yes	relation (Q203066)	3
Yes	set operation (Q1964995)	3
Yes	field of study (Q2267705)	3
Yes	abstract data type (Q827335)	3
Yes	order-convex set (Q121010900)	3
Yes	plane (Q17285)	3
Yes	curve (Q161973)	3
Yes	Cartesian product of several sets (Q109955929)	3
Yes	bicomplete category (Q47007890)	2
Yes	sequence (Q133250)	2
Yes	closed unit ball (Q105332431)	2
Yes	Dynkin system (Q1935689)	2
Yes	projective line (Q764115)	2
Yes	symmetric interval (Q105524940)	2
Yes	sigma-ring (Q3123369)	2
Yes	field of sets (Q246506)	2
Yes	groupoid (Q1196038)	2
Yes	Earth science (Q8008)	2
Yes	compact Riemann surface (Q5155294)	2
Yes	specialty (Q1047113)	2
Yes	sphere (Q12507)	2
No	multigraph (Q2642629)	2
Yes	pi-system (Q3962249)	2
Yes	monoid (Q208237)	2
Yes	concrete category (Q1575634)	2
No	work (Q386724)	1
Yes	locally compact space (Q583034)	1
Yes	rational variety (Q3554829)	1
Yes	compact space (Q381892)	1
Yes	3-manifold (Q526901)	1
Yes	analytic manifold (Q4751134)	1
Yes	written work (Q47461344)	1
Yes	training set (Q3997298)	1
Yes	Q25521530	1
Yes	academic major (Q4671286)	1
Yes	matrix (Q44337)	1
Yes	computer program (Q40056)	1
Yes	Riemann surface (Q753035)	1
Yes	paracompact space (Q970119)	1
No	type of property (Q96253971)	1
Yes	solid figure (Q937946)	1
Yes	medical specialty (Q930752)	1
Yes	countably compact space (Q859275)	1
Yes	commutative ring (Q858656)	1
Yes	number with finite decimal representation (Q8424307)	1
No	condition (Q813912)	1
Yes	humanities (Q80083)	1
Yes	ordered set (Q7994926)	1
No	cyclone (Q79602)	1
Yes	topological subspace (Q77613467)	1
Yes	star domain (Q769917)	1
Yes	atmospheric sciences (Q757520)	1
Yes	text database (Q59157871)	1
No	mathematical structure (Q748349)	1
Yes	polytope (Q747980)	1
No	vortex (Q732722)	1
Yes	normed vector space (Q726210)	1
Yes	Gaussian integer (Q724975)	1
Yes	projectivization (Q7249479)	1
Yes	Proj construction (Q7248935)	1
No	logical form (Q6667497)	1
Yes	vector bundle (Q658429)	1
Yes	Riemannian manifold (Q632814)	1
Yes	multivalued function (Q629085)	1
Yes	multisymplectic manifold (Q62036812)	1
No	geographical feature (Q618123)	1
Yes	Uniform Resource Identifier (Q61694)	1
Yes	real number (Q12916)	1
Yes	weakly differentiable function (Q18192404)	1
Yes	medical diagnosis (Q177719)	1
Yes	random variable (Q176623)	1
Yes	partial function (Q1756942)	1
Yes	Cartesian product (Q173740)	1
No	physical location (Q17334923)	1
Yes	continuous function (Q170058)	1
Yes	toric variety (Q1528306)	1
Yes	concept (Q151885)	1
Yes	Fréchet space (Q1471397)	1
Yes	Poisson manifold (Q1464936)	1
Yes	binary relation (Q130901)	1
Yes	Grassmannian (Q129638)	1
Yes	Q18653507	1
No	extreme weather (Q1277161)	1
Yes	three-dimensional domain (Q123410718)	1
Yes	null set (Q1201815)	1
Yes	scalar function (Q11893837)	1
No	type of cyclone (Q118733512)	1
Yes	data set (Q1172284)	1
Yes	complex number (Q11567)	1
Yes	scheme (Q1155772)	1
Yes	function (Q11348)	1
Yes	subject heading (Q1128340)	1
Yes	medicine (Q11190)	1
Yes	punctured set (Q105525625)	1
Yes	bundle (Q1047307)	1
Yes	vector quantity (Q2672914)	1
Yes	projective variety (Q3554818)	1
Yes	variety (Q3502010)	1
Yes	social science (Q34749)	1
Yes	non-heterosexuality (Q339014)	1
Yes	technical standard (Q317623)	1
Yes	finite dimension vector space (Q3058336)	1
Yes	measure space (Q3058212)	1
Yes	measurable set (Q3054889)	1
Yes	σ-compact space (Q290618)	1
Yes	square matrix (Q2739329)	1
Yes	topological manifold (Q2721559)	1
No	geographic entity (Q27096213)	1
Yes	set system (Q26897143)	1
Yes	Banach manifold (Q3554819)	1
No	mathematical object (Q246672)	1
Yes	branch of science (Q2465832)	1
Yes	two-dimensional space (Q222032)	1
Yes	topos (Q2143621)	1
No	procedure (Q20920559)	1
No	low pressure area (Q209190)	1
Yes	tuple of integers (Q20505917)	1
Yes	arts (Q2018526)	1
Yes	domain of a function (Q192439)	1
Yes	ordered pair (Q191290)	1
Yes	Hilbert space (Q190056)	1
Yes	environmental science (Q188847)	1

"Scope" violations

Violations count: 0

"Entity types" violations

Violations count: 0