{"id":"W2008100350","doi":"10.5539/jmr.v4n6p89","title":"The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them","year":2012,"lang":"en","type":"article","venue":"Journal of Mathematics Research","topic":"Commutative Algebra and Its Applications","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Determinative; Mathematics; Sequent; Disjunctive normal form; Pure mathematics; Base (topology); Conjunctive normal form; Propositional formula; Discrete mathematics; Propositional variable; Mathematical analysis; Theoretical computer science; Computer science","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.002794963,0.0004949918,0.0007919993,0.003352679,0.002098329,0.005538993,0.001407795,0.0009942718,0.005909719],"category_scores_gemma":[0.01826687,0.0008713507,0.00140002,0.0020891,0.005820037,0.01063039,0.002563018,0.002220976,0.0005942131],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002282759,"about_ca_system_score_gemma":0.0007367163,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008563412,"about_ca_topic_score_gemma":0.0004465639,"domain_scores_codex":[0.9953589,0.0009840323,0.0004200091,0.001247967,0.00158516,0.0004038926],"domain_scores_gemma":[0.9881611,0.007397706,0.001318398,0.001294595,0.001419363,0.0004088422],"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.00003183256,0.00001493294,0.0007982208,0.00006429679,0.00001814643,0.00009867828,0.0005100215,0.004020961,0.0009971615,0.9877462,0.0001923328,0.005507127],"study_design_scores_gemma":[0.00002128694,0.00003828062,0.0005605145,0.00004039798,0.00002339034,0.0002872386,0.000186295,0.01907958,0.002550792,0.9730266,0.004153823,0.00003186209],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3326263,0.001758168,0.6340386,0.0006433709,0.00009787998,0.0001899408,0.0005186222,0.0006333514,0.02949377],"genre_scores_gemma":[0.9082597,0.0004695658,0.08579352,0.00009838758,0.0001024393,0.0001733464,0.0003993736,0.000159262,0.004544335],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005909719,"threshold_uncertainty_score":0.01976997,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2685469709017705,"score_gpt":0.4194585070191642,"score_spread":0.1509115361173936,"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."}}