{"id":"W2614154661","doi":"","title":"Kripke Models of Boolean BI and Invertible Resources","year":2008,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Invertible matrix; Computer science; Boolean algebra; Theoretical computer science; Mathematics; Boolean expression; Discrete mathematics; Algebra over a field; Calculus (dental); Boolean function; Pure 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002703761,0.0003223279,0.0004637635,0.0002632681,0.0003073464,0.0003248059,0.00239128,0.0002811846,0.00001767166],"category_scores_gemma":[0.0005410995,0.0003172075,0.000178359,0.000406415,0.0003878752,0.0002995436,0.003632113,0.0005023493,0.00001454367],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005603078,"about_ca_system_score_gemma":0.0002592771,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001252466,"about_ca_topic_score_gemma":0.0005336401,"domain_scores_codex":[0.9955031,0.00231244,0.0005186411,0.0008826139,0.000431893,0.0003512921],"domain_scores_gemma":[0.9946731,0.0007245965,0.0005298164,0.002483085,0.001372889,0.0002164642],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001632783,0.0009444094,0.004095538,0.0005468859,0.0001666175,0.00001908827,0.097376,0.0006845724,0.001624876,0.7666212,0.00440869,0.1234958],"study_design_scores_gemma":[0.001169668,0.000002622849,0.005823546,0.002939617,0.00006194672,0.00006954376,0.0001884572,0.8045021,0.0532233,0.1059326,0.02478754,0.001299028],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1499904,0.005793117,0.6016523,0.003177358,0.0002825938,0.0004321029,0.0000242473,0.0004084538,0.2382395],"genre_scores_gemma":[0.9171522,0.003116093,0.07300843,0.00008616789,0.00002277269,0.00002793337,0.00004055268,0.00002900599,0.006516814],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8038176,"threshold_uncertainty_score":0.999928,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02059810779959764,"score_gpt":0.2158048003688124,"score_spread":0.1952066925692147,"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."}}