http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://yago-knowledge.org/resource/Alternating_Turing_machine Alternating Turing machine http://yago-knowledge.org/resource/B_u002C__C_u002C__K_u002C__W_system B u002C C u002C K u002C W http://yago-knowledge.org/resource/Cell-probe_model Cell-probe model http://yago-knowledge.org/resource/Circuit__u0028_computer_science_u0029_ Circuit u0028 computer http://yago-knowledge.org/resource/Model_of_computation Model of computation http://yago-knowledge.org/resource/Power-flow_study Power-flow study http://yago-knowledge.org/resource/Quantum_circuit Quantum circuit http://yago-knowledge.org/resource/SKI_combinator_calculus SKI combinator calculus