{"id":"W2001616837","doi":"10.1016/j.scico.2010.05.007","title":"Internal axioms for domain semirings","year":2010,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":56,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Axiom; Kleene algebra; Computer science; Domain (mathematical analysis); Simple (philosophy); Modal; Algebra over a field; Set (abstract data type); Relational algebra; State (computer science); Theoretical computer science; Algorithm; Discrete mathematics; Mathematics; Programming language; Pure mathematics; Relational database; Data mining","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.005669951,0.001050698,0.0009615042,0.002586061,0.002203666,0.005858902,0.001810968,0.001716098,0.007096509],"category_scores_gemma":[0.00724389,0.001541068,0.002810056,0.001459521,0.006364397,0.01161602,0.004650188,0.007121213,0.002421135],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002036613,"about_ca_system_score_gemma":0.001338162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001110695,"about_ca_topic_score_gemma":0.001192641,"domain_scores_codex":[0.9945138,0.001607697,0.0007538603,0.000989651,0.001564728,0.0005703067],"domain_scores_gemma":[0.9912357,0.004322467,0.0003328334,0.001849933,0.001731285,0.0005277962],"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.00001454131,0.00001629832,0.0001300964,0.00004610857,0.000009157336,0.00005112493,0.0003327313,0.0003142759,0.0004945753,0.9933169,0.0008606082,0.004413595],"study_design_scores_gemma":[0.00003386874,0.00002013938,0.0001583324,0.00004414617,0.00003218383,0.0001125616,0.0002277357,0.002639713,0.002529534,0.9764749,0.0177092,0.00001768283],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02009517,0.0005708162,0.9259288,0.001032753,0.0003535474,0.0001645141,0.0006769859,0.001101393,0.0500761],"genre_scores_gemma":[0.5915611,0.001305315,0.3749785,0.001360763,0.0006799874,0.0007821226,0.0034633,0.001121634,0.02474723],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007096509,"threshold_uncertainty_score":0.0299859,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01538404305182833,"score_gpt":0.307715587988258,"score_spread":0.2923315449364297,"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."}}