English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 DetailsSummary
  Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)

Waldmann, U. (2001). Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract). In R. Goré, A. Leitsch, & T. Nipkow (Eds.), Automated reasoning: First International Joint Conference, IJCAR 2001 (pp. 226-241). Berlin, Germany: Springer.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3249-2 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-324B-D
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Waldmann, Uwe1, 2, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: We present a calculus for first-order theorem proving in the presence of the axioms of totally ordered divisible abelian groups. The calculus extends previous superposition or chaining calculi for divisible torsion-free abelian groups and dense total orderings without endpoints. As its predecessors, it is refutationally complete and requires neither explicit inferences with the theory axioms nor variable overlaps. It offers thus an efficient way of treating equalities and inequalities between additive terms over, e.g., the rational numbers within a first-order theorem prover.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-122001
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519866
URI: http://link.springer.de/link/service/series/0558/papers/2083/20830226.pdf
Other: Local-ID: C1256104005ECAFC-40302D47E88DB5B1C1256A8C0053DA2B-Waldmann2001IJCAR
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Siena, Italy
Start-/End Date: 2003-05-14 - 2003-05-18

Legal Case

show

Project information

show

Source 1

show
hide
Title: Automated reasoning : First International Joint Conference, IJCAR 2001
Source Genre: Proceedings
 Creator(s):
Goré, Rajeev, Editor
Leitsch, Alexander, Editor
Nipkow, Tobias, Editor
Affiliations:
-
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 226 - 241 Identifier: ISBN: 3-540-42254-4

Source 2

show
hide
Title: Lecture Notes in Artificial Intelligence
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 2083 Sequence Number: - Start / End Page: - Identifier: -