Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Approximated Theorem Proving Marcelo Finger Renata Wassermann
 

Summary: Part II
Approximated Theorem Proving
Marcelo Finger Renata Wassermann
mfinger@ime.usp.br renata@ime.usp.br
Department of Computer Science
University of S~ao Paulo
Brazil
c Marcelo Finger Approximated Theorem Proving 0-0/21
1. Motivation
Suppose that we have a huge database and we want to check whether
a formula follows from it.
We may not have enough resources to check the whole database.
But we may be able to find the answer even without checking all
formulas:
Let B={, , , , p, p q, , }
We want to know whether B |= q.
c Marcelo Finger Approximated Theorem Proving 1/21
1
1.1 Example
Triangles are polygons.

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics