{"id":"W1667884652","doi":"10.1007/978-3-642-22673-1_11","title":"Licensing the Mizar Mathematical Library","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Mathematics, Computing, and Information Processing","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"License; Computer science; Term (time); Library science; World Wide Web","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.003597,0.0005327102,0.0007744163,0.004537816,0.005523678,0.01217712,0.001710112,0.002291808,0.05110142],"category_scores_gemma":[0.01412861,0.0007740112,0.0007307652,0.004465778,0.005058961,0.01420197,0.005589223,0.003474019,0.03392238],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004898284,"about_ca_system_score_gemma":0.004477733,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00186551,"about_ca_topic_score_gemma":0.002545995,"domain_scores_codex":[0.995516,0.00112931,0.0004994731,0.0004441046,0.002066601,0.0003445254],"domain_scores_gemma":[0.9928161,0.002418811,0.0005182281,0.001889564,0.001914088,0.0004431946],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002558496,0.00001627894,0.0001878842,0.0002798181,0.000008900768,0.0001077244,0.001083507,0.0002249711,0.0005619943,0.810822,0.1121581,0.07452335],"study_design_scores_gemma":[0.00000436685,0.000008485356,0.0001421806,0.00008751292,0.000007995015,0.0002356285,0.0001202777,0.0003387945,0.0008807338,0.04145413,0.9566999,0.00001987311],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.006761274,0.0212665,0.06826772,0.01799974,0.003019872,0.0001196317,0.0009854635,0.005053202,0.8765267],"genre_scores_gemma":[0.1608949,0.0222793,0.05729115,0.009081129,0.005550283,0.000301253,0.00182375,0.004633138,0.738145],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.05110142,"threshold_uncertainty_score":0.1709512,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.022569339107038,"score_gpt":0.2260640317372155,"score_spread":0.2034946926301774,"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."}}