Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,768,883 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
2014
Highly Cited
2014
Computational Methods in Engineering: A Variety ofPrimal & Mixed Methods, with Global & LocalInterpolations, for Well-Posed or Ill-Posed BCs
Leiting Dong
,
Abdullah Alotaibi
,
S. Mohiuddine
,
S. Atluri
2014
Corpus ID: 118127913
In this expository article, a variety of computational methods, such as Collocation, Finite Volume, Finite Element, Boundary…
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. 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
1988
1988
Interval mathematics algorithms for tolerance analysis
L. Kolev
,
V. Mladenov
,
S. Vladov
1988
Corpus ID: 62579612
Two iterative algorithms for tolerance analysis of linear electrical circuits are suggested. They are based on the mean-value…
Expand
Highly Cited
1986
Highly Cited
1986
Recursive Block Coding - A New Approach to Transform Coding
P. Farrelle
,
A. 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
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