{"id":"W2113885315","doi":"10.1109/lics.2005.51","title":"Temporal Logics over Unranked Trees","year":2006,"lang":"en","type":"article","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Unary operation; Discrete mathematics; Monadic predicate calculus; Computer science; Mathematics; Tree (set theory); Boolean function; Combinatorics; Theoretical computer science; Description logic; Higher-order logic","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.002085338,0.0006263601,0.0005246814,0.001450457,0.001310045,0.003285755,0.001243335,0.0006853492,0.003184253],"category_scores_gemma":[0.00419921,0.0003379904,0.001050537,0.002226777,0.002023635,0.007583343,0.001559183,0.001720831,0.0005369352],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00257297,"about_ca_system_score_gemma":0.001323382,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005029704,"about_ca_topic_score_gemma":0.005261723,"domain_scores_codex":[0.9977269,0.0004909943,0.0002555279,0.0004388984,0.0008186154,0.0002690735],"domain_scores_gemma":[0.9967335,0.001688027,0.000471753,0.0002870087,0.0005850104,0.0002347141],"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.00004039785,0.00002599989,0.0003054791,0.00008591849,0.00001177845,0.0002444788,0.0003696602,0.004973769,0.001559636,0.9711676,0.001121451,0.0200937],"study_design_scores_gemma":[0.00002490152,0.00003816153,0.0001627031,0.00003709262,0.00003133313,0.0002367788,0.000218848,0.05035453,0.00323597,0.9256736,0.0199597,0.0000263024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05447824,0.001612793,0.9167625,0.001244043,0.0002619745,0.0001573413,0.0009945617,0.001156889,0.0233317],"genre_scores_gemma":[0.5597453,0.00174528,0.4184828,0.0009318677,0.0004748378,0.0002360513,0.001405415,0.0002419694,0.01673657],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005029704,"threshold_uncertainty_score":0.01866829,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01103269394432214,"score_gpt":0.2323204071626445,"score_spread":0.2212877132183223,"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."}}