{"id":"W2033396863","doi":"10.1016/j.entcs.2004.06.064","title":"A Practical Approach to Partial Functions in CVC Lite","year":2005,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Surprise; Partial function; Formalism (music); Programming language; Classical logic; Theoretical computer science; Partial evaluation; Semantics (computer science); Model checking; Algorithm; Mathematics; Algebra over a field; Discrete mathematics; Pure mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007618747,0.0008359056,0.0009072748,0.002262392,0.002566938,0.008498649,0.004177961,0.003460647,0.008635283],"category_scores_gemma":[0.02468609,0.001295078,0.001805285,0.001875977,0.006593066,0.01105511,0.006339477,0.005011506,0.0016944],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002220006,"about_ca_system_score_gemma":0.003219451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002378151,"about_ca_topic_score_gemma":0.002711662,"domain_scores_codex":[0.9932328,0.002237035,0.0005066851,0.001000886,0.002384593,0.0006379502],"domain_scores_gemma":[0.9913042,0.004350683,0.0002895688,0.002387346,0.001469164,0.0001991645],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001075222,0.00004259577,0.0006029463,0.0001658425,0.00001790196,0.000238177,0.0008057643,0.005146827,0.003149102,0.9301397,0.003362711,0.0562209],"study_design_scores_gemma":[0.00007576568,0.00009933543,0.0002334188,0.0001844145,0.00004237071,0.0007847142,0.0004006401,0.1144693,0.01860516,0.7809029,0.08409978,0.0001022549],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007860878,0.000105792,0.9754949,0.001373498,0.00008113594,0.0001577939,0.0001340542,0.004130816,0.01066118],"genre_scores_gemma":[0.2157798,0.00015924,0.7748092,0.000895587,0.00006858238,0.0003715719,0.0003202604,0.0008687974,0.006727003],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008635283,"threshold_uncertainty_score":0.0402922,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01756598041389155,"score_gpt":0.2809833728981024,"score_spread":0.2634173924842109,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}