Index of /Proposals/InterpretationsModels/ModelExamplesWithTypePromotion

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]THF_Finite_Medium.s2025-08-27 12:43 1.8K 
[ ]THF_Finite_Compact.s2025-08-27 12:43 1.7K 
[ ]TFF_Finite_Medium.s2025-08-27 12:43 1.8K 
[ ]NXF_Finite-Finite-Global_Medium.s2025-08-27 12:43 3.5K 
[ ]NXF_Finite-Finite-Global_Fine.s2025-08-27 12:42 4.6K 
[ ]NXF_Finite-Finite-Global_Compact.s2025-08-27 12:41 3.0K 
[ ]FOF_Finite_Medium.s2025-08-27 12:41 1.1K 
[ ]FOF_Finite_Fine.s2025-08-27 12:41 1.4K 
[TXT]THF_Finite.p2024-10-04 18:21 1.0K 
[TXT]TFF_Finite-Proof.shtml2024-10-04 18:21 25K 
[TXT]NXF_Finite-Finite-Local.s.TXF.p2024-10-04 18:21 3.7K 
[TXT]DefinitionTests.p2024-10-04 18:21 4.8K 
[TXT]FOF_Formulae.s.p2024-10-04 18:21 1.0K 
[TXT]TFF_Finite.s.p2024-10-04 18:21 2.1K 
[ ]NXF_Finite-Finite-Global.s.p___Leo-III---1.7.102024-10-04 18:21 12K 
[TXT]TFF_Peano.s.p2024-10-04 18:21 1.7K 
[ ]FOF_Finite.s2024-10-04 18:21 1.1K 
[TXT]FOF_Finite.s.p___Vampire---4.7.s.txt2024-10-04 18:21 19K 
[TXT]FOF_Proof.shtml2024-10-04 18:21 17K 
[TXT]NXF_Finite-Finite-Local.s___Vampire---4.7.s.txt2024-10-04 18:21 2.0K 
[ ]NXF_Finite-Finite-Global.TH0.p___Nitpick---2016.s2024-10-04 18:21 2.4K 
[ ]NXF_Finite-Infinite.UNS.ax2024-10-04 18:21 3.1K 
[ ]NXF_Infinite-Finite.s2024-10-04 18:21 3.6K 
[TXT]TFF_Infinite.p2024-10-04 18:21 815  
[TXT]NXF_Finite-Finite-Global.s.p2024-10-04 18:21 3.7K 
[TXT]FOF_Formulae.s___Vampire---4.8.s.txt2024-10-04 18:21 3.6K 
[ ]TFF_Finite_Formulae.s2024-10-04 18:21 2.7K 
[TXT]FOF_Saturation.s.p___E---3.1.s.txt2024-10-04 18:21 11K 
[TXT]NXF_Finite-Infinite.p2024-10-04 18:21 1.0K 
[ ]FOF_Saturation.s2024-10-04 18:21 1.0K 
[TXT]TFF_Finite.s___Vampire---4.7.s.txt2024-10-04 18:21 2.1K 
[TXT]THF_Finite.s.p2024-10-04 18:21 2.0K 
[TXT]NXF_Infinite-Finite.THM.p2024-10-04 18:21 2.1K 
[TXT]NXF_Finite-Finite-Local.s.p2024-10-04 18:21 2.6K 
[TXT]NXF_Finite-Finite-Global.s.p___Vampire---4.8.s.txt2024-10-04 18:21 21K 
[TXT]NXF_Infinite-Finite.p2024-10-04 18:21 2.1K 
[TXT]NXF_Infinite-Infinite.p2024-10-04 18:21 1.1K 
[TXT]TFF_Mixed.THM.p2024-10-04 18:21 1.4K 
[TXT]NXF_Infinite-Finite.THM.TH0.p2024-10-04 18:21 4.6K 
[ ]THF_Finite.s2024-10-04 18:21 1.7K 
[TXT]FOF_Finite.s___Vampire---4.7.s.txt2024-10-04 18:21 1.7K 
[TXT]TFF_Mixed.p2024-10-04 18:21 1.6K 
[TXT]NXF_Infinite-Finite.s.TXF.p2024-10-04 18:21 5.5K 
[ ]TFF_Finite_Compact.s2024-10-04 18:21 2.0K 
[ ]FOF_Infinite.s2024-10-04 18:21 761  
[ ]TFF_Finite_Fine.s2024-10-04 18:21 2.2K 
[TXT]NXF_Finite-Finite-Local.p2024-10-04 18:21 953  
[TXT]FOF_Finite.s.p2024-10-04 18:21 1.4K 
[TXT]FOF_Saturation.s___Vampire---4.8.s.txt2024-10-04 18:21 1.9K 
[ ]TFF_Integer.s.IIV2024-10-04 18:21 1.4K 
[TXT]NXF_Infinite-Infinite.s.TXF.p2024-10-04 18:21 3.6K 
[TXT]TFF_Finite.p2024-10-04 18:21 1.1K 
[TXT]FOF_Finite.p___iProver-SAT---3.8.s.txt2024-10-04 18:21 1.8K 
[TXT]NXF_Finite-Infinite.TH0.p2024-10-04 18:21 3.4K 
[ ]TFF_Finite.s2024-10-04 18:21 2.2K 
[ ]NXF_Finite-Finite-Local.s2024-10-04 18:21 2.5K 
[ ]NXF_Finite-Finite-Global.s2024-10-04 18:21 3.4K 
[TXT]NXF_Finite-Finite-Global.p2024-10-04 18:21 1.4K 
[ ]NXF_Infinite-Infinite.s2024-10-04 18:21 2.9K 
[ ]NXF_Finite-Infinite.s2024-10-04 18:21 2.5K 
[ ]FOF_Formulae.s2024-10-04 18:21 741  
[TXT]TFF_Integer.s.p2024-10-04 18:21 1.1K 
[TXT]XavierInfiniteWorlds.p2024-10-04 18:21 481  
[ ]TFF_Integer.s2024-10-04 18:21 1.0K 
[TXT]FOF_infinite.p2024-10-04 18:21 815  
[ ]TFF_Mixed.s2024-10-04 18:21 1.5K 
[ ]TFF_Peano.s2024-10-04 18:21 1.6K 
[TXT]TFF_Mixed.s.p___Vampire---4.7.s.txt2024-10-04 18:21 68K 
[TXT]TFF_Finite.sp.AGMV.p2024-10-04 18:21 3.1K 
[TXT]NXF_Finite-Finite-Global.TH0.p2024-10-04 18:21 3.2K 
[TXT]TFF_Finite.s.p___Vampire---4.7.s.txt2024-10-04 18:21 16K 
[ ]NXF_Finite-Finite-Local.TH0.p___Nitpick---2016.s2024-10-04 18:21 1.3K 
[TXT]NXF_Finite-Finite-Local.THM.p2024-10-04 18:21 2.2K 
[TXT]NXF_Finite-Infinite.THM.p2024-10-04 18:21 1.0K 
[TXT]NXF_Finite-Infinite.s.TXF.p2024-10-04 18:21 3.9K 
[TXT]NXF_Infinite-Infinite.TH0.p2024-10-04 18:21 3.1K 
[TXT]TFF_Integer.s.p___Vampire---4.7.s.txt2024-10-04 18:21 25K 
[TXT]NXF_Finite-Finite-Local.TH0.p2024-10-04 18:21 3.0K 
[TXT]THF_Finite.s.p___Vampire---4.8.s.txt2024-10-04 18:21 12K 
[ ]NXF_Infinite-Infinite.TH0.p___Nitpick---2016.s2024-10-04 18:21 786  
[TXT]NXF_Finite-Finite-Global.s.TXF.p2024-10-04 18:21 4.7K 
[TXT]TFF_Mixed.s.p2024-10-04 18:21 2.5K 
[TXT]NXF_Finite-Finite-Global.s___Vampire---4.7.s.txt2024-10-04 18:21 2.5K 
[TXT]FOF_Finite.p2024-10-04 18:21 1.0K 
[TXT]TFF_Mixed.s___Z3---4.8.9.0.s.txt2024-10-04 18:21 3.4K 
[TXT]TFF_Peano.s.p___Vampire---4.7.s.txt2024-10-04 18:21 12K 
[TXT]FOF_Saturation.s.p2024-10-04 18:21 1.2K 
[TXT]FOF_Infinite.p2024-10-04 18:21 531  
[TXT]NXF_Finite-Finite-Local.s.p___Vampire---4.7.s.txt2024-10-04 18:21 74K 
[TXT]FOF_Formulae.s.p___Vampire---4.8.s.txt2024-10-04 18:21 18K 
[TXT]OldVizAndVerStuff.html2024-10-04 18:21 10K 
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443