Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,257,115 papers from all fields of science
Search
Sign In
Create Free Account
First-order predicate
Known as:
First-order
, One-place predicate
, Two-place predicate
In mathematical logic, a first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Monadic predicate calculus
Second-order predicate
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Semantic Expansion of Tweet Contents for Enhanced Event Detection in Twitter
Özer Özdikis
,
Pinar Senkul
,
Halit Oğuztüzün
IEEE/ACM International Conference on Advances in…
2012
Corpus ID: 14589604
This paper aims to enhance event detection methods in a micro-blogging platform, namely Twitter. The enhancement technique we…
Expand
2005
2005
Meta Reasoning in ACL2
W. Hunt
,
Matt Kaufmann
,
R. Krug
,
J. Moore
,
E. Smith
International Conference on Theorem Proving in…
2005
Corpus ID: 30110612
The ACL2 system is based upon a first-order logic and implements traditional first-order reasoning techniques, notably…
Expand
Review
2002
Review
2002
Water Entry and Related Problems
J. M. Oliver
2002
Corpus ID: 122457031
In this thesis we formalize, reconcile and generalize some existing mathematical models for deep- and shallow-water entry at…
Expand
Highly Cited
1992
Highly Cited
1992
Diffusive dynamics on potential energy surfaces: Nonequilibrium CO binding to heme proteins
Noam Agmon
,
S. Rabinovich
1992
Corpus ID: 16408301
Theory and practice of reaction dynamics on two‐dimensional potential energy surfaces is investigated. Nonequilibrium…
Expand
Highly Cited
1986
Highly Cited
1986
Recursive Block Coding - A New Approach to Transform Coding
P. Farrelle
,
Anil K. Jain
IEEE Transactions on Communications
1986
Corpus ID: 206637725
The concept of fast KL transform coding introduced earlier [7], [8] for first-order Markov processes and certain random fields…
Expand
1986
1986
The Manufacturing Game: A Formal Approach to Manufacturing Software
A. Naylor
,
M. Maletz
IEEE Transactions on Systems, Man and Cybernetics
1986
Corpus ID: 24818136
A formal modeling system intended for modeling the flow of parts, tools, information, and material on the factory floor is…
Expand
1982
1982
Comparison of Batch and Miscible Displacement Techniques to Describe Potassium Adsorption Kinetics in Delaware Soils1
D. Sparks
,
J. Rechcigl
1982
Corpus ID: 1918610
Kinetics of potassium (K) adsorption in three soils were compared using batch equilibrium and miscible displacement techniques…
Expand
Highly Cited
1977
Highly Cited
1977
Nematic-Smectic-A-Smectic-C Polycritical Point - Experimental-Evidence and a Landau Theory
David C. Johnson
,
D. Allender
,
R. DeHoff
,
C. Maze
,
E. Oppenheim
,
R. Reynolds
1977
Corpus ID: 800868
Differential-scanning-calorimetry measurements and optical-microscopy observations are reported on mixtures of two stable liquid…
Expand
Highly Cited
1968
Highly Cited
1968
Closed-loop sensitivity reduction of linear optimal control systems
E. Kreindler
1968
Corpus ID: 121266431
Inequalities are derived which demonstrate the reduction of sensitivity to plant-parameter variations of closed-loop linear…
Expand
1968
1968
Cycle Slipping in a First-Order Phase-Locked Loop
D. Hess
1968
Corpus ID: 61522893
In this paper a model for a carrier plus narrowband noise is presented, and with its aid the expected number of cycle slipping…
Expand