Find link

language:

Find link is a tool written by Edward Betts.

searching for Atomic formula 14 found (69 total)

Markov logic network (1,076 words) [view diff] exact match in snippet view article find links to article

a particular event, given by an atomic formula (marginal inference), possibly conditioned by another atomic formula. Marginal inference can be performed

Double-negation translation (1,019 words) [view diff] exact match in snippet view article find links to article

can thus succinctly be described as follows: Prefix "¬¬" before every atomic formula, but also to every disjunction and existential quantifier, (φ ∨ θ)N

Fermentation (4,872 words) [view diff] exact match in snippet view article find links to article

converted into glucose and galactose (both six-carbon sugars with the same atomic formula): C12H22O11 + H2O → 2 C6H12O6 Heterolactic fermentation is in a sense

Dialectica interpretation (1,150 words) [view diff] exact match in snippet view article find links to article

of A {\displaystyle A} as follows, where P {\displaystyle P} is an atomic formula: ( P ) D ≡ P ( A ∧ B ) D ( x , v ; y , w ) ≡ A D ( x ; y ) ∧ B D ( v

Theory of pure equality (761 words) [view diff] exact match in snippet view article find links to article

and there are no function symbols. Consequently, the only form of an atomic formula is x = y {\displaystyle x=y} where x , y {\displaystyle x,y} are (possibly

Realizability (1,006 words) [view diff] exact match in snippet view article find links to article

known as Kleene's 1945-realizability relation: Any number n realizes an atomic formula s=t if and only if s=t is true. Thus every number realizes a true equation

Dependence logic (4,500 words) [view diff] exact match in snippet view article find links to article

, t n ) {\displaystyle (t_{1},\ldots ,t_{n})} . Nothing else is an atomic formula of dependence logic. Relational and equality atoms are also called first-order

Pocket set theory (1,946 words) [view diff] exact match in snippet view article find links to article

intended interpretation, the variables these stand for classes, and the atomic formula X ∈ Y {\displaystyle \scriptstyle {X\in Y}} means "class X is an element

Independence-friendly logic (7,126 words) [view diff] exact match in snippet view article find links to article

logic with equality. Formulas of IF logic are defined as follows: Any atomic formula φ {\displaystyle \varphi } is an IF formula. If φ {\displaystyle \varphi

Event calculus (3,138 words) [view diff] exact match in snippet view article find links to article

{\displaystyle {\mathit {on(green\_block,table)}}} is a term. In general, the atomic formula h o l d s A t ( f l u e n t , t i m e ) {\displaystyle {\mathit {holdsAt}}(fluent

B-Prolog (2,583 words) [view diff] exact match in snippet view article find links to article

A matching clause takes the following form: H, G => B where H is an atomic formula, G and B are two sequences of atomic formulas. H is called the head

Faand: The Trap (647 words) [view diff] exact match in snippet view article find links to article

Bangladeshi scientist Muntasir Mamun (Kazi Hayat) has invented a nuclear atomic formula which can generate electricity. But an international criminal Usman

Uramphite (1,193 words) [view diff] exact match in snippet view article find links to article

uranium content (up to 54.46%). Given the elemental proportions in the atomic formula and also the subsequent products in the decays series, the mineral has

Semantic Web Services Language (2,289 words) [view diff] exact match in snippet view article find links to article

variables to be used beyond the function notation, predicate symbol, and atomic formula range. The expanded functionality of The HiLog Layer supports materialization