{"id":"W1591780081","doi":"10.2178/bsl/1182353933","title":"Solomon Feferman. <i>Computation on abstract data types. The extensional approach, with an application to streams</i>. <b>Annals of pure and applied logic</b>, vol. 81 (1996), pp. 75–113.","year":2002,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Annals; Extensional definition; STREAMS; Computer science; Computation; Mathematics; Discrete mathematics; Arithmetic; Algorithm; Classics; Biology; History; Computer network","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":[],"consensus_categories":[],"category_scores_codex":[0.0006064986,0.0002833917,0.0003895557,0.00008895376,0.000160322,0.0000734656,0.001296566,0.0001391452,0.00004606927],"category_scores_gemma":[0.00007728288,0.0001774469,0.00004407084,0.0003164543,0.0001819265,0.00008990749,0.0004000031,0.0002089961,0.0001052983],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001431752,"about_ca_system_score_gemma":0.00002622403,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007058072,"about_ca_topic_score_gemma":0.000009027617,"domain_scores_codex":[0.9978741,0.000083086,0.0003968032,0.0008476914,0.0004646787,0.0003335792],"domain_scores_gemma":[0.9978583,0.000185539,0.000344037,0.001195165,0.0002660066,0.0001509546],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005355243,0.004699127,0.000832015,0.000441978,0.0002485437,0.00002258348,0.005721212,0.01512144,0.002603751,0.3981715,0.141531,0.4300713],"study_design_scores_gemma":[0.01011111,0.01190421,0.2316946,0.0008058073,0.0005461111,0.0006264459,0.003113685,0.4445975,0.01244035,0.1164166,0.1613559,0.006387604],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3553143,0.008391213,0.3429031,0.02081667,0.0007753668,0.008311314,0.0002697183,0.001162118,0.2620561],"genre_scores_gemma":[0.9865257,0.0001355316,0.01158159,0.001352642,0.0001418009,0.00005109774,0.00007613581,0.00001852928,0.0001170264],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6312113,"threshold_uncertainty_score":0.7236075,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05652480084469567,"score_gpt":0.2702466826500361,"score_spread":0.2137218818053404,"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."}}