{"id":"W2950622282","doi":"10.48550/arxiv.cs/0003046","title":"Linear Tabulated Resolution Based on Prolog Control Strategy","year":2000,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Prolog; Computer science; Resolution (logic); Computation; Programming language; Algorithm; Theoretical computer science; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001097528,0.000492663,0.0004831179,0.001078361,0.0007569571,0.002230262,0.001769781,0.0005562025,0.005853317],"category_scores_gemma":[0.003902144,0.0004972642,0.0008754802,0.001142334,0.001626647,0.003028445,0.002196958,0.001629265,0.001302427],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009369222,"about_ca_system_score_gemma":0.001433587,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001850223,"about_ca_topic_score_gemma":0.00185765,"domain_scores_codex":[0.9985517,0.000302062,0.0001287274,0.0003103221,0.0005549919,0.0001523481],"domain_scores_gemma":[0.9986105,0.0005678351,0.00008631264,0.0003821514,0.0003075977,0.00004558727],"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.0002091317,0.00009270175,0.0008251416,0.0003887781,0.00005763167,0.0005092915,0.0007570733,0.04281807,0.01911978,0.6172531,0.0065279,0.3114413],"study_design_scores_gemma":[0.0001236697,0.0001296425,0.000253842,0.0001228708,0.0001172501,0.0005609718,0.0002663183,0.4835391,0.067146,0.3838967,0.06375836,0.00008519922],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007070682,0.0001516029,0.9848698,0.0001431395,0.00005443035,0.00007510264,0.0001078127,0.001978262,0.005549161],"genre_scores_gemma":[0.1960324,0.0003634582,0.7947177,0.0002963502,0.00005833384,0.0001574951,0.0003979766,0.0005723085,0.007403967],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005853317,"threshold_uncertainty_score":0.01958132,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04348001281286773,"score_gpt":0.2637082927038324,"score_spread":0.2202282798909647,"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."}}