{"id":"W2400133969","doi":"","title":"Independence Of Countable Sets Of Formulas Of The Propositional Logic.","year":2013,"lang":"en","type":"article","venue":"Ars Combinatoria","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematics; Countable set; Independence (probability theory); Propositional calculus; Propositional variable; Zeroth-order logic; Discrete mathematics; Autoepistemic logic; Calculus (dental); Intermediate logic; Theoretical computer science; Computer science; Statistics; Description logic; Multimodal logic","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"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.003967569,0.0007015457,0.001484657,0.003679981,0.003547928,0.006832398,0.002207906,0.001479533,0.009140693],"category_scores_gemma":[0.01920521,0.001566041,0.003779749,0.001819644,0.005112589,0.01409113,0.005004236,0.006678411,0.001546651],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002544737,"about_ca_system_score_gemma":0.001771146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00283692,"about_ca_topic_score_gemma":0.004096515,"domain_scores_codex":[0.9926304,0.002275618,0.0006292419,0.001332889,0.002257694,0.000874135],"domain_scores_gemma":[0.9709408,0.02032413,0.001537867,0.003233376,0.002422644,0.001541157],"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.0001481949,0.00008092295,0.00108051,0.00008606344,0.00008629909,0.0001513315,0.0003079741,0.000614905,0.0008085434,0.9878015,0.001748423,0.007085327],"study_design_scores_gemma":[0.00004026427,0.00001706035,0.0009873018,0.0000385658,0.00007312406,0.0002084959,0.00008956869,0.005229545,0.001319641,0.9875342,0.004442702,0.00001959899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1834769,0.002982129,0.5500418,0.005189592,0.0004954615,0.000210683,0.003713881,0.00100381,0.2528858],"genre_scores_gemma":[0.9127492,0.0009742895,0.05372076,0.000932142,0.0008860662,0.0002780929,0.003642689,0.0003599569,0.02645682],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009140693,"threshold_uncertainty_score":0.03057867,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01090722998033623,"score_gpt":0.228225073756463,"score_spread":0.2173178437761268,"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."}}