Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
81 - 90 of 982 search results for b&b

  1. Fully-matching results

  2. Theory Wfd

    https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/FOL/CCL/Wfd.html
    23 May 2024: a,a'ra; pa,ba',b'⟧ R" and 3: "a b b'. ⟦<b,b'rb; pa,ba,b'⟧ R" shows R apply (THEN lexXH [THEN iffD1], THEN exE]) usingapply blast done ... induct]) apply (apply (apply (erule 2) apply blast done lemma SPLITB: "a,b>,B) = B(a,b)" unfolding SPLIT_def

  3. https://www.oncology.cam.ac.uk/taxonomy/term/12/feed

    https://www.oncology.cam.ac.uk/taxonomy/term/12/feed
    23 Feb 2024: JR, Bliss JM and <b>Coles CE</b> on behalf of the IMPORT Trialists. ... Hak C, Qian W, Twyman N, Burnet NG, Wishart GC and <b>Coles CE</b>.

  4. Theory OrderArith

    https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/FOL/ZF/OrderArith.html
    23 May 2024: b B ⟨b',b⟩:s" by (unfoldlemma radd_Inr_Inl_iff [simp]: "⟨Inr(b), Inl(a)⟩A,r,B,s)by (unfolddeclare radd_Inr_Inl_iff [THENsubsubsection‹Elimination Rule› lemma raddE: ... Can be used to obtain introduction rules› lemma rmult_iff [iff]:

  5. Theory FSet

    https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL-Library/FSet.html
    23 May 2024: transfer by simp lift_definition ffold :: "('a 'b 'b) 'b 'a fset 'b" is Finite_Set.fold. ... A || C" by (lemma fsubset_pfsubset_trans: "A || B B || C A || C" by (lemma pfsubset_imp_ex_fmem: "A || B b.

  6. Theory HOL.Fun

    https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL-Proofs/HOL.Fun.html
    23 May 2024: and (Haskell) infixr 9 "." subsection ‹The Forward Composition Operator ‹fcomp›› definition fcomp :: "('a 'b) ('b 'c) 'a 'c" (infixl ">" 60) where "f > g = (λx.

  7. Theory HOL.Filter

    https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL-Proofs/HOL.Filter.html
    23 May 2024: a B b B xB. F xF a) (F b)) eventually P (bB. ... F. B) B" unfoldingby (force intro: eventually_True) lemma prod_filter_INF: assumes "Iand "Jshows "(iI.

  8. https://www.cardiovascular.cam.ac.uk/taxonomy/term/56/feed

    https://www.cardiovascular.cam.ac.uk/taxonomy/term/56/feed
    23 Feb 2024: 11),14878-14891.</p> <p><i>Heritability of Haemodynamics in the Ascending Aorta</i>.McGurk KA, Owen B,<b>Watson WD</b>, Nethonoda RM, Cordell HJ, Farrall M, Rider OJ, Watkins ... JJ, Sayeed RA, Petrou M, Krasopoulos G, Lake HA, Raman B,<b>Watson WD</b>,

  9. https://www.cardiovascular.cam.ac.uk/taxonomy/term/55/feed

    https://www.cardiovascular.cam.ac.uk/taxonomy/term/55/feed
    23 Feb 2024: fibrinogen: A randomised double-blind placebo-controlled trial.</a> <b>PLoS One</b>. ... Chest</b><b></b><b> </b>2017 Mar;151(3):555-563.

  10. Theory HOL

    https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL/HOL.html
    23 May 2024: Pz = x) (Pz = y))" definition Let :: "'a ('a 'b) 'b" where "Let s f f s" translations "_Let (_binds b bs) e" "_Let b (_Let bs e)" "let x = a in ... lemma not_sym: "t s s t" by (erule contrapos_nn) (erule sym) lemma eq_neq_eq_imp_neq: "⟦x = a; a b; b =

  11. Theory Cardinal

    https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/FOL/ZF/Cardinal.html
    23 May 2024: b B⟧ cons(a,A)b,B)" apply (unfoldapply (rule_tac x = "λycons (a,A). ... B; a A; b B⟧ cons(a,A)b,B)" by (simp add:lemma cons_lepoll_cons_iff: "⟦a A; b B⟧ cons(a,A)b,B) A B" by (blast

Refine your results

Format

clear all

Date

Related searches for b&b

By type

By topic

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.