Pages that link to "Item:Q286794"
From MaRDI portal
The following pages link to Four decades of {\textsc{Mizar}}. Foreword (Q286794):
Displaying 27 items.
- Ordered rings and fields (Q2356939) (← links)
- Embedded lattice and properties of Gram matrix (Q2356940) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- Basic formal properties of triangular norms and conorms (Q2407504) (← links)
- Concatenation of finite sequences (Q2416850) (← links)
- A simple example for linear partial differential equations and its solution using the method of separation of variables (Q2416853) (← links)
- Continuity of multilinear operator on normed linear spaces (Q2416856) (← links)
- Fubini's theorem (Q2416857) (← links)
- About graph complements (Q2658809) (← links)
- Stability of the 7-3 compressor circuit for Wallace tree. I (Q2658811) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Enhancement of Mizar Texts with Transitivity Property of Predicates (Q2817301) (← links)
- What’s in a Theorem Name? (Q2829279) (← links)
- Automated Comparative Study of Some Generalized Rough Approximations (Q5164851) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- Declarative Proof Translation (Short Paper) (Q5875449) (← links)
- Differentiation on interval (Q6071619) (← links)
- Introduction to graph enumerations (Q6071621) (← links)
- Introduction to algebraic geometry (Q6071624) (← links)
- About regular graphs (Q6071625) (← links)
- Elementary number theory problems. VIII (Q6071626) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
- Introduction to graph colorings (Q6489405) (← links)
- Extensions of orderings (Q6557129) (← links)
- Extended natural numbers and counters (Q6592311) (← links)
- General theory and tools for proving algorithms in nominative data systems (Q6592314) (← links)
- Partial correctness of an algorithm computing Lucas sequences (Q6592315) (← links)