{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001864763,0.001166984,0.001486971,0.002240204,0.002241571,0.007764488,0.00229104,0.002471029,0.01839509],"category_scores_gemma":[0.007573448,0.001058105,0.001647312,0.003807958,0.004362569,0.01727853,0.003979599,0.004429816,0.002158948],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003392586,"about_ca_system_score_gemma":0.001640412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007251159,"about_ca_topic_score_gemma":0.007435499,"domain_scores_codex":[0.9975515,0.0005713454,0.0002397958,0.0004483981,0.0007157199,0.0004732527],"domain_scores_gemma":[0.9945877,0.002672088,0.0004856827,0.00109973,0.000711694,0.0004431682],"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.00001946046,0.000007481947,0.00004090811,0.00002149043,0.000005920085,0.00005042944,0.00009197596,0.003031854,0.0001860325,0.9954872,0.000257642,0.0007996228],"study_design_scores_gemma":[0.00001707684,0.00000545369,0.00002540812,0.000009249971,0.000008484399,0.00004373803,0.00006069048,0.01210474,0.0002127609,0.9856754,0.001825857,0.00001124429],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.1625508,0.001700821,0.6995658,0.004517503,0.0001934896,0.0001926182,0.00225419,0.001240269,0.1277844],"genre_scores_gemma":[0.8963585,0.001050093,0.06070893,0.0004152866,0.0001693702,0.0002637975,0.001118367,0.000283163,0.03963242],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01839509,"threshold_uncertainty_score":0.06153774,"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."}}