Results 171 to 180 of about 939,241 (354)

A completeness theorem for intuitionistic predicate logic. An intuitionistic proof

, 2022
A. G. Dragalin
openalex   +1 more source

Metadiscourse and Teacher Moves for Supporting Student Reasoning in Linguistics Classroom Interactions

International Journal of Applied Linguistics, EarlyView.
ABSTRACT This paper examines the features of metadiscourse across different teacher moves in university linguistics classroom discourse and the teaching strategies reflected in its use. The results reveal that teachers employ diverse metadiscourse during classroom interactions to support student reasoning.
Jingjie Li, Wenjie Hu
wiley   +1 more source

基于谓词逻辑的归结原理研究<br>The Study of Resolution Principle Based on Predicate Logic

, 2011
敖 友云
openalex   +1 more source

Minding the Gaps: Solidaristic Transfers and Burden‐Sharing in the European Union and Its Member States' Pandemic Response

JCMS: Journal of Common Market Studies, EarlyView.
Abstract The paper offers a hitherto‐lacking comprehensive appraisal of solidaristic transfers by European Union Member States (EUMS) during the first year of the COVID‐19 pandemic. These transfers include bilateral assistance, collective burden‐sharing on the EU level and even external EU aid.
Péter Marton, Balázs Szent‐Iványi
wiley   +1 more source

Transforming Ontology Web Language Elements into Common Terminology Service 2 Terminology Resources. [PDF]

J Pers Med
Mora S, Gazzarata R, Blobel B, Murgia Y, Giacomini M.   +4 more
europepmc   +1 more source

Chemical Species Ontology for Data Integration and Knowledge Discovery. [PDF]

J Chem Inf Model, 2023
Pascazio L, Rihm S, Naseri A, Mosbach S, Akroyd J, Kraft M.   +5 more
europepmc   +1 more source

Epsilon Substitution for Predicate Logic

, 2011
Grigori Mint︠s︡
openalex   +1 more source

Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3

, 2023
Anthony Brogni, Sebastiaan J. C. Joosten
openalex   +2 more sources

Irregular and Infectious? COVID‐19, Ebola and the Securitization of Migration to Southern Europe

JCMS: Journal of Common Market Studies, EarlyView.
Abstract Securitization scholarship concentrates on the discursive association between undocumented migration, terrorism and crime. Our textual and visual analysis of Italian, Spanish and Maltese newspapers between 2013 and 2020 demonstrates that the discourses securitizing irregular mobility as a health risk became more salient than those linking ...
Eugenio Cusumano, Martina Abisso, Diego Caballero‐Vélez   +2 more
wiley   +1 more source

Suggestions for extending the FAIR Principles based on a linguistic perspective on semantic interoperability. [PDF]

Sci Data
Vogt L, Strömert P, Matentzoglu N, Karam N, Konrad M, Prinz M, Baum R.   +6 more
europepmc   +1 more source