<http://experiment.worldcat.org/entity/work/data/354742387#Topic/recursie> <http://schema.org/name> "Recursie." .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/recursie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_rutgers_university> <http://schema.org/name> "DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996 : Rutgers University)" .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_rutgers_university> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_rutgers_university> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_1996_dimacs> <http://schema.org/name> "DIMACS Workshop on Proof Complexity and Feasible Arithmetics (1996 : DIMACS)" .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_1996_dimacs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_1996_dimacs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/bewijstheorie> <http://schema.org/name> "Bewijstheorie." .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/bewijstheorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_demonstration> <http://schema.org/name> "théorie démonstration." .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_demonstration> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_demonstration> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85031452> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/354742387#Topic/recursie> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804028821> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://id.worldcat.org/fast/972355> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/name> "Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996"@en .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/name> "Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996" .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_piscataway_nj> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_rutgers_university> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexiteit> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_complexite> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/493478670> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/genre> "Congressi" .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632633076> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/name> "Proof complexity and feasible arithmetics" .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/name> "Proof complexity and feasible arithmetics"@en .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_de_la_demonstration_congres> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2632633076> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2641380014> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/name> "Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 ; [contains papers from the DIMACS Workshop on Feasible Arithmetics and Length of Proofs, which was part of the DIMACS special year on logic and algorithms]" .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://viaf.org/viaf/169401409> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/246904949> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/354742387#Organization/workshop_on_feasible_arithmetics_and_length_of_proof_1996_n_b> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_1996_dimacs> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/614375923> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/name> "Proof complexity and feasible arithmetics : DIMACS workshop april 21-24, 1996" .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/354742387#Organization/american_mathematical_society> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/848877357> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/222122835> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://id.worldcat.org/fast/1078942> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/474892492> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/name> "Proof complexity and feasible arithmetics : DIMACS workshop [on Feasible Arithmetics and Length of Proofs], April 21-24, 1996" .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/314939905> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/37465135> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101219> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_new_brunswick_nj_us_1996> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/author> <http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_lenght_of_proofs_1996_rutgers_n_j> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/728077545> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029473> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107437> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://id.worldcat.org/fast/871991> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/354742387#Topic/bewijstheorie> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/610512822> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_special_year_on_logic_and_algorithms_1995_1996> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2641380014> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://viaf.org/viaf/217788938> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/name> "Proof complexity and feasible arithmetics : papers" .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n90695869> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/354742387#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_piscataway_n_j> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85066082> .
<http://worldcat.org/entity/work/id/354742387> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://id.worldcat.org/fast/876172> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n93087337> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/name> "Proof complexity and feasible arithmetics : Dimacs Workshop April 21-24,1996" .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/354742387#Topic/mathematiques_constructives_congres> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexite_de_calcul_informatique_congres> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/workExample> <http://www.worldcat.org/oclc/467596547> .
<http://worldcat.org/entity/work/id/354742387> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexite_calcul> .
<http://experiment.worldcat.org/entity/work/data/354742387.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/354742387.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/354742387> .
<http://experiment.worldcat.org/entity/work/data/354742387#Organization/workshop_on_feasible_arithmetics_and_length_of_proof_1996_n_b> <http://schema.org/name> "Workshop on Feasible Arithmetics and Length of Proof (1996, N.B.)" .
<http://experiment.worldcat.org/entity/work/data/354742387#Organization/workshop_on_feasible_arithmetics_and_length_of_proof_1996_n_b> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/mathematiques_constructives_congres> <http://schema.org/name> "Mathématiques constructives Congrès." .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/mathematiques_constructives_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_de_la_demonstration_congres> <http://schema.org/name> "Théorie de la démonstration Congrès." .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_de_la_demonstration_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexite_de_calcul_informatique_congres> <http://schema.org/name> "Complexité de calcul (informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexite_de_calcul_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_lenght_of_proofs_1996_rutgers_n_j> <http://schema.org/name> "DIMACS workshop on feasible arithmetics and lenght of proofs (1996 : Rutgers, N. J.)" .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_lenght_of_proofs_1996_rutgers_n_j> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_lenght_of_proofs_1996_rutgers_n_j> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996> <http://schema.org/name> "DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996)" .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/354742387#Organization/american_mathematical_society> <http://schema.org/name> "American Mathematical Society." .
<http://experiment.worldcat.org/entity/work/data/354742387#Organization/american_mathematical_society> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/354742387#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_piscataway_n_j> <http://schema.org/name> "Center for Discrete Mathematics and Theoretical Computer Science (Piscataway, N.J.)" .
<http://experiment.worldcat.org/entity/work/data/354742387#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_piscataway_n_j> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_piscataway_nj> <http://schema.org/name> "DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996 ; Piscataway, NJ)" .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_piscataway_nj> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_piscataway_nj> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_special_year_on_logic_and_algorithms_1995_1996> <http://schema.org/name> "DIMACS Special Year on Logic and Algorithms (1995-1996)" .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_special_year_on_logic_and_algorithms_1995_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_special_year_on_logic_and_algorithms_1995_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_complexite> <http://schema.org/name> "théorie complexité." .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_complexite> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_new_brunswick_nj_us_1996> <http://schema.org/name> "DIMACS Workshop on Proof Complexity and Feasible Arithmetics (New Brunswick, NJ US) (1996)." .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_new_brunswick_nj_us_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_new_brunswick_nj_us_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexite_calcul> <http://schema.org/name> "complexité calcul." .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexite_calcul> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexiteit> <http://schema.org/name> "Complexiteit." .
<http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexiteit> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .