wikimedia
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q57382555-69B700AD-1D9E-470B-87CC-EEB4CB52D8C5
Q57382555-69B700AD-1D9E-470B-87CC-EEB4CB52D8C5
BestRank
Statement
http://www.wikidata.org/entity/statement/Q57382555-69B700AD-1D9E-470B-87CC-EEB4CB52D8C5
Machine Learning for First-Order Theorem Proving
P2860
Q57382555-69B700AD-1D9E-470B-87CC-EEB4CB52D8C5
BestRank
Statement
http://www.wikidata.org/entity/statement/Q57382555-69B700AD-1D9E-470B-87CC-EEB4CB52D8C5
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
66ac8a9333cac773a3d010771e9806a40cccfc25
P2860
Functions of Positive and Negative Type, and their Connection with the Theory of Integral Equations