Unsolvable classes of quantificational formulas / Lists

This work is on 1 list.

Recent Activity

When	What	Who	Comment
3 minutes ago	Wannabe a Cowboy (list) - diff	stillme	Removed Love With A Long Tall Texan from the list.
3 minutes ago	Never Ending Sagas (list) - diff	stillme	Added Love With A Long Tall Texan to the list.
3 minutes ago	Never Ending Sagas (list) - diff	stillme	Added Long, Tall Texans - Guy to the list.
3 minutes ago	Wannabe a Cowboy (list) - diff	stillme	Removed Long, Tall Texans - Guy from the list.
4 minutes ago	Wannabe a Cowboy (list) - diff	stillme	Removed Long, Tall Texans from the list.