About: dbpedia-fr:PSPACE

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:PSPACE Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	PSPACE (fr) PSPACE (de) PSPACE (nl) PSPACE (pl) Клас складності PSPACE (uk) Класс PSPACE (ru) بيسبايس (ar)
rdfs:comment	En informatique théorique, plus précisément en théorie de la complexité, PSPACE est la classe de complexité des problèmes de décision décidés par une machine de Turing déterministe avec un espace polynomial. (fr)
sameAs	dbr:PSPACE wikidata:Q500716 dbpedia-ar:بيسبايس dbpedia-ca:PSPACE dbpedia-de:PSPACE dbpedia-es:PSPACE dbpedia-he:PSPACE dbpedia-it:PSPACE dbpedia-ja:PSPACE dbpedia-ko:PSPACE dbpedia-nl:PSPACE dbpedia-nn:PSPACE dbpedia-no:PSPACE dbpedia-pl:PSPACE dbpedia-pt:PSPACE dbpedia-ru:Класс_PSPACE dbpedia-sr:PSPACE dbpedia-uk:Клас_складності_PSPACE dbpedia-vi:PSPACE dbpedia-zh:PSPACE http://g.co/kg/m/09sw7 http://ma-graph.org/entity/197685441
Wikipage page ID	6773397 (xsd:integer)
Wikipage revision ID	179401587 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Adi_Shamir CTL* Propositional calculus First-order logic category-fr:Classe_de_complexité dbpedia-fr:Classe_de_complexité Space complexity EXPSPACE EXPTIME Regular expression dbpedia-fr:Formule_booléenne_quantifiée Generalized geography dbpedia-fr:Hex Polynomial hierarchy dbpedia-fr:IP_(complexité) Theoretical computer science dbpedia-fr:Logique_contrainte dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_modale dbpedia-fr:Logique_temporelle_linéaire Turing machine Alternating Turing machine dbpedia-fr:Morpion_(jeu) dbpedia-fr:NEXPTIME NL (complexity) NP (complexity) Reversi Automated planning and scheduling dbpedia-fr:Polynôme dbpedia-fr:Problème_NP-complet dbpedia-fr:Problème_de_décision dbpedia-fr:Problème_de_plus_court_chemin dbpedia-fr:STRIPS dbpedia-fr:Système_de_preuve_interactive dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Théorème_d'Immerman-Szelepcsényi Savitch's theorem dbpedia-fr:Vérification_de_modèles
page length (characters) of wiki page	10129 (xsd:nonNegativeInteger)
dct:subject	category-fr:Classe_de_complexité
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Langue dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Référence_nécessaire dbpedia-fr:Modèle:Complexity_Zoo dbpedia-fr:Modèle:Computational_Complexity_(Arora_et_Barak)
prov:wasDerivedFrom	wikipedia-fr:PSPACE?oldid=179401587&ns=0
foaf:depiction
prop-fr:fin	P#pspace (fr)
prop-fr:nom	PSPACE (fr)
thumbnail	wiki-commons:Special:FilePath/Complexity_subsets_pspace.svg?width=300
foaf:isPrimaryTopicOf	wikipedia-fr:PSPACE
has abstract	En informatique théorique, plus précisément en théorie de la complexité, PSPACE est la classe de complexité des problèmes de décision décidés par une machine de Turing déterministe avec un espace polynomial. (fr)
is part of	E (complexity)
is dbo:wikiPageWikiLink of	Online machine learning Heyting algebra dbpedia-fr:Automate_de_Büchi dbpedia-fr:Automate_temporisé dbpedia-fr:Boucle_causale CTL* dbpedia-fr:Classe_de_complexité Complete (complexity) Kolmogorov complexity Descriptive complexity theory Space complexity DSPACE EXPSPACE

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software