Index of /Proposals/InterpretationsModels/ModelExamples

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]XavierInfiniteWorlds.p2024-10-04 18:21 481  
[TXT]FOF_Infinite.p2024-10-04 18:21 531  
[ ]FOF_Formulae.s2024-10-04 18:21 741  
[ ]FOF_Infinite.s2024-10-04 18:21 761  
[ ]NXF_Infinite-Infinite.TH0.p___Nitpick---2016.s2024-10-04 18:21 786  
[TXT]TFF_Infinite.p2024-10-04 18:34 815  
[ ]THF_Finite.s2024-10-04 18:21 926  
[TXT]NXF_Finite-Finite-Local.p2024-10-04 18:21 953  
[TXT]FOF_Finite.p2024-10-04 18:21 1.0K 
[TXT]THF_Finite.p2024-10-04 18:34 1.0K 
[TXT]NXF_Finite-Finite-Local.s___Vampire.s.txt2024-10-04 18:34 1.0K 
[ ]FOF_Saturation.s2024-10-04 18:34 1.0K 
[TXT]FOF_Formulae.s.p2024-10-04 18:34 1.0K 
[ ]THF_Finite_Compact.s2025-08-27 12:40 1.0K 
[ ]THF_Finite_Medium.s2025-08-27 12:40 1.0K 
[ ]TFF_Integer.s2024-10-04 18:21 1.0K 
[TXT]TFF_Finite.p2024-10-04 18:21 1.1K 
[TXT]NXF_Finite-Infinite.p2025-05-27 16:10 1.1K 
[ ]FOF_Finite.s2024-10-04 18:34 1.1K 
[TXT]NXF_Finite-Infinite.THM.p2025-05-27 16:14 1.1K 
[TXT]NXF_Infinite-Infinite.p2025-05-27 15:48 1.1K 
[TXT]TFF_Integer.s.p2024-10-04 18:21 1.1K 
[ ]FOF_Finite_Medium.s2025-08-27 12:38 1.1K 
[TXT]FOF_Saturation.s.p2024-10-04 18:21 1.2K 
[ ]NXF_Finite-Finite-Local.TH0.p___Nitpick---2016.s2024-10-04 18:21 1.3K 
[TXT]THF_Finite.s.p2024-10-04 18:34 1.3K 
[TXT]NXF_Finite-Finite-Global.p2025-05-27 17:50 1.4K 
[ ]TFF_Finite.s2024-10-04 18:21 1.4K 
[ ]FOF_Finite_Fine.s2024-10-04 18:21 1.4K 
[TXT]FOF_Finite.s.p2024-10-04 18:21 1.4K 
[ ]TFF_Integer.s.IIV2024-10-04 18:21 1.4K 
[TXT]TFF_Mixed.THM.p2024-10-04 18:34 1.4K 
[ ]TFF_Mixed.s2024-10-04 18:21 1.5K 
[ ]TFF_Peano.s2024-10-04 18:21 1.6K 
[TXT]TFF_Mixed.p2024-10-04 18:21 1.6K 
[TXT]TFF_Peano.s.p2024-10-04 18:34 1.7K 
[ ]TFF_Finite_Compact.s2025-08-27 12:40 1.7K 
[TXT]TFF_Finite.s.p2024-10-04 18:34 1.7K 
[TXT]FOF_Finite.s___Vampire---4.7.s.txt2024-10-04 18:21 1.7K 
[ ]TFF_Finite_Coarse.s2025-08-22 17:40 1.7K 
[TXT]FOF_Finite.p___iProver-SAT---3.8.s.txt2024-10-04 18:21 1.8K 
[ ]TFF_Finite_Fine.s2025-08-22 17:43 1.8K 
[TXT]FOF_Saturation.s___Vampire---4.8.s.txt2024-10-04 18:21 1.9K 
[TXT]TFF_Finite_SeparateDomains.s___Vampire.s.txt2024-10-04 18:34 2.0K 
[TXT]NXF_Finite-Finite-Local.s.p2025-10-30 14:25 2.0K 
[TXT]NXF_Infinite-Finite.THM.p2025-05-27 16:15 2.1K 
[TXT]NXF_Infinite-Finite.p2025-05-27 16:15 2.1K 
[ ]NXF_Finite-Finite-Local.s2025-10-30 14:24 2.2K 
[ ]TFF_Finite_SeparateDomains.s2025-08-27 12:40 2.2K 
[TXT]NXF_Finite-Finite-Local.THM.p2025-05-27 18:07 2.2K 
[ ]NXF_Finite-Finite-Global.TH0.p___Nitpick---2016.s2024-10-04 18:34 2.4K 
[TXT]TFF_Mixed.s.p2024-10-04 18:21 2.5K 
[TXT]TFF_Finite_SeparateDomains.s.p2024-10-04 18:34 2.6K 
[ ]NXF_Finite-Infinite.s2025-10-30 14:26 2.6K 
[ ]TFF_Finite_Formulae.s2024-10-04 18:34 2.7K 
[ ]NXF_Finite-Finite-Global_Fine_Compact.s2025-08-27 12:38 3.0K 
[TXT]NXF_Finite-Finite-Local.TH0.p2025-05-27 15:49 3.0K 
[ ]NXF_Infinite-Infinite.s2025-10-30 14:34 3.1K 
[ ]NXF_Finite-Infinite.UNS.ax2024-10-04 18:34 3.1K 
[TXT]NXF_Infinite-Infinite.TH0.p2024-10-04 18:21 3.1K 
[TXT]TFF_Finite.sp.AGMV.p2024-10-04 18:21 3.1K 
[TXT]NXF_Finite-Finite-Global.TH0.p2025-05-27 17:49 3.2K 
[ ]NXF_Finite-Finite-Varying.s2025-10-30 14:26 3.4K 
[TXT]TFF_Mixed.s___Z3---4.8.9.0.s.txt2024-10-04 18:21 3.4K 
[TXT]NXF_Finite-Infinite.TH0.p2025-05-27 16:10 3.4K 
[TXT]FOF_Formulae.s___Vampire---4.8.s.txt2024-10-04 18:34 3.6K 
[ ]NXF_Finite-Finite-Global.s2025-09-01 13:10 3.6K 
[TXT]NXF_Finite-Finite-Local.s.TXF.p2025-10-30 14:25 3.7K 
[ ]NXF_Infinite-Finite.s2025-10-30 14:27 3.7K 
[TXT]NXF_Finite-Finite-Global.s.p2025-09-01 13:06 3.8K 
[TXT]NXF_Finite-Infinite.s.TXF.p2024-10-04 18:21 3.9K 
[TXT]NXF_Infinite-Finite.THM.TH0.p2024-10-04 18:21 4.6K 
[ ]NXF_Finite-Finite-Global_Fine.s2025-08-27 12:39 4.6K 
[TXT]DefinitionTests.p2024-10-04 18:34 4.8K 
[TXT]NXF_Infinite-Finite.s.TXF.p2024-10-04 18:21 5.5K 
[TXT]THF_Finite.s.p___Vampire.s.txt2024-10-04 18:21 9.7K 
[TXT]TFF_Finite.s___Vampire.s.txt2024-10-04 18:34 10K 
[TXT]FOF_Saturation.s.p___E---3.1.s.txt2024-10-04 18:34 11K 
[TXT]NXF_Finite-Finite-Global.s.p___Leo-III.s.txt2025-09-01 13:06 12K 
[TXT]TFF_Finite.s.p___Vampire.s.txt2024-10-04 18:34 15K 
[TXT]TFF_Peano.s.p___Vampire.s.txt2024-10-04 18:21 16K 
[TXT]FOF_Proof.shtml2024-10-04 18:34 17K 
[TXT]FOF_Formulae.s.p___Vampire---4.8.s.txt2024-10-04 18:21 18K 
[TXT]FOF_Finite.s.p___Vampire---4.7.s.txt2024-10-04 18:34 19K 
[TXT]TFF_Finite_SeparateDomains.s.p___Vampire.s.txt2024-10-04 18:21 22K 
[TXT]NXF_Finite-Finite-Global.s___Vampire.s.txt2025-05-27 17:49 25K 
[TXT]TFF_Integer.s.p___Vampire.s.txt2024-10-04 18:21 25K 
[TXT]TFF_Finite-Proof.shtml2024-10-04 18:34 25K 
[TXT]TFF_Mixed.s.p___Vampire---4.7.s.txt2024-10-04 18:21 68K 
[TXT]NXF_Finite-Finite-Local.s.p___Vampire---4.7.s.txt2024-10-04 18:21 74K 
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443