relation operator
91Epistemic logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields …
92Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields …
93LSZ reduction formula — In quantum field theory, the LSZ reduction formula is a method to calculate S matrix elements (the scattering amplitudes) from the time ordered correlation functions of a quantum field theory. It is a step of the path that starts from the… …
94Gamma matrices — In mathematical physics, the gamma matrices, {γ0,γ1,γ2,γ3}, also known as the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra… …
95Unicode-Block Mathematische Operatoren — Der Unicode Block Mathematical Operators (Mathematische Operatoren) (2200–22FF) enthält verschiedene in mathematischen Texten verwendete Zeichen, vor allem Symbole mathematischer Operatoren, unter anderem aus dem Bereich der Mengenlehre und der… …
96Clebsch–Gordan coefficients — In physics, the Clebsch–Gordan coefficients are sets of numbers that arise in angular momentum coupling under the laws of quantum mechanics. In more mathematical terms, the CG coefficients are used in representation theory, particularly of… …
97Coherent state — In quantum mechanics a coherent state is a specific kind of quantum state of the quantum harmonic oscillator whose dynamics most closely resemble the oscillating behaviour of a classical harmonic oscillator system. It was the first example of… …
98First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …
99Von Neumann algebra — In mathematics, a von Neumann algebra or W* algebra is a * algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. They were originally introduced by John von Neumann,… …
100NetWeaver Developer — is a knowledgebase development system. This article gives a brief history of the system, summarizes key features of the software, is a bit of a primer, describing basic attributes of a NetWeaver knowledgebase, and provides secondary references… …
