{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005209256,0.0001098508,0.0002870008,0.0001471056,0.0003038897,0.0000713954,0.0003416226,0.00004687892,0.00001109004],"category_scores_gemma":[0.001957167,0.00005255122,0.00008049112,0.0002059058,0.0003553526,0.0002043756,0.0001060624,0.0004334148,0.000007373535],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007095567,"about_ca_system_score_gemma":0.00008911175,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002545767,"about_ca_topic_score_gemma":0.000001868713,"domain_scores_codex":[0.9978482,0.0002816355,0.00056543,0.00006031031,0.0009402476,0.0003042093],"domain_scores_gemma":[0.9936558,0.004572907,0.0004604964,0.0002975189,0.0009029211,0.0001103651],"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.0003069899,0.002273731,0.001602968,0.001714718,0.0003153684,0.000003895994,0.03011127,0.000018968,0.007036288,0.949339,0.001925888,0.00535087],"study_design_scores_gemma":[0.003542329,0.003272442,0.004806689,0.004587677,0.000320725,0.0004597537,0.1431101,0.05238362,0.1250577,0.6584726,0.00324348,0.0007428973],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.988623,0.0004787965,0.004120318,0.000406663,0.00005612542,0.0005462656,0.000005534635,0.000005625582,0.005757685],"genre_scores_gemma":[0.9976299,0.00005872426,0.001924983,0.000004495068,0.00006747263,0.00003707793,1.181856e-7,0.00001885914,0.0002583338],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2908664,"threshold_uncertainty_score":0.2343053,"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."}}