{"id":"W2404826996","doi":"","title":"All the Shortest Single Axioms for Boolean SQS-Skeins.","year":2012,"lang":"en","type":"article","venue":"Ars Combinatoria","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematics; Axiom; Discrete mathematics; Geometry","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.001718554,0.0008144621,0.0008353095,0.001461818,0.002828742,0.003523783,0.001171318,0.001308505,0.02953134],"category_scores_gemma":[0.008612168,0.000839302,0.002219255,0.001558736,0.002364152,0.008523512,0.003618863,0.004348258,0.008593887],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001169786,"about_ca_system_score_gemma":0.002145434,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001326728,"about_ca_topic_score_gemma":0.003840245,"domain_scores_codex":[0.9975374,0.0006037466,0.000371502,0.0005392149,0.0006369858,0.0003111558],"domain_scores_gemma":[0.9933448,0.002717511,0.000481434,0.001263087,0.001703224,0.0004899786],"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.0002482996,0.00009084785,0.00119238,0.0007165738,0.00009773191,0.0003504065,0.0006148202,0.0008716887,0.003408724,0.9074388,0.02896081,0.05600895],"study_design_scores_gemma":[0.0000363665,0.00004945056,0.0005276747,0.0000983425,0.00006056366,0.0004133174,0.0003223237,0.00119993,0.003641165,0.935892,0.05771757,0.00004131592],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1216597,0.003241541,0.5609413,0.007820299,0.003375829,0.0005495091,0.01509216,0.005363908,0.2819558],"genre_scores_gemma":[0.647613,0.001509732,0.2677777,0.00282354,0.0007534759,0.0003267491,0.01113157,0.001485536,0.06657873],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02953134,"threshold_uncertainty_score":0.09879214,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02922624438058703,"score_gpt":0.2598643411005837,"score_spread":0.2306380967199966,"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."}}