{"id":"W197917214","doi":"","title":"Resource Tableaux (extended abstract)","year":2002,"lang":"en","type":"book","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Soundness; Decidability; Computer science; Pointer (user interface); Semantics (computer science); Completeness (order theory); Theoretical computer science; Automated theorem proving; Programming language; Algebra over a field; Mathematics; Artificial intelligence","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.0004297978,0.0004808157,0.0002527151,0.0005056134,0.0007200183,0.002360672,0.0006533375,0.0005667842,0.01936378],"category_scores_gemma":[0.0008452386,0.0003103104,0.00057724,0.001006077,0.001418401,0.003332818,0.0008133329,0.001881277,0.004230854],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001696477,"about_ca_system_score_gemma":0.0008697639,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001770165,"about_ca_topic_score_gemma":0.002307492,"domain_scores_codex":[0.9996945,0.0000568962,0.00002303664,0.00007870358,0.0001222838,0.00002465748],"domain_scores_gemma":[0.9997082,0.0001457733,0.00001762168,0.00003954998,0.00007627066,0.00001245381],"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.00001143464,0.000007351255,0.00002358417,0.00009128082,0.000003131851,0.00005310792,0.0001199375,0.0009792176,0.001119658,0.9593503,0.01142984,0.02681116],"study_design_scores_gemma":[0.00001108403,0.00001872193,0.00007680383,0.00005679786,0.000007566658,0.0001573124,0.00004440299,0.003529189,0.001985441,0.6999822,0.2941206,0.000009852232],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008214735,0.007183728,0.5108554,0.002848291,0.001782157,0.0002443435,0.00218653,0.001812845,0.464872],"genre_scores_gemma":[0.2308784,0.006169754,0.3354228,0.002450955,0.0008048434,0.0006368001,0.002927778,0.0006974179,0.4200113],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01936378,"threshold_uncertainty_score":0.06477833,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0276691753513261,"score_gpt":0.2318363409185356,"score_spread":0.2041671655672095,"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."}}