Home
last modified time | relevance | path

Searched refs:fof (Results 1 – 25 of 439) sorted by relevance

12345678910>>...18

/dports/math/eprover/eprover-E-2.0/EXAMPLE_PROBLEMS/TPTP/Axioms/
H A DCSR002+1.ax35 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 DSWB001+0.ax37 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 DSWB002+0.ax189 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 DMGT001+0.ax30 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 DSWW194+1.p31 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 DSEU027+1.p35 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 DMGT063+1.p39 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 DGEO288+1.p36 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 DKRS063+1.p104 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 DSYN000+2.p32 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 DSYN000+1.p29 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 Dtptp_parser9.p5 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 Dt_fof.c7 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 Dex_fof.c7 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 Dlefile.cpp36 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 Dpp_ea_1.p5 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 Dpp_inl_protected_1.p9 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 Dpp_esk_1.p4 fof(axiom_8,axiom,
7 fof(axiom_2,axiom,
10 fof(axiom_10,axiom,
H A Dpp_esk_2.p4 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 Dconv.c195 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 Dgnupod_install.pl81 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 Dans_test06.p1 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 DGROUP1st.p9 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 Dsocrates.p1 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 Dfof.csd7 ; -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, \

12345678910>>...18