{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009568273,0.0003756456,0.0004960839,0.000617679,0.00013722,0.0001377649,0.001690001,0.0003641651,0.00006525328],"category_scores_gemma":[0.0001677795,0.0003266264,0.0001451256,0.0005658395,0.001425897,0.0005099242,0.0006576796,0.0007312843,0.00004301277],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005445146,"about_ca_system_score_gemma":0.001093643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001504837,"about_ca_topic_score_gemma":0.0002328589,"domain_scores_codex":[0.9966465,0.00006462134,0.0006349446,0.00120503,0.0009641637,0.0004847084],"domain_scores_gemma":[0.9980725,0.0005318106,0.0002668278,0.0007037662,0.0003032562,0.0001218408],"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.00000905444,0.0001263951,0.0007625521,0.00003635845,0.000004189635,0.00003302998,0.000230794,0.004928624,0.00008781646,0.8978767,0.000009244234,0.09589528],"study_design_scores_gemma":[0.0003576242,0.0001717549,0.00857473,0.0002707863,0.000004714721,0.00008326913,7.302593e-8,0.1095767,0.0004077886,0.8798601,0.0002523364,0.0004401754],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0005487062,0.0003305642,0.9748474,0.0007440784,0.0007006518,0.0003193993,0.00001031725,0.00006745685,0.02243139],"genre_scores_gemma":[0.6257493,0.00002161462,0.373415,0.0003708175,0.0003447379,0.00001082859,0.00001486849,0.000009710288,0.00006319047],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6252006,"threshold_uncertainty_score":0.9999186,"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."}}