{"id":"W1545257085","doi":"10.1007/11499107_3","title":"Substitutional Definition of Satisfiability in Classical Propositional Logic","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Propositional variable; Satisfiability; Well-formed formula; Zeroth-order logic; Propositional calculus; Autoepistemic logic; Propositional formula; Mathematics; Intermediate logic; Discrete mathematics; Computer science; Calculus (dental); Theoretical computer science; Description logic; Multimodal logic","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.003164405,0.0009650389,0.001072497,0.002638725,0.00167033,0.004389712,0.002700135,0.002062196,0.006865309],"category_scores_gemma":[0.004293207,0.001236078,0.001759128,0.003296666,0.01035139,0.01047573,0.002538231,0.007740228,0.001505279],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00225279,"about_ca_system_score_gemma":0.001609696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001493481,"about_ca_topic_score_gemma":0.001474443,"domain_scores_codex":[0.9969311,0.001212616,0.0002975525,0.000426267,0.0009053043,0.0002270455],"domain_scores_gemma":[0.997906,0.001249193,0.00007887869,0.0002650503,0.0004298393,0.00007112652],"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.00000656889,0.000006309479,0.00002445004,0.00003525675,0.00000523119,0.00001680062,0.0001111972,0.000253625,0.0001603829,0.9952258,0.0008993691,0.003255018],"study_design_scores_gemma":[0.000005971533,0.000007680108,0.00003178281,0.00002721856,0.00001224279,0.00005337334,0.00004027156,0.0018196,0.0003107531,0.9905564,0.007127527,0.000007228961],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01904286,0.009680704,0.7688144,0.007934934,0.001652945,0.0001205412,0.0005470503,0.0003979371,0.1918086],"genre_scores_gemma":[0.5896979,0.006799012,0.3562018,0.004737099,0.00253725,0.0004651493,0.001290442,0.0003605502,0.03791077],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006865309,"threshold_uncertainty_score":0.0229668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0261916880435109,"score_gpt":0.2493091096858518,"score_spread":0.2231174216423409,"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."}}