{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001145335,0.000510061,0.0005106811,0.0005422549,0.0005311883,0.001463502,0.004605596,0.000262792,0.0001533436],"category_scores_gemma":[0.0001507217,0.000352427,0.0001555109,0.0005457237,0.0007587182,0.001921537,0.002200089,0.0008612941,0.000257199],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007583072,"about_ca_system_score_gemma":0.0005115108,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002475432,"about_ca_topic_score_gemma":0.000001330124,"domain_scores_codex":[0.9966778,0.00003873926,0.0008721445,0.0008456706,0.0009174951,0.0006482012],"domain_scores_gemma":[0.9967715,0.0006937609,0.0005762688,0.001629174,0.0001655059,0.0001637541],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002085469,0.0000311054,0.000005339565,0.0001958162,0.00001294769,0.00002615238,0.009849163,0.00184962,0.000006198788,0.4244516,0.0002548501,0.5633152],"study_design_scores_gemma":[0.00007603111,0.00002939231,0.000007001642,0.0004833566,0.000005251708,0.0001083092,4.690795e-7,0.4545017,0.0004172148,0.5416515,0.002376214,0.0003434877],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002101046,0.000336455,0.9313605,0.0008794822,0.000916893,0.0002993128,9.706004e-7,0.0003175174,0.06586783],"genre_scores_gemma":[0.02713038,0.00005971795,0.9652025,0.005410858,0.0006533045,0.000005864921,0.000002831782,0.00006136664,0.001473192],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5629717,"threshold_uncertainty_score":0.9998928,"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."}}