Wikidata:Database reports/Constraint violations/P7719

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

Constraint violations report for generalization of (Discussion, uses, items, changes, related properties): the subject statement in particular gives this object statement, or the truth of this object statement is implied by the truth of the subject statement
Data time stamp: 6 May 2024, 11:05 (UTC) — Items processed: 59
The report is generated based on the settings on Property:P7719#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.

"Value type proposition (Q108163), algorithm (Q8366)" violations

Violations count: 11

• Costas array (Q2114132): Golomb ruler (Q1426478): Costas array (Q2114132)
• Q2478161: Jonckheere's trend test (Q1703341): statistical test (Q210832)
• Generalized normal distribution (Q2497477): normal distribution (Q133871): Tweedie distribution (Q7857491), Student's t-distribution (Q576072), multivariate normal distribution (Q1149000), exponential family (Q1188504), skew normal distribution (Q3258551), stable distribution (Q1934245), contaminated normal distribution (Q1660125), univariate probability distribution (Q7893853), continuous probability distribution (Q917918)
• Generalized taxicab number (Q3140742): taxicab number (Q1462591): type of integer (Q77358734), positive integer (Q28920044)
• fractional Fourier transform (Q4817582): Fourier transform (Q6520159): integral transform (Q877802)
• Kallman–Rota inequality (Q6353895): Landau–Kolmogorov inequality (Q5638668): interpolation inequality (Q17098156)
• chain rule (Q17004731): conditional probability (Q327069): probability (Q9492)
• fractional derivative (Q105659227): derivative (Q29175): unary operation (Q657596), function (Q11348)
• algebraic general topology (Q105682211): general topology (Q621550): area of mathematics (Q1936384)
• generalized limit (Q105682253): limit (Q177239): concept (Q151885), mathematical concept (Q24034552), upper and lower bounds (Q13222579)
• generalized limit (Q105682253): ultralimit (Q3548074): mathematical concept (Q24034552)

Types statistics

Accepted	Type	Usage
Yes	theorem (Q65943)	46
Yes	conjecture (Q319141)	4
Yes	algorithm (Q8366)	4
Yes	axiom of set theory (Q36191904)	2
No	mathematical concept (Q24034552)	2
Yes	concentration inequality (Q5158328)	2
No	unary operation (Q657596)	1
Yes	equivalent of the axiom of choice (Q4478785)	1
No	Student's t-distribution (Q576072)	1
Yes	trigonometric identity (Q58437145)	1
Yes	identity (Q609647)	1
Yes	approximation algorithm (Q621751)	1
Yes	integer factorization algorithm (Q97940647)	1
No	type of integer (Q77358734)	1
No	Tweedie distribution (Q7857491)	1
No	univariate probability distribution (Q7893853)	1
No	integral transform (Q877802)	1
No	continuous probability distribution (Q917918)	1
No	probability (Q9492)	1
Yes	proposition (Q108163)	1
Yes	axiom (Q17736)	1
No	function (Q11348)	1
No	multivariate normal distribution (Q1149000)	1
No	exponential family (Q1188504)	1
No	upper and lower bounds (Q13222579)	1
No	concept (Q151885)	1
Yes	inequation (Q165309)	1
No	contaminated normal distribution (Q1660125)	1
No	interpolation inequality (Q17098156)	1
No	skew normal distribution (Q3258551)	1
Yes	numerical method in differential equations (Q18327520)	1
No	stable distribution (Q1934245)	1
No	area of mathematics (Q1936384)	1
Yes	lemma (Q207505)	1
No	statistical test (Q210832)	1
No	Costas array (Q2114132)	1
No	positive integer (Q28920044)	1

"Entity types" violations

Violations count: 0

"Scope" violations

Violations count: 1

• proof of the pythagorean theorem (Q125505219): has characteristic (P1552): list of values as qualifiers (Q23766486)

"Type proposition (Q108163), algorithm (Q8366)" violations

Violations count: 13

• proofs of Fermat's little theorem (Q467602): mathematical proof (Q11538)
• Costas array (Q2114132): mathematical object (Q246672)
• Q2478161: non-parametric test (Q47093179)
• Generalized normal distribution (Q2497477): continuous probability distribution (Q917918), symmetric probability distribution (Q16000505)
• Generalized taxicab number (Q3140742):
• Cantelli's inequality (Q3711841): inequality (Q28113351)
• fractional Fourier transform (Q4817582): integral transform (Q877802)
• Chaplygin problem (Q5073246): mathematical problem (Q1166625)
• Gregory's series (Q5606780): Taylor series (Q131187)
• Proofs of Fermat's theorem on sums of two squares (Q12197832): mathematical proof (Q11538)
• fractional derivative (Q105659227): linear operator (Q1826450)
• algebraic general topology (Q105682211): area of mathematics (Q1936384)
• generalized limit (Q105682253): mathematical concept (Q24034552)

Types statistics

Accepted	Type	Usage
Yes	theorem (Q65943)	30
Yes	conjecture (Q319141)	8
No	mathematical proof (Q11538)	2
Yes	proposition (Q108163)	2
Yes	algorithm (Q8366)	2
Yes	integer factorization algorithm (Q97940647)	1
No	continuous probability distribution (Q917918)	1
No	integral transform (Q877802)	1
Yes	concentration inequality (Q5158328)	1
No	non-parametric test (Q47093179)	1
Yes	equivalent of the axiom of choice (Q4478785)	1
Yes	axiom of set theory (Q36191904)	1
No	inequality (Q28113351)	1
No	mathematical object (Q246672)	1
Yes	numerical method (Q24262840)	1
Yes	Azuma's inequality (Q2410467)	1
No	mathematical concept (Q24034552)	1
Yes	lemma (Q207505)	1
No	area of mathematics (Q1936384)	1
No	linear operator (Q1826450)	1
Yes	axiom (Q17736)	1
Yes	inequation (Q165309)	1
No	symmetric probability distribution (Q16000505)	1
No	Taylor series (Q131187)	1
No	mathematical problem (Q1166625)	1