search

linguisticexplorer / Linguistic-Explorer

Terraling is a Ruby on Rails web application to let you store and browse your linguistic data. For More information read the README file.
http://www.terraling.com/
MIT License
17 stars 14 forks source link

Double Implication search returns tautological results #147

Open dej611 opened 10 years ago

dej611 commented 10 years ago

Do a double implication search and check the results: it's quite likely to have a row like the following:

Prop1 : Val1 <-> Prop1 : Val1 = 1

Otherwise just follow these steps: