{"id":"W2612967991","doi":"","title":"Labelled Tableaux for Proofs and Models in BI logics","year":2009,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Mathematical proof; Computer science; Programming language; Theoretical computer science; Mathematics; Calculus (dental); Discrete mathematics; Algebra over a field; Pure mathematics; Geometry","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.005954446,0.001531984,0.001719957,0.003526241,0.003506948,0.0101619,0.004145771,0.003625582,0.01557945],"category_scores_gemma":[0.01245334,0.002387252,0.002870033,0.004842833,0.005869789,0.01664964,0.004049552,0.01007587,0.002902561],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007583827,"about_ca_system_score_gemma":0.002479643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006506054,"about_ca_topic_score_gemma":0.006346684,"domain_scores_codex":[0.9942356,0.002741718,0.0005382448,0.0006559241,0.001343678,0.0004849097],"domain_scores_gemma":[0.9900064,0.007058282,0.0005029307,0.001161434,0.0008269906,0.0004439444],"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.0000237926,0.000009835501,0.00004732644,0.00004668006,0.000006662718,0.0000306934,0.0001561076,0.0009708639,0.0001823323,0.9944767,0.000905495,0.003143503],"study_design_scores_gemma":[0.00001399463,0.000005871884,0.00002341604,0.00002648998,0.00001025962,0.00002282144,0.00004438001,0.004752955,0.0002617638,0.990077,0.004748117,0.00001300126],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00976956,0.002766891,0.952948,0.003399772,0.0005025939,0.0001745262,0.001711459,0.0009683517,0.02775884],"genre_scores_gemma":[0.4161215,0.002953883,0.5460759,0.002012268,0.0007547181,0.0009548956,0.003040306,0.0007051213,0.02738141],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01557945,"threshold_uncertainty_score":0.05502474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02983744607770041,"score_gpt":0.2440198089335813,"score_spread":0.2141823628558809,"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."}}