Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Studies in Logic, Grammar and Rhetoric

Authors help

  1. 1 Milewski R.

Years help

  1. 1 2009

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  SEMANTICALLY EQUIVALENT SENTENCES
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

THE INFLUENCE OF DELOCALIZATION ON THE RESULTS OF ELIMINATING REPETITIONS OF SEMANTICALLY EQUIVALENT SENTENCES IN THE MML DATABASE

100%
Milewski R.
Studies in Logic, Grammar and Rhetoric
|
2009
|
issue 18(31)
79-88
EN
Detecting and removing repetitions of semantically equivalent sentences improves the quality of the MML database, but it is also an important factor in evaluating the robustness of the Mizar system. However, the complicated structure of proofs in the MML database makes it very difficult to automatically discover and remove such repetitions. One possible solution to this problem may be to apply the delocalization process, i.e. moving some sentences to outer levels of a proof where the elimination of repetitions becomes possible.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.