Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Separable polynomials and separable extensions: Label: en
Integral of continuous three variable functions: Label: en
Elementary number theory problems. XIII: Label: en
Partial correctness of an algorithm computing Lucas sequences: Label: en
General theory and tools for proving algorithms in nominative data systems: Label: en
Functional sequence in norm space: Label: en
Ring and field adjunctions, algebraic elements and minimal polynomials: Label: en
Extended natural numbers and counters: Label: en
A case study of transporting Urysohn's lemma from topology via open sets into topology via neighborhoods: Label: en
Formalization of orthogonal decomposition for Hilbert spaces: Label: en
Existence and uniqueness of algebraic closures: Label: en
Prime representing polynomial with 10 unknowns: Label: en
Prime representing polynomial with 10 unknowns -- introduction. II: Label: en
Extensions of orderings: Label: en
Tarski geometry axioms. V: Half-planes and planes: Label: en
Integral of continuous functions of two variables: Label: en
Symmetrical piecewise linear functions composed by absolute value function: Label: en
Simple extensions: Label: en
Elementary number theory problems. XII: Primes in arithmetic progression: Label: en
Elementary number theory problems. XI: Label: en
The ring of Conway numbers in Mizar: Label: en
Integration of game theoretic and tree theoretic approaches to Conway numbers: Label: en
Conway numbers -- formal introduction: Label: en
Multidimensional measure space and integration: Label: en
Elementary number theory problems. X: Diophantine equations: Label: en
Elementary number theory problems. IX: Label: en
On fuzzy negations and laws of contraposition. Lattice of fuzzy negations: Label: en
Embedding principle for rings and abelian groups: Label: en
Elementary number theory problems. VI: Label: en
Elementary number theory problems. V: Label: en
Elementary number theory problems. IV: Label: en
Ring of endomorphisms and modules over a ring: Label: en
The divergence of the sum of prime reciprocals: Label: en
Artin's theorem towards the existence of algebraic closures: Label: en
Prime representing polynomial with 10 unknowns -- introduction: Label: en
On implicit and inverse function theorems on Euclidean spaces: Label: en
Elementary number theory problems. III: Label: en
Definition of centroid method as defuzzification: Label: en
Introduction to graph colorings: Label: en
Transformation tools for real linear spaces: Label: en
Characteristic subgroups: Label: en
Isomorphism between spaces of multilinear maps and nested compositions over real normed vector spaces: Label: en
Non-trivial universes and sequences of universes: Label: en
Absolutely integrable functions: Label: en
Splitting fields for the rational polynomials \(X^2 -2\), \(X^2+X+1\), \(X^3 -1\), and \(X^3 -2\): Label: en
Compactness of neural networks: Label: en
Intuitionistic propositional calculus in the extended framework with modal operator. II: Label: en
Antiderivatives and integration: Label: en
Normal extensions: Label: en
Internal direct products and the universal property of direct product groups: Label: en