{"id":"W2094838194","doi":"10.1007/s001650070035","title":"Algebraic Composition of Function Tables","year":2000,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Composition (language); Theory of computation; Notation; Mathematical proof; Algebra over a field; Representation (politics); Computer science; Function (biology); Mathematics; Theoretical computer science; Algorithm; Pure mathematics; Arithmetic","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005487703,0.0001073801,0.0001993791,0.0001202761,0.0001117334,0.00002875403,0.0004775411,0.00005245993,0.00006507384],"category_scores_gemma":[0.00001780165,0.0001079401,0.00007185461,0.0004447373,0.00005798752,0.0009993816,0.000105303,0.0001001384,0.00002208506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002512327,"about_ca_system_score_gemma":0.00003286396,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002466306,"about_ca_topic_score_gemma":7.44248e-7,"domain_scores_codex":[0.9987611,0.0000723214,0.0004513888,0.0001879093,0.0002876168,0.0002397328],"domain_scores_gemma":[0.9991509,0.00006751777,0.0002723094,0.0003475163,0.0001207798,0.00004099363],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003600719,0.00009503494,0.000147377,0.00008184825,0.00001970107,8.222603e-7,0.0005912759,0.007087418,0.009155689,0.6651073,0.00003122641,0.3176464],"study_design_scores_gemma":[0.0005977094,0.0006436624,0.03984799,0.0001788887,0.00001921973,0.00003911325,0.00005076889,0.7458612,0.1870912,0.02485435,0.0005376747,0.000278241],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3735905,0.00004792099,0.6116895,0.00002041497,0.0001796888,0.00008820514,0.000001136294,0.00008041255,0.0143022],"genre_scores_gemma":[0.7441851,0.000003457755,0.2557085,0.00003001704,0.00004847392,8.547021e-7,0.000004802721,0.000004871833,0.00001384446],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7387738,"threshold_uncertainty_score":0.4401668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01268998958396425,"score_gpt":0.2507308861064802,"score_spread":0.2380408965225159,"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."}}