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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]new.ver2.out1990-03-24 10:48 1.8K 
[   ]new.ver2.in1990-03-24 10:48 1.1K 
[   ]new.ver2.clauses1990-03-24 10:48 1.0K 
[   ]new.ver1.out1990-03-24 10:48 2.6K 
[   ]new.ver1.in1990-03-24 10:48 1.5K 
[   ]new.ver1.clauses1990-03-24 10:48 1.5K 
[   ]new.desc1990-03-24 10:48 547  
[   ]hp11.ver3.out1990-03-24 10:48 2.7K 
[   ]hp11.ver3.in1990-03-24 10:48 2.1K 
[   ]hp11.ver3.clauses1990-03-24 10:48 1.5K 
[   ]hp11.ver2.out1990-03-24 10:48 4.1K 
[   ]hp11.ver2.in1990-03-24 10:48 1.9K 
[   ]hp11.ver2.clauses1990-03-24 10:48 1.5K 
[   ]hp11.ver1.out1990-03-24 10:48 3.0K 
[   ]hp11.ver1.in1990-03-24 10:48 2.8K 
[   ]hp11.ver1.clauses1990-03-24 10:48 2.4K 
[   ]hp11.desc1990-03-24 10:48 933  
[   ]hp10.ver3.out1990-03-24 10:48 3.1K 
[   ]hp10.ver3.in1990-03-24 10:48 1.6K 
[   ]hp10.ver3.clauses1990-03-24 10:48 1.2K 
[   ]hp10.ver2.out1990-03-24 10:48 969  
[   ]hp10.ver2.in1990-03-24 10:48 1.5K 
[   ]hp10.ver2.clauses1990-03-24 10:48 1.3K 
[   ]hp10.ver1.out1990-03-24 10:48 3.2K 
[   ]hp10.ver1.in1990-03-24 10:48 2.0K 
[   ]hp10.ver1.clauses1990-03-24 10:48 1.7K 
[   ]hp10.desc1990-03-24 10:48 842  
[   ]hp9.ver3.out1990-03-24 10:48 2.9K 
[   ]hp9.ver3.in1990-03-24 10:48 1.5K 
[   ]hp9.ver3.clauses1990-03-24 10:48 1.2K 
[   ]hp9.ver2.out1990-03-24 10:48 3.5K 
[   ]hp9.ver2.in1990-03-24 10:48 1.5K 
[   ]hp9.ver2.clauses1990-03-24 10:48 1.2K 
[   ]hp9.ver1.out1990-03-24 10:48 3.2K 
[   ]hp9.ver1.in1990-03-24 10:48 2.0K 
[   ]hp9.ver1.clauses1990-03-24 10:48 1.7K 
[   ]hp9.desc1990-03-24 10:48 791  
[   ]hp8.ver3.out1990-03-24 10:48 2.0K 
[   ]hp8.ver3.in1990-03-24 10:48 1.3K 
[   ]hp8.ver3.clauses1990-03-24 10:48 1.0K 
[   ]hp8.ver2.out1990-03-24 10:48 4.1K 
[   ]hp8.ver2.in1990-03-24 10:48 1.3K 
[   ]hp8.ver2.clauses1990-03-24 10:48 1.1K 
[   ]hp8.ver1.out1990-03-24 10:48 25K 
[   ]hp8.ver1.in1990-03-24 10:48 1.6K 
[   ]hp8.ver1.clauses1990-03-24 10:48 1.5K 
[   ]hp8.desc1990-03-24 10:48 784  
[   ]hp7.ver3.out1990-03-24 10:48 2.2K 
[   ]hp7.ver3.in1990-03-24 10:48 1.3K 
[   ]hp7.ver3.clauses1990-03-24 10:48 1.1K 
[   ]hp7.ver2.out1990-03-24 10:48 2.4K 
[   ]hp7.ver2.in1990-03-24 10:48 1.5K 
[   ]hp7.ver2.clauses1990-03-24 10:48 1.2K 
[   ]hp7.ver1.out1990-03-24 10:48 2.8K 
[   ]hp7.ver1.in1990-03-24 10:48 1.9K 
[   ]hp7.ver1.clauses1990-03-24 10:48 1.7K 
[   ]hp7.desc1990-03-24 10:48 827  
[   ]hp6.ver3.out1990-03-24 10:48 2.4K 
[   ]hp6.ver3.in1990-03-24 10:48 1.3K 
[   ]hp6.ver3.clauses1990-03-24 10:48 1.0K 
[   ]hp6.ver2.out1990-03-24 10:48 2.7K 
[   ]hp6.ver2.in1990-03-24 10:48 1.3K 
[   ]hp6.ver2.clauses1990-03-24 10:48 1.1K 
[   ]hp6.ver1.out1990-03-24 10:48 3.1K 
[   ]hp6.ver1.in1990-03-24 10:48 1.8K 
[   ]hp6.ver1.clauses1990-03-24 10:48 1.7K 
[   ]hp6.desc1990-03-24 10:48 804  
[   ]hp5.ver3.out1990-03-24 10:48 2.3K 
[   ]hp5.ver3.in1990-03-24 10:48 1.3K 
[   ]hp5.ver3.clauses1990-03-24 10:48 1.0K 
[   ]hp5.ver2.out1990-03-24 10:48 9.1K 
[   ]hp5.ver2.in1990-03-24 10:48 1.3K 
[   ]hp5.ver2.clauses1990-03-24 10:48 1.1K 
[   ]hp5.ver1.out1990-03-24 10:48 2.9K 
[   ]hp5.ver1.in1990-03-24 10:48 1.6K 
[   ]hp5.ver1.clauses1990-03-24 10:48 1.5K 
[   ]hp5.desc1990-03-24 10:48 795  
[   ]hp4.ver3.out1990-03-24 10:48 2.4K 
[   ]hp4.ver3.in1990-03-24 10:48 1.3K 
[   ]hp4.ver3.clauses1990-03-24 10:48 1.0K 
[   ]hp4.ver2.out1990-03-24 10:48 3.0K 
[   ]hp4.ver2.in1990-03-24 10:48 1.3K 
[   ]hp4.ver2.clauses1990-03-24 10:48 1.1K 
[   ]hp4.ver1.out1990-03-24 10:48 13K 
[   ]hp4.ver1.in1990-03-24 10:48 1.7K 
[   ]hp4.ver1.clauses1990-03-24 10:48 1.6K 
[   ]hp4.desc1990-03-24 10:48 774  
[   ]hp3.ver3.out1990-03-24 10:48 2.1K 
[   ]hp3.ver3.in1990-03-24 10:48 1.2K 
[   ]hp3.ver3.clauses1990-03-24 10:48 1.0K 
[   ]hp3.ver2.out1990-03-24 10:48 19K 
[   ]hp3.ver2.in1990-03-24 10:48 1.3K 
[   ]hp3.ver2.clauses1990-03-24 10:48 1.1K 
[   ]hp3.ver1.out1990-03-24 10:48 16K 
[   ]hp3.ver1.in1990-03-24 10:48 1.6K 
[   ]hp3.ver1.clauses1990-03-24 10:48 1.5K 
[   ]hp3.desc1990-03-24 10:48 754  
[   ]hp2.ver3.out1990-03-24 10:48 1.7K 
[   ]hp2.ver3.in1990-03-24 10:48 1.1K 
[   ]hp2.ver3.clauses1990-03-24 10:48 1.0K 
[   ]hp2.ver2.out1990-03-24 10:48 1.9K 
[   ]hp2.ver2.in1990-03-24 10:48 1.1K 
[   ]hp2.ver2.clauses1990-03-24 10:48 1.0K 
[   ]hp2.ver1.out1990-03-24 10:48 2.2K 
[   ]hp2.ver1.in1990-03-24 10:48 1.5K 
[   ]hp2.ver1.clauses1990-03-24 10:48 1.5K 
[   ]hp2.desc1990-03-24 10:48 715  
[   ]hp1.ver3.out1990-03-24 10:48 1.7K 
[   ]hp1.ver3.in1990-03-24 10:48 1.1K 
[   ]hp1.ver3.clauses1990-03-24 10:48 1.0K 
[   ]hp1.ver2.out1990-03-24 10:48 1.8K 
[   ]hp1.ver2.in1990-03-24 10:48 1.1K 
[   ]hp1.ver2.clauses1990-03-24 10:48 1.0K 
[   ]hp1.ver1.out1990-03-24 10:48 2.2K 
[   ]hp1.ver1.in1990-03-24 10:48 1.5K 
[   ]hp1.ver1.clauses1990-03-24 10:48 1.5K 
[   ]hp1.desc1990-03-24 10:48 715  
[   ]axioms.ver31990-03-24 10:48 1.5K 
[   ]axioms.ver21990-03-24 10:48 1.3K 
[   ]axioms.ver11990-03-24 10:48 1.8K 
[   ]README1990-03-24 10:48 2.8K