Namespaces
Variants
Actions

Information for "Boyer-Moore theorem prover"

Jump to: navigation, search

Basic information

Display titleBoyer-Moore theorem prover
Default sort keyBoyer-Moore theorem prover
Page length (in bytes)5,512
Page ID4026
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page1
Counted as a content pageYes

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creator127.0.0.1 (talk)
Date of page creation17:11, 7 February 2011
Latest editorUlf Rehmann (talk | contribs)
Date of latest edit18:51, 24 March 2012
Total number of edits2
Total number of distinct authors2
Recent number of edits (within past 90 days)0
Recent number of distinct authors0
How to Cite This Entry:
Boyer-Moore theorem prover. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Boyer-Moore_theorem_prover&oldid=22179
This article was adapted from an original article by Hans de NivelleMaarten de Rijke (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article