Index of /pub/ATP_problems/algebra/henkin.models

	Name	Last modified	Size	Description
	Parent Directory		-
	README	1990-03-24 10:48	2.8K
	axioms.ver1	1990-03-24 10:48	1.8K
	axioms.ver2	1990-03-24 10:48	1.3K
	axioms.ver3	1990-03-24 10:48	1.5K
	hp1.desc	1990-03-24 10:48	715
	hp1.ver1.clauses	1990-03-24 10:48	1.5K
	hp1.ver1.in	1990-03-24 10:48	1.5K
	hp1.ver1.out	1990-03-24 10:48	2.2K
	hp1.ver2.clauses	1990-03-24 10:48	1.0K
	hp1.ver2.in	1990-03-24 10:48	1.1K
	hp1.ver2.out	1990-03-24 10:48	1.8K
	hp1.ver3.clauses	1990-03-24 10:48	1.0K
	hp1.ver3.in	1990-03-24 10:48	1.1K
	hp1.ver3.out	1990-03-24 10:48	1.7K
	hp2.desc	1990-03-24 10:48	715
	hp2.ver1.clauses	1990-03-24 10:48	1.5K
	hp2.ver1.in	1990-03-24 10:48	1.5K
	hp2.ver1.out	1990-03-24 10:48	2.2K
	hp2.ver2.clauses	1990-03-24 10:48	1.0K
	hp2.ver2.in	1990-03-24 10:48	1.1K
	hp2.ver2.out	1990-03-24 10:48	1.9K
	hp2.ver3.clauses	1990-03-24 10:48	1.0K
	hp2.ver3.in	1990-03-24 10:48	1.1K
	hp2.ver3.out	1990-03-24 10:48	1.7K
	hp3.desc	1990-03-24 10:48	754
	hp3.ver1.clauses	1990-03-24 10:48	1.5K
	hp3.ver1.in	1990-03-24 10:48	1.6K
	hp3.ver1.out	1990-03-24 10:48	16K
	hp3.ver2.clauses	1990-03-24 10:48	1.1K
	hp3.ver2.in	1990-03-24 10:48	1.3K
	hp3.ver2.out	1990-03-24 10:48	19K
	hp3.ver3.clauses	1990-03-24 10:48	1.0K
	hp3.ver3.in	1990-03-24 10:48	1.2K
	hp3.ver3.out	1990-03-24 10:48	2.1K
	hp4.desc	1990-03-24 10:48	774
	hp4.ver1.clauses	1990-03-24 10:48	1.6K
	hp4.ver1.in	1990-03-24 10:48	1.7K
	hp4.ver1.out	1990-03-24 10:48	13K
	hp4.ver2.clauses	1990-03-24 10:48	1.1K
	hp4.ver2.in	1990-03-24 10:48	1.3K
	hp4.ver2.out	1990-03-24 10:48	3.0K
	hp4.ver3.clauses	1990-03-24 10:48	1.0K
	hp4.ver3.in	1990-03-24 10:48	1.3K
	hp4.ver3.out	1990-03-24 10:48	2.4K
	hp5.desc	1990-03-24 10:48	795
	hp5.ver1.clauses	1990-03-24 10:48	1.5K
	hp5.ver1.in	1990-03-24 10:48	1.6K
	hp5.ver1.out	1990-03-24 10:48	2.9K
	hp5.ver2.clauses	1990-03-24 10:48	1.1K
	hp5.ver2.in	1990-03-24 10:48	1.3K
	hp5.ver2.out	1990-03-24 10:48	9.1K
	hp5.ver3.clauses	1990-03-24 10:48	1.0K
	hp5.ver3.in	1990-03-24 10:48	1.3K
	hp5.ver3.out	1990-03-24 10:48	2.3K
	hp6.desc	1990-03-24 10:48	804
	hp6.ver1.clauses	1990-03-24 10:48	1.7K
	hp6.ver1.in	1990-03-24 10:48	1.8K
	hp6.ver1.out	1990-03-24 10:48	3.1K
	hp6.ver2.clauses	1990-03-24 10:48	1.1K
	hp6.ver2.in	1990-03-24 10:48	1.3K
	hp6.ver2.out	1990-03-24 10:48	2.7K
	hp6.ver3.clauses	1990-03-24 10:48	1.0K
	hp6.ver3.in	1990-03-24 10:48	1.3K
	hp6.ver3.out	1990-03-24 10:48	2.4K
	hp7.desc	1990-03-24 10:48	827
	hp7.ver1.clauses	1990-03-24 10:48	1.7K
	hp7.ver1.in	1990-03-24 10:48	1.9K
	hp7.ver1.out	1990-03-24 10:48	2.8K
	hp7.ver2.clauses	1990-03-24 10:48	1.2K
	hp7.ver2.in	1990-03-24 10:48	1.5K
	hp7.ver2.out	1990-03-24 10:48	2.4K
	hp7.ver3.clauses	1990-03-24 10:48	1.1K
	hp7.ver3.in	1990-03-24 10:48	1.3K
	hp7.ver3.out	1990-03-24 10:48	2.2K
	hp8.desc	1990-03-24 10:48	784
	hp8.ver1.clauses	1990-03-24 10:48	1.5K
	hp8.ver1.in	1990-03-24 10:48	1.6K
	hp8.ver1.out	1990-03-24 10:48	25K
	hp8.ver2.clauses	1990-03-24 10:48	1.1K
	hp8.ver2.in	1990-03-24 10:48	1.3K
	hp8.ver2.out	1990-03-24 10:48	4.1K
	hp8.ver3.clauses	1990-03-24 10:48	1.0K
	hp8.ver3.in	1990-03-24 10:48	1.3K
	hp8.ver3.out	1990-03-24 10:48	2.0K
	hp9.desc	1990-03-24 10:48	791
	hp9.ver1.clauses	1990-03-24 10:48	1.7K
	hp9.ver1.in	1990-03-24 10:48	2.0K
	hp9.ver1.out	1990-03-24 10:48	3.2K
	hp9.ver2.clauses	1990-03-24 10:48	1.2K
	hp9.ver2.in	1990-03-24 10:48	1.5K
	hp9.ver2.out	1990-03-24 10:48	3.5K
	hp9.ver3.clauses	1990-03-24 10:48	1.2K
	hp9.ver3.in	1990-03-24 10:48	1.5K
	hp9.ver3.out	1990-03-24 10:48	2.9K
	hp10.desc	1990-03-24 10:48	842
	hp10.ver1.clauses	1990-03-24 10:48	1.7K
	hp10.ver1.in	1990-03-24 10:48	2.0K
	hp10.ver1.out	1990-03-24 10:48	3.2K
	hp10.ver2.clauses	1990-03-24 10:48	1.3K
	hp10.ver2.in	1990-03-24 10:48	1.5K
	hp10.ver2.out	1990-03-24 10:48	969
	hp10.ver3.clauses	1990-03-24 10:48	1.2K
	hp10.ver3.in	1990-03-24 10:48	1.6K
	hp10.ver3.out	1990-03-24 10:48	3.1K
	hp11.desc	1990-03-24 10:48	933
	hp11.ver1.clauses	1990-03-24 10:48	2.4K
	hp11.ver1.in	1990-03-24 10:48	2.8K
	hp11.ver1.out	1990-03-24 10:48	3.0K
	hp11.ver2.clauses	1990-03-24 10:48	1.5K
	hp11.ver2.in	1990-03-24 10:48	1.9K
	hp11.ver2.out	1990-03-24 10:48	4.1K
	hp11.ver3.clauses	1990-03-24 10:48	1.5K
	hp11.ver3.in	1990-03-24 10:48	2.1K
	hp11.ver3.out	1990-03-24 10:48	2.7K
	new.desc	1990-03-24 10:48	547
	new.ver1.clauses	1990-03-24 10:48	1.5K
	new.ver1.in	1990-03-24 10:48	1.5K
	new.ver1.out	1990-03-24 10:48	2.6K
	new.ver2.clauses	1990-03-24 10:48	1.0K
	new.ver2.in	1990-03-24 10:48	1.1K
	new.ver2.out	1990-03-24 10:48	1.8K