{"id":"W28294554","doi":"10.1002/asia.201700160","title":"Invariance and Definability: two faces of logical constants","year":2002,"lang":"en","type":"article","venue":"Chemistry - An Asian Journal","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Constant (computer programming); Epistemology; Computer science; Philosophy","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004776401,0.0005519228,0.000745442,0.001365277,0.001647523,0.005840852,0.001590346,0.001492349,0.006243158],"category_scores_gemma":[0.0128196,0.0005930965,0.001633227,0.001266801,0.01351946,0.01692856,0.004762723,0.004947364,0.0007234701],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002053969,"about_ca_system_score_gemma":0.0007504259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001086622,"about_ca_topic_score_gemma":0.0004785123,"domain_scores_codex":[0.9957028,0.001456531,0.0004175126,0.001159378,0.0008569788,0.0004068119],"domain_scores_gemma":[0.991529,0.005697049,0.0004878032,0.001382567,0.0005281999,0.0003753907],"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.00002235638,0.00000963299,0.0001211009,0.00002622749,0.000004397175,0.00003047024,0.0002540048,0.0003520959,0.0002853174,0.9897975,0.0004172316,0.008679652],"study_design_scores_gemma":[0.00001707357,0.00001776658,0.0001185245,0.00001489973,0.000008134922,0.00005549549,0.0001128719,0.002434368,0.0006499708,0.9893973,0.007160812,0.00001277246],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.114937,0.005378155,0.7540029,0.01391572,0.0008552999,0.0001127782,0.0004908138,0.0008285276,0.1094787],"genre_scores_gemma":[0.837402,0.002255557,0.1429744,0.001555835,0.001336454,0.0002540564,0.0005290086,0.0002980843,0.01339461],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006243158,"threshold_uncertainty_score":0.02526033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03338461051636817,"score_gpt":0.249772015388893,"score_spread":0.2163874048725248,"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."}}