Search results

In [[mathematical logic]] and [[computer science]], '''two-variable logic''' is the [[fragment (logics)|fragment]] of [[firs ...isfiability (logics)|finite satisfiability]], are [[decidability (computer science)|decidable]].<ref>E. Grädel, P.G. Kolaitis and M. Vardi, ''On the Decision ...

| series = [[Lecture Notes in Computer Science]] | title = Computer science logic (Utrecht, 1996) ...

...the context of reasoning about [[Ontology (computer science)|ontologies]] in the [[Semantic Web|semantic web]].<ref>{{Cite journal |last1=Kaminski |firs ...rules. A {{dfni|rule}} is a clause of the form:{{sfn|Eiter|Gottlob|Mannila|1997|p=370}} ...

...|title=Statement of the inequality |year=2018 |publisher=Brilliant Math & Science |url=https://brilliant.org/wiki/titus-lemma/}}</ref> ...hematical proof|proof]] technique and it has very useful new applications. In the book ''Algebraic Inequalities'' (Sedrakyan) several generalizations of ...

...the '''maplet arrow''' and the expression x ↦ y is called a '''maplet'''. In [[separation logic]] it denotes the contents of a specific cell of memory. In the [[Unicode]] character set, the symbol is code point U+21A6.<ref>[https: ...

...ions; they are named after [[Yves Meyer]], who introduced and studied them in the context of diophantine approximation. Nowadays Meyer sets are best know | series = NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences ...

{{Short description|Smooth, connected 2D surfaces in fluid dynamics}} .... On steady flows with Lamb surfaces. International journal of engineering science, 35(3), 197–209.</ref> Lamb surfaces are orthogonal to the [[Lamb vector]] ...

...separately. This is in analogy with the concept of [[separate continuity]] in [[topology]]. ...fectful Categories |journal=Electronic Proceedings in Theoretical Computer Science |volume=380 |pages=344–361 |doi=10.4204/EPTCS.380.20 |arxiv=2205.07664 |iss ...

...has been reached. Application of the Boyer–Moore shift rules often results in large chunks of the text being skipped entirely. ...rding the number of characters matched at the alignments of <math>T</math> in a table, which is combined with data gathered during the pre-processing of ...

...al differential equation]]s:<ref>阎振亚著 《复杂非线性波的构造性理论及其应用》 第65页 科学出版社 2007年(in Chinese, SCIENCEP 2007)</ref> # Richard H. Enns, George C. McCGuire, ''Nonlinear Physics'', Birkhauser, 1997 ...

| next = Solar eclipse of September 2, 1997 ...England|url=https://www.timeanddate.com/astronomy/moon/distance.html?year=1997&n=136|publisher=timeanddate|access-date=10 August 2024}}</ref> ...

{{Short description|Science book series written by scientists and published by Princeton University Pre ...ton Science Library |url=https://press.princeton.edu/collections/princeton-science-library |website=press.princeton.edu |language=en}}</ref> ...

In [[polymer science]] '''Flory–Rehner equation''' is an equation that describes the mixing of [ It describes the equilibrium swelling of a lightly crosslinked polymer in terms of crosslink density and the quality of the [[solvent]]. ...

...s. It is published by [[Springer Science+Business Media]], and was founded in 1987.{{r|goetze}} The books published in this series include:<ref>{{Official|https://www.springer.com/series/13}}</r ...

In 2005, mathematician Abdul-Majid Wazwaz combined the [[Tzitzeica equation]] # Richard H. Enns George C. McCGuire, Nonlinear Physics Birkhauser,1997 ...

in which <math>U=u(x,y,t).</math> # Richard H. Enns George C. McCGuire, Nonlinear Physics Birkhauser, 1997 ...

...tor2-first=D.}}</ref> about representing a given [[context-free language]] in terms of two simpler languages. These two simpler languages, namely a [[reg ...em are found in several textbooks, e.g. {{harvtxt|Autebert|Berstel|Boasson|1997}} or {{harvtxt|Davis|Sigal|Weyuker|1994}}. ...

...5326 | pages = 696–9 | date = August 1997 | pmid = 9235894 | doi = 10.1126/science.277.5326.696 }}</ref><ref>{{cite journal | vauthors = Glawischnig E, Grün S ...involved in the biosynthesis of protective and allelopathic benzoxazinoids in some plants. ...

...ow [[water waves]], first discussed by Hirota, Ryogo and Satsuma, Junkichi in 1976.<ref>Hirota, Ryogo; Satsuma, Junkichi, N-Soliton Solutions of Model Eq ...ard H. Enns George C. McGuire, Nonlinear Physics [[Birkhäuser|Birkhauser]],1997 ...

...Geometrically necessary dislocations]] (GND) on the other hand are formed, in addition to the dislocations statistically present, to maintain continuity ...the size of the plastic zone and therefore have a higher measured hardness in some materials. ...