{"id":"W7099567148","doi":"","title":"ARTIFICIAL INTELLIGENCE A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution","year":2008,"lang":"en","type":"article","venue":"","topic":"Insect behavior and control techniques","field":"Agricultural and Biological Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Resolution (logic); Set (abstract data type); Space (punctuation); Simplicity; Power (physics); Inference","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.00212847,0.0007151837,0.0005309077,0.0009160048,0.001824567,0.002578916,0.001944799,0.00132831,0.01315504],"category_scores_gemma":[0.006152315,0.0004980498,0.001418869,0.0008112619,0.004107994,0.004636465,0.003767486,0.003754798,0.00215568],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001559895,"about_ca_system_score_gemma":0.002249956,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002970216,"about_ca_topic_score_gemma":0.002997913,"domain_scores_codex":[0.9982308,0.00054719,0.00008988998,0.0003613907,0.0006518015,0.0001191025],"domain_scores_gemma":[0.9984697,0.000742043,0.00006119427,0.0004004085,0.0002686623,0.00005803517],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000121874,0.00001707412,0.00006644859,0.00006825024,0.00001847329,0.00004057499,0.0001628622,0.0060116,0.0005429588,0.9536804,0.0070661,0.03231315],"study_design_scores_gemma":[0.0000200138,0.00001326948,0.00005268119,0.00003185812,0.00001183424,0.00005427406,0.00006567644,0.0434269,0.001296158,0.8943512,0.06065741,0.00001873377],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.006372463,0.0008409838,0.9380262,0.006901334,0.0004912585,0.00007226899,0.0001018464,0.0007331621,0.04646051],"genre_scores_gemma":[0.1861142,0.00117097,0.7395816,0.001922263,0.0004990502,0.0002499982,0.0003120693,0.0004903353,0.06965943],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01315504,"threshold_uncertainty_score":0.04400802,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.159087137141364,"score_gpt":0.3070188946484772,"score_spread":0.1479317575071132,"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."}}