{"id":"W4297842700","doi":"","title":"Characterizing provability in BI’s pointer logic through resource graphs","year":2005,"lang":"en","type":"preprint","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Pointer (user interface); Computer science; Programming language; Theoretical computer science; Arithmetic; Mathematics; Computer hardware","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.006757495,0.0007716269,0.0006601331,0.002601873,0.001684109,0.004442309,0.00281969,0.002104792,0.005286507],"category_scores_gemma":[0.01456527,0.0009240355,0.001669048,0.001914513,0.006349024,0.01182159,0.004801461,0.004625619,0.0003901156],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002914442,"about_ca_system_score_gemma":0.001762172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002549832,"about_ca_topic_score_gemma":0.001391422,"domain_scores_codex":[0.993416,0.002139132,0.0003392267,0.00122582,0.002238807,0.0006409331],"domain_scores_gemma":[0.9854715,0.01022704,0.0009921285,0.001401575,0.001320236,0.0005875305],"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.0001703746,0.0001066921,0.001013158,0.0001308036,0.00003633814,0.0002637658,0.0006367927,0.01563908,0.005006982,0.9617954,0.0006993436,0.01450122],"study_design_scores_gemma":[0.00003419921,0.00006024812,0.0002415108,0.00002644674,0.00003215216,0.000123765,0.0001582734,0.05289683,0.006896275,0.936429,0.003066841,0.00003443241],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1276714,0.0003286918,0.8562098,0.001567486,0.00006293072,0.0001764676,0.000309407,0.001480049,0.01219381],"genre_scores_gemma":[0.8516127,0.0001879802,0.1427699,0.0004947812,0.00006963842,0.0001922238,0.0003962828,0.0002425484,0.004033945],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006757495,"threshold_uncertainty_score":0.03573751,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04359708951671362,"score_gpt":0.2766947619779929,"score_spread":0.2330976724612792,"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."}}