Results 211 to 220 of about 45,874 (260)

Circular RNA circSCMH1 regulates glycolysis to inhibit gastric cancer metastasis via miR-296-3p/HSPB7-GLUT3 axis. [PDF]

Transl Oncol
Yang Y, Wang Q, Gong Z, Chen J, Yang Y, Zhao L, Zhai Y, Zhao T, Du W, Zhang J, Guo W.   +10 more
europepmc   +1 more source

Pure first-order quasiary logics with equality predicates

, 2018
openaire   +1 more source

Japanese Predicate Copula Equalizer, Analysis of Copula Embodiment and Its Meaning Relationship

Roni Roni, Ina Ika Pratita, Djodjok Soepardjo, Joko Prasetyo, Indah Mei Dinastuti   +4 more
openaire   +1 more source

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality

, 2023
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Proof Transformation with Built-in Equality Predicate

2023
One of the main reasons why computer generated proofs are not widely accepted is often their complexity and incomprehensibility. Especially proofs of mathematical theorems with equations are normally presented in an inadequate and not intuitive way.
Lingenfelder, Christoph, Präcklein, Axel   +1 more
openaire   +1 more source

Predication, Equality, and Ritual Cannibalism

2022
The playful collapse of authority without tension is both an image for a model democracy and for thinking qua thinking. Thinking beheads itself and submits to its own authority; in doing so, it sprouts a new head. Its activity is constituted by reflection that intellectually consumes and regurgitates.
openaire   +1 more source

On Equality Predicates in Algebraic Specification Languages

2007
The execution of OBJ algebraic specification languages is based on the term rewriting system (TRS), which is an efficient theory to perform equational reasoning. We focus on the equality predicate implemented in OBJ languages. The equality predicate is used to test the equality of given terms by TRS.
Nakamura Masaki, Futatsugi Kokichi
openaire   +1 more source

Interpolation in superintuitionistic predicate logics with equality

Algebra and Logic, 1997
Summary: It is shown that the Craig interpolation property and the Beth property are preserved under passage from a superintuitionistic predicate logic to its extension via standard axioms for equality, and under adding formulas of pure equality as new axioms.
openaire   +2 more sources