Wikidata:Database reports/Constraint violations/P6781
Jump to navigation
Jump to search
Constraint violations report for ProofWiki ID (Discussion, uses, items, changes, related properties): identifier for a ProofWiki article
Data time stamp: (UTC) — Items processed: 2,375
The report is generated based on the settings on Property:P6781#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.
Data time stamp: (UTC) — Items processed: 2,375
The report is generated based on the settings on Property:P6781#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.
"Single value" violations[edit]
Violations count: 7
- cardinal number (Q163875): Definition:Cardinal_Number, Definition:Cardinal
- inverse hyperbolic function (Q640600): Definition:Inverse_Hyperbolic_Function, Definition:Area_Hyperbolic_Function
- Jevons' number (Q1100748): 8,616,460,799, Definition:Jevons'_Number
- exact sequence (Q1326955): Definition:Exact_Sequence_of_Modules, Definition:Exact_Chain_Complex
- dihedral group of order 6 (Q2204630): Definition:Dihedral_Group_D3, Definition:Symmetry_Group_of_Equilateral_Triangle
- generalized continuum hypothesis (Q45412229): Axiom:Aleph_Hypothesis, Generalized_Continuum_Hypothesis
- dihedral group of order 8 (Q115556877): Definition:Dihedral_Group_D4, Definition:Symmetry_Group_of_Square
"Unique value" violations[edit]
Violations count: 1
- Mathematician:Mathematicians/Sorted_By_Nation/Morocco: Morocco (Q1028), Ibn al-Banna' al-Marrakushi (Q293608)
"Type mathematical proof (Q11538), theorem (Q65943), axiom (Q17736), human (Q5), book (Q571), definition (Q101072), mathematical concept (Q24034552), mathematical symbol (Q10376408), mathematical object (Q246672), country (Q6256)" violations[edit]
Violations count: 207
- Earth (Q2): terrestrial planet (Q128207), inner planet of the Solar System (Q3504248), narrative location (Q105115142)
- Mars (Q111): inner planet of the Solar System (Q3504248), superior planet (Q844911)
- August (Q122): calendar month (Q47018901), calendar month (Q47018901), calendar month (Q47018901), month of the Gregorian calendar (Q18602249)
- September (Q123): calendar month (Q47018901), calendar month (Q47018901), calendar month (Q47018901), month of the Gregorian calendar (Q18602249)
- October (Q124): calendar month (Q47018901), month of the Gregorian calendar (Q18602249)
- November (Q125): calendar month (Q47018901), month of the Gregorian calendar (Q18602249)
- December (Q126): calendar month (Q47018901), month of the Gregorian calendar (Q18602249)
- pawn (Q135): chess piece (Q208440)
- knight (Q136): non-pawn chess piece (Q55386374), hippogonal (Q5768468)
- rook (Q137): major piece (Q12221306), long-range piece (Q3389555)
- king (Q138): non-pawn chess piece (Q55386374)
- queen (Q139): major piece (Q12221306)
- Mercury (Q308): inferior planet (Q3901935), inner planet of the Solar System (Q3504248)
- Venus (Q313): inner planet of the Solar System (Q3504248), inferior planet (Q3901935)
- galaxy (Q318): astronomical object type (Q17444909), deep-sky object (Q249389)
- Jupiter (Q319): outer planet (Q30014), gas giant (Q121750), superior planet (Q844911)
- Milky Way (Q321): barred spiral galaxy (Q2490)
- Uranus (Q324): ice giant (Q1319599), outer planet (Q30014), superior planet (Q844911)
- Neptune (Q332): ice giant (Q1319599), outer planet (Q30014), superior planet (Q844911)
- Pluto (Q339): plutoid (Q131731), dwarf planet (Q2199), trans-Neptunian object (Q6592), planet (Q634), plutino (Q6599)
- clock (Q376): machine (Q11019), metrological mechanism (Q4198689), timepiece (Q42622779), decorative object (Q115923123)
- Moon (Q405): planetary moon (Q109645860), planetary-mass moon (Q85793519), regular moon (Q1086783)
- star (Q523): astronomical object type (Q17444909), astronomical object (Q6999), fusor (Q1027098), light source (Q1146001)
- Sun (Q525): G-type main-sequence star (Q5864), Population I star (Q3592493)
- Solar System (Q544): planetary system (Q206717)
- hydrogen (Q556): chemical element (Q11344), diatomic nonmetal (Q19753344), nonmetal (Q19600), s-block (Q208106), reducing agent (Q216830), combustible matter (Q42501)
- carbon (Q623): chemical element (Q11344), polyatomic nonmetal (Q19753345), nonmetal (Q19600)
- nitrogen (Q627): chemical element (Q11344), diatomic nonmetal (Q19753344), nonmetal (Q19600)
- oxygen (Q629): chemical element (Q11344), nonmetal (Q19600), group 16 (Q104567), oxidizing agent (Q187689)
- planet (Q634): astronomical object type (Q17444909), planetary-mass object (Q400144), substellar object (Q3132741)
- sulfur (Q682): chemical element (Q11344), polyatomic nonmetal (Q19753345), nonmetal (Q19600), group 16 (Q104567)
- argon (Q696): chemical element (Q11344), gas (Q11432), noble gases (Q19609)
- potassium (Q703): chemical element (Q11344), alkali metal (Q19557), metal (Q11426), s-block (Q208106)
- lead (Q708): chemical element (Q11344), simple substance (Q2512777), superconducting element (Q106192073), post-transition metal (Q19591)
- tungsten (Q743): chemical element (Q11344), electron medium (Q96796052), metal (Q11426), heavy metal (Q105789), transition metal (Q19588)
- copper (Q753): chemical element (Q11344), simple substance (Q2512777), material (Q214609), medication (Q12140), metal (Q11426)
- krypton (Q888): chemical element (Q11344), gas (Q11432)
- rubidium (Q895): chemical element (Q11344), alkali metal (Q19557), metal (Q11426), s-block (Q208106)
- mercury (Q925): chemical element (Q11344), metal (Q11426), superconducting element (Q106192073), post-transition metal (Q19591)
- silver (Q1090): chemical element (Q11344), combustible powder (Q21073023), noble metal (Q585302), transition metal (Q19588), period 5 (Q244982), precious metal (Q271449)
- uranium (Q1098): chemical element (Q11344), radioactive element (Q3658631)
- caesium (Q1108): chemical element (Q11344), alkali metal (Q19557), metal (Q11426), s-block (Q208106)
- radium (Q1128): chemical element (Q11344)
- dwarf planet (Q2199): astronomical object type (Q17444909), minor planet (Q1022867), planetary-mass object (Q400144)
- electron (Q2225): type of quantum particle (Q22675015), charged lepton (Q94535579), elementary particle (Q43116), primary metabolite (Q3333419)
- proton (Q2294): type of quantum particle (Q22675015), nucleon (Q102165), hydron (Q506710), fermion (Q44363), monocation (Q55523831)
- neutron (Q2348): isotope of neutronium (Q12525553), type of quantum particle (Q22675015), nucleon (Q102165), neutral particle (Q2990328), baryon (Q159731), fermion (Q44363)
- Gibbs phenomenon (Q5374): phenomenon (Q483247)
- quark (Q6718): type of quantum particle (Q22675015), elementary fermion (Q52234516), charged particle (Q587553)
- algorithm (Q8366): procedure (Q20920559), work (Q386724)
- atom (Q9121): chemical entity (Q43460564), composite particle (Q3366856)
- chemical compound (Q11173): group or class of chemical substances (Q17339814), second-order class (Q24017414), pure substance (Q578779), chemical component (Q20026787)
- chemical element (Q11344): second-order class (Q24017414), group or class of chemical substances (Q17339814), chemical substance (Q79529), type of chemical entity (Q113145171)
- molecule (Q11369): group or class of chemical entities (Q72070508), molecular entity (Q2393187)
- gravity (Q11412): fundamental interaction (Q104934), physical phenomenon (Q1293220), Q118193027
- metal (Q11426): material (Q214609), malleable material (Q34669510), alloy (Q37756), inorganic matter (Q20098970)
- vacuum (Q11475): abstract entity (Q7048977)
- electric current (Q11651): current (Q56298508)
- abacus (Q12806): physical tool (Q39546)
- Polaris (Q12980): F-type star (Q995268), triple star system (Q2088753), classical Cepheid variable (Q10451997), pole star (Q662656), navigational star (Q1547772), infrared source (Q67206691), near-IR source (Q67206785), UV-emission source (Q71798788), star (Q523), double star (Q13890), spectroscopic binary (Q1993624), variable star (Q6243)
- season (Q24384): time interval (Q186081), season (Q10688145)
- ellipsis (Q32518): intra-word punctuation mark (Q1383557), punctuation mark (Q10617810)
- writer (Q36180): profession (Q28640), occupation (Q12737077), author (Q482980), artist (Q483501), penman (Q108762424)
- ion (Q36496): group or class of chemical entities (Q72070508), charged particle (Q587553), molecular entity (Q2393187)
- chemical reaction (Q36534): chemical process (Q2281940)
- atomic nucleus (Q37147): type of quantum particle (Q22675015), bound state (Q908049), charged particle (Q587553), matter composed of quarks (Q28729554)
- Newton's laws of motion (Q38433): triad (Q29430681)
- elementary particle (Q43116): type of quantum particle (Q22675015), indivisible particle (Q28846113), elementary object (Q63243922)
- Richard's paradox (Q83491): antinomy (Q262759)
- fluid (Q102205): continuum (Q1704572), substance (Q10683158)
- heliocentrism (Q103983): scientific theory (Q3239681)
- chessboard (Q110079): game board (Q1258741), chess equipment (Q6006001)
- astrolabe (Q164992): astronomical instrument (Q751997), inclinometer (Q827664)
- ratio test (Q165638): convergence test (Q3979448)
- noon (Q168182): time of day (Q1260524), hour (Q25235)
- mathematician (Q170790): profession (Q28640), occupation group according to ISCO-08 (Q108300140), occupation (Q12737077), scientist (Q901)
- sulfate ion (Q172290): type of chemical entity (Q113145171), dianion (Q55524005), sulfur oxoanion (Q71376028)
- Pascal's triangle (Q177051): triangular array (Q7840129), table (Q496946)
- sextant (Q179430): reflecting instrument (Q7307234), navigational instrument (Q1780422), astronomical instrument (Q751997)
- RSA (Q181551): cryptosystem (Q976521), public-key cryptography (Q201339)
- four elements (Q188520): theory (Q17737)
- harmonic oscillator (Q190070): physical system (Q1454986)
- slide rule (Q190667): physical tool (Q39546), calculating tool (Q2135246), non-electrical analog device (Q42585125)
- mnemonic (Q191062): technique (Q2695280), stimulus (Q109566760)
- en passant (Q205730): rules of chess (Q3392263), capture in chess (Q3984344)
- Rankine scale (Q207488): temperature scale (Q2394680)
- solid geometry (Q207648): theory (Q17737)
- chess piece (Q208440): game piece (Q3449901), chess equipment (Q6006001)
- luminiferous aether (Q208702): non-existent substance (Q120999346), transmission medium (Q334265), Q2500869
- promotion (Q215599): chess move (Q54935824)
- dimensional analysis (Q217113): analysis (Q217602)
- physical object (Q223557): type of object (Q96251598), BFO class (Q124711104), material entity (Q53617407), concrete object (Q4406616)
- fifty-move rule (Q240380): rule (Q1151067)
- Erlangen program (Q315296): research (Q42240)
- model theory (Q467606): mathematical theory (Q20026918), mathematical logic (Q1166618)
- Gram-Schmidt process (Q475239): algorithm (Q8366)
- Hamiltonian mechanics (Q477921): theory (Q17737)
- greedy algorithm (Q504353): algorithmic paradigm (Q28455561), algorithm (Q8366)
- tetractys (Q609359): symbol (Q80071)
- perfect fluid (Q613845): liquid (Q11435)
- multi-index notation (Q780239):
- temporal logic (Q781833): mathematical logic (Q1166618)
- critical path method (Q825377): scheduling algorithm (Q41401699)
- Pascal's Wager (Q830200): argument (Q186619)
- carbon-14 (Q840660): isotope of carbon (Q471790), carbon (Q623)
- corresponding angles (Q841990):
- check (Q842046): rules of chess (Q3392263), theme (Q3567586), chess condition (Q54935803)
- sequent (Q843632):
- hydronium (Q849881): type of chemical entity (Q113145171), oxonium (Q132187), onium monocation (Q64995341), lyonium ion (Q6709746)
- method of exhaustion (Q865019): method (Q1799072)
- naive set theory (Q903783): type (Q21146257)
- separation of variables (Q913323): method (Q1799072)
- prime (Q914681): character (Q3241972)
- first fundamental form (Q939725):
- Horner's method (Q944658): algorithm (Q8366)
- Hilbert's program (Q968548): theory (Q17737)
- umbral calculus (Q1055314): method (Q1799072)
- carbon-12 (Q1058364): isotope of carbon (Q471790), stable isotope (Q878130), carbon (Q623)
- Yang–Mills existence and mass gap (Q1078496):
- draw (Q1137224): tie (Q1164849)
- nitrogen-14 (Q1138479): stable isotope (Q878130), isotope of nitrogen (Q470479), nitrogen (Q627)
- uranium-238 (Q1148503): isotope of uranium (Q1369686), uranium (Q1098)
- Blotto games (Q1280481):
- transversal (Q1347094):
- Napier's bones (Q1358538): mechanical calculator (Q211586), mathematical instrument (Q1666865)
- school of thought (Q1387659): group of humans (Q16334295), point of view (Q12558574), cultural movement (Q2198855), ryūha (Q2386338)
- multitape Turing machine (Q1392048): Turing machine (Q163310)
- pullback (Q1397439): limit (Q1322614)
- action at a distance (Q1407429): Q2823685
- physical system (Q1454986): type of system (Q96116695), system (Q58778), concrete object (Q4406616), scientific object (Q30060700)
- Frullani integral (Q1470953):
- carbon-13 (Q1770822): isotope of carbon (Q471790), stable isotope (Q878130), carbon (Q623)
- Pépin's test (Q1779493): primality test (Q829546)
- sulfur-34 (Q1880449): stable isotope (Q878130), isotope of sulfur (Q468081), sulfur (Q682)
- krypton-83 (Q1921298): isotope of krypton (Q1373439), stable isotope (Q878130), krypton (Q888)
- argon-40 (Q1929004): isotope of argon (Q776396), stable isotope (Q878130), argon (Q696)
- affirming the consequent (Q2000864): propositional fallacy (Q105288656), quantificational fallacy (Q105289083)
- rubidium-87 (Q2019749): isotope of rubidium (Q1321050), rubidium (Q895)
- argon-36 (Q2019992): isotope of argon (Q776396), stable isotope (Q878130), argon (Q696)
- sulfur-33 (Q2055815): stable isotope (Q878130), isotope of sulfur (Q468081), sulfur (Q682)
- Aluminum-27 (Q2163590): isotope of krypton (Q1373439), stable isotope (Q878130), krypton (Q888)
- krypton-86 (Q2195058): isotope of krypton (Q1373439), stable isotope (Q878130), krypton (Q888)
- potassium-40 (Q2251076): isotope of potassium (Q468008), potassium (Q703)
- denying the antecedent (Q2296529): propositional fallacy (Q105288656)
- oxygen-16 (Q2309203): isotope of oxygen (Q785643), stable isotope (Q878130), oxygen atom (Q47195191), oxygen (Q629)
- sulfur-35 (Q2311880): isotope of sulfur (Q468081), sulfur (Q682)
- caesium-133 (Q2327948): stable isotope (Q878130), isotope of caesium (Q24638), caesium (Q1108)
- sulfur-32 (Q2375775): stable isotope (Q878130), isotope of sulfur (Q468081), sulfur (Q682)
- temperature scale (Q2394680): measurement scale (Q1370617)
- copper-65 (Q2557191): stable isotope (Q878130), isotope of copper (Q2529274), copper (Q753)
- krypton-82 (Q2558547): isotope of krypton (Q1373439), stable isotope (Q878130), krypton (Q888)
- square brackets (Q2751137): punctuation mark (Q10617810), brackets (Q174565)
- argon-38 (Q2801372): isotope of argon (Q776396), stable isotope (Q878130), argon (Q696)
- sulfur-36 (Q2881932): stable isotope (Q878130), isotope of sulfur (Q468081), sulfur (Q682)
- copper-63 (Q3031418): stable isotope (Q878130), isotope of copper (Q2529274), copper (Q753)
- Brill–Noether theory (Q3032324):
- Wythoff's game (Q3177856):
- nitrogen-15 (Q3271953): stable isotope (Q878130), isotope of nitrogen (Q470479), nitrogen (Q627)
- wave mechanics (Q3332153): physical phenomenon (Q1293220)
- Moore method (Q3333612): procedure (Q20920559), method (Q1799072)
- draw by agreement (Q3346244): draw (Q1137224)
- rules of chess (Q3392263): regulation of sport (Q766366)
- physical property (Q4373292): type of property (Q96253971), physico-chemical property (Q38885242)
- radium-226 (Q4387321): isotope of radium (Q377262), radium (Q1128)
- Fibonomial coefficient (Q5446406):
- subdivision of a graph (Q6134791):
- Mersenne's laws (Q6820536):
- orthonormal frame (Q7104842):
- round brackets (Q10345750): semantic punctuation mark (Q1668151), brackets (Q174565)
- chess player (Q10873124): profession (Q28640), chess person (Q73145133), board game player (Q84380764), athlete (Q2066131), abstract game player (Q11538946)
- intuitionism (Q10879018): school of thought (Q1387659)
- alternate angles (Q11650583):
- directed angle (Q11751963):
- curly brackets (Q12052378): brackets (Q174565)
- protium (Q12830437): stable isotope (Q878130), isotope of hydrogen (Q466603), hydrogen (Q556)
- lead-208 (Q16670466): stable isotope (Q878130), isotope of lead (Q1372384), lead (Q708)
- physical process (Q17320256): physicochemical process (Q111752858), physical phenomenon (Q1293220)
- tungsten-180 (Q18882857): isotope of tungsten (Q549775), tungsten (Q743)
- tungsten-181 (Q18882862): isotope of tungsten (Q549775), tungsten (Q743)
- tungsten-182 (Q18882864): isotope of tungsten (Q549775), stable isotope (Q878130), tungsten (Q743)
- tungsten-183 (Q18882866): isotope of tungsten (Q549775), tungsten (Q743)
- tungsten-184 (Q18882868): isotope of tungsten (Q549775), stable isotope (Q878130), tungsten (Q743)
- tungsten-185 (Q18882869): isotope of tungsten (Q549775), tungsten (Q743)
- tungsten-186 (Q18882871): isotope of tungsten (Q549775), tungsten (Q743)
- Quesiti, et Inventioni Diverse (Q19138913): version, edition or translation (Q3331189)
- Heron's method (Q20725439): methods of computing square roots (Q1197114), algorithm (Q8366), iterative numerical method (Q2321565)
- checkmate (Q20819848): rules of chess (Q3392263), victory (Q50000), defeat (Q11499267), chess condition (Q54935803)
- Fibonacci nim (Q28136219):
- Arabic numeral (Q29961325): numerical digit (Q82990), alphanumeric character (Q28786318)
- In Pursuit of the Unknown: 17 Equations That Changed the World (Q30247949): version, edition or translation (Q3331189)
- The Art of Computer Programming, Volume 1: Fundamental Algorithms (Q47752311): volume (Q1238720)
- The Art of Computer Programming, Volume 2: Seminumerical Algorithms (Q47752388): volume (Q1238720)
- The Art of Computer Programming, Volume 3: Sorting and Searching (Q47752444): volume (Q1238720)
- The principles of science : a treatise on logic and scientific method (Q51427139): publication (Q732577)
- white chess piece (Q54933455): chess piece (Q208440)
- black chess piece (Q54933456): chess piece (Q208440)
- a.m. (Q55313888):
- p.m. (Q55313907):
- starting position (Q62092390): chess condition (Q54935803)
- analog clock (Q93175845): clock (Q376), analog device (Q3742408)
- Ptolemaic system (Q109483579): geocentric model (Q165800)
- angle brackets (Q110502275): brackets (Q174565)
- Infinity: A Very Short Introduction (Q114004720): version, edition or translation (Q3331189)
- theory of metric spaces (Q114737644): mathematical theory (Q20026918)
- refinement (Q119751219): relation (Q930933)
- Seifert matrix (Q121120498):
- local trivialization (Q123472470):
Types statistics[edit]
"Format" violations[edit]
Violations count: 8
- Lp space (Q305936): Definition:Lp Space
- depth (Q930412): Definition:Linear Measure/Depth
- transversal (Q1347094): Definition:Transversal (Geometry)
- Histoire de l'académie royale des sciences. Avec les mémoires de mathématique & de physique (Q5898790): Book:Journal/Histoire_de_l'Académie_Royale_des_Sciences,_avec_les_Mémoires_de_Mathématique_et_de_Physique
- subdivision of a graph (Q6134791): Definition:Subdivision (Graph Theory)
- The Whetstone of Witte (Q9087188): Book:Robert_Recorde/The_Whetstone_of_Witte,_whiche_is_the_seconde_parte_of_Arithmeteke:_containing_the_extraction_of_rootes;_the_cossike_practise,_with_the_rule_of_equation;_and_the_workes_of_Surde_Nombers
- directed angle (Q11751963): Definition:Directed Angle
- local trivialization (Q123472470): Definition:Local Trivialization
"Entity types" violations[edit]
Violations count: 0
"Scope" violations[edit]
Violations count: 0
"Label in 'en' language" violations[edit]
Violations count: 0
"Description in 'en' language" violations[edit]
Violations count: 79
- contractible space (Q230689)
- quintic equation (Q768390)
- orbit–stabilizer theorem (Q800350)
- corresponding angles (Q841990)
- first fundamental form (Q939725)
- conservation of angular momentum (Q985318)
- maximal ideal (Q1203540)
- multitape Turing machine (Q1392048)
- spherical triangle (Q1751918)
- Hausdorff paradox (Q1959890)
- primitive element theorem (Q2093886)
- Noetherian module (Q2444982)
- Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes (Q2845214)
- almost sure convergence (Q2899409)
- strict inequality (Q3154010)
- Newton's first law (Q3235671)
- conchoid of Nicomedes (Q3346994)
- geodesic equation in Riemannian manifold (Q3589415)
- Bijaganita (Q3632925)
- polynomial congruence (Q3686971)
- linear diophantine equation (Q3730870)
- Grassmann's identity (Q3748374)
- inradius (Q3799068)
- discrete measure (Q3859392)
- smooth fiber bundle (Q4139327)
- finitely generated extension (Q4230785)
- Mills' theorem (Q5115048)
- Fibonomial coefficient (Q5446406)
- Poulet number (Q5484528)
- gigaflops (Q5558595)
- inner model theory (Q6035657)
- subdivision of a graph (Q6134791)
- root of unity modulo n (Q7366581)
- The Sea Island Mathematical Manual (Q7762765)
- complex conjugate matrix (Q10754052)
- Zermelo–Fraenkel set theory with choice (Q10856991)
- alternate angles (Q11650583)
- directed angle (Q11751963)
- faithful functor (Q12175350)
- James Grime (Q14949225)
- Carathéodory's theorem (measure theory) (Q15831518)
- field of complex numbers (Q18192650)
- cruciform curve (Q18368730)
- monotone class (Q18411691)
- two ears theorem (Q25304543)
- weak law of large numbers (Q25377496)
- Bernoulli's equation (Q25447164)
- Zeitschrift für Mathematik und Physik (Q27902656)
- Xiangjie jiuzhang suanfa (Q30945536)
- full functor (Q33059348)
- sixth power (Q37947496)
- Die Lineale Ausdehnungslehre, ein neuer Zweig der Mathematik (Q42192348)
- Problemes plaisans et delectables qui se font par les nombres (Q42194628)
- Histoire de l'Académie royale des sciences (Q51488252)
- megaflops (Q66778809)
- residue class (Q68026154)
- topological subspace (Q77613467)
- Cauchy determinant (Q77975711)
- inner automorphism group (Q77980592)
- eighth power (Q84752530)
- maximal spectrum of a ring (Q91442652)
- category of schemes (Q91791375)
- Mémoires de la Société mathématique de France (Q96729412)
- Cauchy-Schwarz inequality for sums (Q97485926)
- little o notation (Q110208840)
- morphism of finite type (Q112108702)
- Peter M. Higgins (Q112412861)
- Gerd Rudolph (Q112475035)
- Infinity: A Very Short Introduction (Q114004720)
- theory of metric spaces (Q114737644)
- dihedral group of order 8 (Q115556877)
- Hölder's inequality for sums (Q117184219)
- Minkowski inequality for sums (Q117355532)
- Cauchy-Schwarz inequality for integrals (Q117355636)
- Minkowski inequality for integrals (Q117373676)
- Fourier coefficient (Q117421376)
- triangle inequality for complex numbers (Q120567818)
- simple contour (Q120726169)
- closed contour (Q120726179)