Semantics of MML Query - Ordering
From MaRDI portal
Publication:2852181
DOI10.2478/forma-2013-0004zbMath1364.68157OpenAlexW1991145337MaRDI QIDQ2852181
Publication date: 8 October 2013
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2013-0004
Related Items (only showing first 100 items - show all)
Topology from neighbourhoods ⋮ Torsion part of \(\mathbb{Z}\)-module ⋮ Construction of measure from semialgebra of sets ⋮ Characteristic of rings. Prime fields ⋮ Algebra of polynomially bounded sequences and negligible functions ⋮ Propositional linear temporal logic with initial validity semantics ⋮ Modelling real world using stochastic processes and filtration ⋮ Divisible \(\mathbb{Z}\)-modules ⋮ Lattice of \(\mathbb{Z}\)-module ⋮ Product pre-measure ⋮ Vieta's formula about the sum of roots of polynomials ⋮ Introduction to stopping time in stochastic finance theory ⋮ About quotient orders and ordering sequences ⋮ Basel problem -- preliminaries ⋮ Basel problem ⋮ Dual lattice of \(\mathbb{Z}\)-module lattice ⋮ Double sequences and limits ⋮ Formalization of the Advanced Encryption Standard. I ⋮ Isomorphisms of direct products of cyclic groups of prime power order. ⋮ Formulation of cell Petri nets ⋮ Differential equations on functions from \(\mathbb R\) into real Banach space ⋮ Submodule of free \(\mathbb Z\)-module ⋮ Definition of flat poset and existence theorems for recursive call ⋮ Tietze extension theorem for \(n\)-dimensional spaces ⋮ Brouwer invariance of domain theorem ⋮ The formalization of decision-free Petri net ⋮ Abstract reduction systems and idea of Knuth-Bendix completion algorithm ⋮ Double series and sums ⋮ Dual spaces and Hahn-Banach theorem ⋮ Flexary operations ⋮ Euler's partition theorem ⋮ Introduction to Diophantine approximation ⋮ Finite product of semiring of sets ⋮ Groups -- additive notation. ⋮ Polish notation ⋮ Convergent filter bases ⋮ Polynomially bounded sequences and polynomial sequences ⋮ Fermat's little theorem via divisibility of Newton's binomial ⋮ Weak convergence and weak\(^\ast\) convergence ⋮ The orthogonal projection and the Riesz representation theorem ⋮ Extended real-valued double sequence and its convergence ⋮ On multiset ordering ⋮ Cousin's Lemma ⋮ Chebyshev distance ⋮ Lagrange's four-square theorem ⋮ Proth numbers ⋮ Bertrand's ballot theorem ⋮ Term context ⋮ Cauchy mean theorem ⋮ Topological manifolds ⋮ Compactness in metric spaces ⋮ Double sequences and iterated limits in regular space ⋮ Prime factorization of sums and differences of two like powers ⋮ The basic existence theorem of Riemann-Stieltjes integral ⋮ On subnomials ⋮ Leibniz series for \(\pi\) ⋮ The axiomatization of propositional logic ⋮ Algebraic numbers ⋮ Niven's theorem ⋮ Definition and properties of direct sum decomposition of groups. ⋮ Matrix of \(\mathbb{Z}\)-module ⋮ \(\sigma\)-ring and \(\sigma\)-algebra of sets ⋮ Separability of real normed spaces and its basic properties ⋮ Equivalent expressions of direct sum decomposition of groups. ⋮ Fundamental Group of n-sphere for n ≥ 2 ⋮ The Borsuk-Ulam Theorem ⋮ Formalization of the Data Encryption Standard ⋮ Semantics of MML Query ⋮ Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph ⋮ Extended Euclidean Algorithm and CRT Algorithm ⋮ Introduction to Rational Functions ⋮ The Gödel Completeness Theorem for Uncountable Languages ⋮ The Derivations of Temporal Logic Formulas ⋮ The Properties of Sets of Temporal Logic Subformulas ⋮ Weak Completeness Theorem for Propositional Linear Time Temporal Logic ⋮ The Friendship Theorem ⋮ Basic Properties of Primitive Root and Order Function ⋮ Random Variables and Product of Probability Spaces ⋮ Isomorphisms of Direct Products of Finite Commutative Groups ⋮ Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb Z\)-module ⋮ Events of Borel sets, construction of Borel sets and random variables for stochastic finance ⋮ Some remarkable identities involving numbers ⋮ Algebraic approach to algorithmic logic ⋮ Difference of function on vector space over \(\mathbb F\) ⋮ Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces ⋮ Some Properties of p-Groups and Commutative p-Groups ⋮ Riemann Integral of Functions from R into Real Normed Space ⋮ Normal Subgroup of Product of Groups ⋮ The Mycielskian of a Graph ⋮ Formalization of Integral Linear Space ⋮ Conway's Games and Some of their Basic Properties ⋮ Linear Transformations of Euclidean Topological Spaces ⋮ Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module ⋮ The first isomorphism theorem and other properties of rings ⋮ Fubini's theorem on measure ⋮ Differentiability of polynomials over reals ⋮ Introduction to Liouville numbers ⋮ All Liouville numbers are transcendental ⋮ Ordered rings and fields ⋮ Embedded lattice and properties of Gram matrix
Cites Work
This page was built for publication: Semantics of MML Query - Ordering
