/dports/math/eprover/eprover-E-2.0/EXAMPLE_PROBLEMS/TPTP/Axioms/ |
H A D | CSR002+1.ax | 35 fof(ax1_1,axiom,( 39 fof(ax1_2,axiom,( 42 fof(ax1_3,axiom,( 48 fof(ax1_4,axiom,( 51 fof(ax1_5,axiom,( 57 fof(ax1_6,axiom,( 60 fof(ax1_7,axiom,( 66 fof(ax1_8,axiom,( 69 fof(ax1_9,axiom,( 113 fof(ax1_18,axiom, [all …]
|
H A D | SWB001+0.ax | 37 fof(simple_ir,axiom,( 42 fof(simple_lv,axiom,( 84 fof(rdf_type_ip,axiom,( 90 fof(rdf_type_type,axiom,( 94 fof(rdf_value_type,axiom,( 125 fof(rdfs_cext_def,axiom,( 234 fof(rdfs_ic_def,axiom,( 240 fof(rdfs_ir_def,axiom,( 246 fof(rdfs_lv_def,axiom,( 2819 fof(owl_inv,axiom,( [all …]
|
H A D | SWB002+0.ax | 189 fof(owl_parts_ic_def,axiom,( 293 fof(owl_parts_ip_def,axiom,( 506 fof(rdf_type_ip,axiom,( 512 fof(rdf_type_type,axiom,( 516 fof(rdf_value_type,axiom,( 547 fof(rdfs_cext_def,axiom,( 656 fof(rdfs_ic_def,axiom,( 662 fof(rdfs_ir_def,axiom,( 668 fof(rdfs_lv_def,axiom,( 796 fof(simple_ir,axiom,( [all …]
|
H A D | MGT001+0.ax | 30 fof(definition_smaller_or_equal,axiom, 43 fof(definition_greater_or_equal,axiom, 56 fof(definition_smaller,axiom, 62 fof(meaning_postulate_greater_strict,axiom, 72 fof(meaning_postulate_greater_transitive,axiom, 92 fof(meaning_postulate_greater_comparable,axiom,
|
/dports/math/eprover/eprover-E-2.0/EXAMPLE_PROBLEMS/TPTP/ |
H A D | SWW194+1.p | 31 fof(fact_ext,axiom,( 219 fof(fact_xy,axiom,( 242 fof(fact_csqrt,axiom,( 279 fof(fact_z,axiom,( 282 fof(fact_assms,axiom,( 751 fof(fact_C_I2_J,axiom,( 2455 fof(fact_le0,axiom,( 3889 fof(fact_leD,axiom,( 3922 fof(fact_leI,axiom,( 4894 fof(fact_half,axiom,( [all …]
|
H A D | SEU027+1.p | 35 fof(cc1_funct_1,axiom,( 40 fof(cc1_relat_1,axiom,( 54 fof(d5_funct_1,axiom,( 88 fof(fc4_relat_1,axiom, 170 fof(t1_subset,axiom,( 175 fof(t2_subset,axiom,( 181 fof(t3_subset,axiom,( 186 fof(t4_subset,axiom,( 235 fof(t6_boole,axiom,( 240 fof(t7_boole,axiom,( [all …]
|
H A D | MGT063+1.p | 39 fof(definition_1,axiom, 50 fof(assumption_1,axiom, 60 fof(definition_2,axiom, 69 fof(assumption_13,axiom, 77 fof(assumption_15,axiom, 89 fof(definition_4,axiom, 101 fof(assumption_17,axiom, 124 fof(assumption_18a,axiom, 127 fof(assumption_18b,axiom, 130 fof(assumption_18c,axiom, [all …]
|
H A D | GEO288+1.p | 36 fof('holds(conjunct1(266), 1175, 0)',axiom,( 70 fof('ass(cond(proof(267), 0), 0)',axiom,( 103 fof('ass(cond(proof(267), 0), 1)',axiom,( 136 fof('ass(cond(proof(267), 0), 2)',axiom,( 169 fof('ass(cond(proof(267), 0), 3)',axiom,( 222 fof('ass(cond(proof(267), 0), 4)',axiom,( 275 fof('ass(cond(proof(267), 0), 5)',axiom,( 2573 fof('ass(cond(156, 0), 0)',axiom,( 2598 fof('pred(axiom(137), 2)',axiom,( 2601 fof('pred(axiom(137), 1)',axiom,( [all …]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/tptp/ |
H A D | KRS063+1.p | 104 fof(axiom_0,axiom, 110 fof(axiom_1,axiom, 116 fof(axiom_2,axiom, 127 fof(axiom_3,axiom, 135 fof(axiom_4,axiom, 141 fof(axiom_5,axiom, 147 fof(axiom_6,axiom, 151 fof(axiom_7,axiom, 155 fof(axiom_8,axiom, 159 fof(axiom_9,axiom, [all …]
|
H A D | SYN000+2.p | 32 fof(distinct_object,axiom,( 36 fof(integers,axiom, 40 fof(rationals,axiom, 45 fof(reals,axiom, 68 fof(role_lemma,lemma,( 71 fof(role_theorem,theorem,( 74 fof(role_unknown,unknown,( 85 fof(source,axiom,( 89 fof(source_name,axiom,( 93 fof(source_copy,axiom,( [all …]
|
H A D | SYN000+1.p | 29 fof(propositional,axiom, 36 fof(first_order,axiom,( 45 fof(equality,axiom,( 53 fof(true_false,axiom, 58 fof(single_quoted,axiom, 66 fof(useful_connectives,axiom,( 75 fof(123,axiom,( 84 fof(role_hypothesis,hypothesis,( 87 fof(role_conjecture,conjecture,(
|
H A D | tptp_parser9.p | 5 fof(query_1,axiom, include(1) ). 7 fof(query_1,axiom, ![E]: e(E,1.6) ). 9 fof(query_1,axiom, ![A,E]: ~e(A,3.0E3) ). 11 fof(query_1,conjecture, ![E]: e(E,2.6) ).
|
/dports/audio/zplugins-lv2/ZPlugins-0.2.4/ext/Soundpipe/test/t/ |
H A D | t_fof.c | 7 sp_fof *fof; in f2() 16 SPFLOAT osc = 0, fof = 0; 23 sp_fof_create(&ud.fof); 28 sp_fof_init(sp, ud.fof, ud.sine, ud.win, 100, 0); 32 fof = 0; 33 sp_fof_compute(sp, ud.fof, &osc, &fof); 34 sp_test_add_sample(tst, fof); 39 sp_fof_destroy(&ud.fof);
|
/dports/audio/zplugins-lv2/ZPlugins-0.2.4/ext/Soundpipe/examples/ |
H A D | ex_fof.c | 7 sp_fof *fof; member 14 SPFLOAT osc = 0, fof = 0; in process() local 15 sp_fof_compute(sp, ud->fof, &osc, &fof); in process() 16 sp->out[0] = fof; in process() 27 sp_fof_create(&ud.fof); in main() 32 sp_fof_init(sp, ud.fof, ud.sine, ud.win, 100, 0); in main() 37 sp_fof_destroy(&ud.fof); in main()
|
/dports/archivers/upx/upx-3.96/src/ |
H A D | lefile.cpp | 36 fif(f), fof(NULL), in LeFile() 88 if (fof && oobject_table) in writeObjectTable() 107 if (fof && opm_entries) in writePageMap() 123 if (fof && ores_names) in writeResidentNames() 139 if (fof && oentries) in writeEntryTable() 154 if (fof && ofpage_table) in writeFixupPageTable() 170 if (fof && ofixups) in writeFixups() 209 if (fof && oimage != NULL) in writeImage() 227 if (fof && ononres_names) in writeNonResidentNames() 279 fof = f; in writeFile() [all …]
|
/dports/math/vampire/vampire-4.5.1/regressions/problems/ |
H A D | pp_ea_1.p | 5 fof(u6,axiom, a = b ). 6 fof(u6,axiom, f(a) = b ). 7 fof(u6,axiom, $sum(1,2) = 3 ). 8 fof(u6,axiom, p(X)). 9 fof(u6,axiom, q). 10 fof(u6,axiom, f(b) != a).
|
H A D | pp_inl_protected_1.p | 9 fof(ax1, axiom, aap(X) <=> p(X,a) ). 10 fof(ax1, axiom, aap(X) <=> aar(X) ). 11 fof(ax1, axiom, aap(b)). 12 fof(ax1, axiom, aar(c)).
|
H A D | pp_esk_1.p | 4 fof(axiom_8,axiom, 7 fof(axiom_2,axiom, 10 fof(axiom_10,axiom,
|
H A D | pp_esk_2.p | 4 fof(axiom_42,axiom, 7 fof(axiom_44,axiom, 10 fof(axiom_49,axiom,
|
/dports/net-im/climm/climm-0.7.1/src/ |
H A D | conv.c | 195 if (conv_encs[ENC_UTF8].fof) in ConvInit() 212 if (!conv_encs[ENC_ASCII].fof) in ConvInit() 217 if (!conv_encs[ENC_UTF8].fof) in ConvInit() 223 conv_encs[ENC_UTF8].fof = conv_encs[ENC_ASCII].fof; in ConvInit() 233 conv_encs[ENC_LATIN1].fof = conv_encs[ENC_ASCII].fof; in ConvInit() 243 conv_encs[ENC_LATIN9].fof = conv_encs[ENC_ASCII].fof; in ConvInit() 247 if (!conv_encs[ENC_KOI8].fof) in ConvInit() 253 conv_encs[ENC_KOI8].fof = conv_encs[ENC_ASCII].fof; in ConvInit() 263 conv_encs[ENC_WIN1251].fof = conv_encs[ENC_ASCII].fof; in ConvInit() 273 conv_encs[ENC_UCS2BE].fof = conv_encs[ENC_ASCII].fof; in ConvInit() [all …]
|
/dports/audio/gnupod/gnupod-0.99.8/tools/ |
H A D | gnupod_install.pl | 81 ncp($file, $infodir."/".fof($file)); 94 $file = fof($_); 123 my $file = fof($_); 137 my $rmme = $bindir."/".fof($_); 149 my $rmme = $INC[0]."/$modi/".fof($_); 184 my $dest = $stepINC.fof($file); 200 $file = fof($_); 213 sub fof subroutine
|
/dports/math/eprover/eprover-E-2.0/EXAMPLE_PROBLEMS/SMOKETEST/ |
H A D | ans_test06.p | 1 fof(socrates, axiom, (philosopher(socrates)|philosopher(plato))). 2 fof(hume, axiom, (philosopher(hume))). 3 fof(phil_wise, axiom, (![X]:(philosopher(X) => wise(X)))). 4 fof(is_there_wisdom, question, (?[X]:wise(X))).
|
H A D | GROUP1st.p | 9 fof(neutral, axiom, ![X]:f(X,null)=X). 12 fof(inverse, axiom, ![X]:?[Y]:f(X,Y)=null). 15 fof(assoc, axiom, ![X,Y,Z]:f(f(X,Y),Z)=f(X,f(Y,Z))). 18 # fof(rieqli, conjecture, ![X]:?[Y]:(f(X,Y)=null & f(Y,X)=null)). 19 # fof(rieqli, conjecture, ![X,Y]:(f(X,Y)=null => f(Y,X)=null)).
|
H A D | socrates.p | 1 fof(wealldie, axiom, ![X]:(human(X) => mortal(X))). 2 fof(socrateshuman, axiom, ![X]:(human(socrates))). 3 fof(socratesdies, conjecture, mortal(socrates)).
|
/dports/audio/csound/csound-6.15.0/tests/soak/ |
H A D | fof.csd | 7 ; -o fof.wav -W ;;; for file output any platform 55 a1 fof k1amp, kfund, k1form, koct, k1band, kris, \ 57 a2 fof k2amp, kfund, k2form, koct, k2band, kris, \ 59 a3 fof k3amp, kfund, k3form, koct, k3band, kris, \ 61 a4 fof k4amp, kfund, k4form, koct, k4band, kris, \ 63 a5 fof k5amp, kfund, k5form, koct, k5band, kris, \
|