{"id":"W1590000758","doi":"10.2298/fil1602469p","title":"Proximal relator spaces","year":2016,"lang":"it","type":"article","venue":"Filomat","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"Natural Sciences and Engineering Research Council of Canada; Türkiye Bilimsel ve Teknolojik Araştırma Kurumu","keywords":"Mathematics; Closure (psychology); Space (punctuation); Extension (predicate logic); Combinatorics; Pure mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.003194283,0.001084232,0.00089363,0.002976662,0.002475191,0.004237573,0.001601205,0.00102253,0.01128971],"category_scores_gemma":[0.004219555,0.0004851308,0.001464602,0.002015449,0.004730321,0.01104074,0.006393756,0.00341575,0.002710598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001901495,"about_ca_system_score_gemma":0.001018038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007276898,"about_ca_topic_score_gemma":0.000688799,"domain_scores_codex":[0.9958071,0.001193152,0.0003018964,0.001158022,0.001165422,0.0003744655],"domain_scores_gemma":[0.9975659,0.0007781102,0.0002853519,0.0004527152,0.0006074628,0.0003104726],"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.00001239458,0.000007802195,0.0001098346,0.00005148462,0.00000918475,0.00005682248,0.0002858954,0.0004646798,0.0003632337,0.9905342,0.0006824628,0.007422086],"study_design_scores_gemma":[0.000010605,0.00005272045,0.0002048046,0.00005417008,0.00001898032,0.0003397274,0.0003872583,0.003302681,0.0009205809,0.9189368,0.07574399,0.00002770148],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02895568,0.005373206,0.8622826,0.00147433,0.0006406176,0.0001615084,0.0007158161,0.000603652,0.0997926],"genre_scores_gemma":[0.5436281,0.004617633,0.3885125,0.001197798,0.001088357,0.0004928221,0.001353533,0.0004432164,0.05866615],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01128971,"threshold_uncertainty_score":0.03776789,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01660230729304342,"score_gpt":0.2366894592841708,"score_spread":0.2200871519911274,"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."}}