CONTENT

This site states the following, "The Logics Workbench LWB is an application developed at the University of Berne in Switzerland." Our analyzers noticed that the web site stated " It offers the possibility to work in a user-friendly way in classical and non-classical propositional logics, including nonmonotonic approaches." The Website also stated " There are several groups of functions. Embeddings, generation of random formulas. and lots of other fun! You can use the lwb from the web. Kindly refer to this page. To see who contributed to the project." The website's header had LWBlogic as the most important keyword. It was followed by propositional, computational, and symbolic which isn't as highly ranked as LWBlogic. The next words the site uses is education; decision procedures. simplification of formulas was also included and could not be understood by search crawlers.