{"id":"W2009536531","doi":"10.1016/j.tcs.2005.09.021","title":"LA, permutations, and the Hajós Calculus","year":2005,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Calculus (dental); Mathematics; Combinatorics; Computer science; Discrete mathematics; Medicine","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.002199441,0.0004499796,0.0007924711,0.001336509,0.003107475,0.004142809,0.0009775884,0.001393733,0.005103206],"category_scores_gemma":[0.003928712,0.000497603,0.001080522,0.001179492,0.006691105,0.007524584,0.002232725,0.002603032,0.0008288157],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001698499,"about_ca_system_score_gemma":0.001790303,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00381984,"about_ca_topic_score_gemma":0.002923204,"domain_scores_codex":[0.9985114,0.0005975564,0.00007538085,0.000205142,0.0002958886,0.0003146334],"domain_scores_gemma":[0.9979655,0.001122682,0.0001767309,0.0003712625,0.0001851992,0.0001786465],"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.0000252278,0.000007739128,0.00007920952,0.000008890223,0.000003035262,0.00002394286,0.00009428529,0.0004752986,0.0001823221,0.995895,0.0003635122,0.00284156],"study_design_scores_gemma":[0.000005985182,0.000005814352,0.00003824583,0.00000422839,0.000004718181,0.00001899674,0.00002832718,0.001453263,0.0001551122,0.9952833,0.002995435,0.000006604793],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.292649,0.007296341,0.4416813,0.008810922,0.0008662656,0.0001365394,0.0004893112,0.00148408,0.2465862],"genre_scores_gemma":[0.9380015,0.001433889,0.03103434,0.0005530153,0.000422106,0.0001164162,0.0001426763,0.0001269064,0.02816918],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005103206,"threshold_uncertainty_score":0.0170719,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008720736149654174,"score_gpt":0.2804709678070167,"score_spread":0.2717502316573626,"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."}}