← Zurück zum KI-EvidenznetzDauerhaftes öffentliches EvidenzdossierFOR
On the Complexity of the Skolem Problem at Low Orders
output:384f02f1e5bf6c2c561cc060Dieses Dossier bewahrt eine Entität, ihre veröffentlichten Attribute, jede direkte Kante und die tragenden Quellstände unter einer stabilen URL.
Identität reicht nur so weit wie die veröffentlichte stabile Kennung oder ausdrückliche Zuordnung. Ähnliche Namen werden nicht zusammengeführt. Fehlende Verbindungen bedeuten: in den begrenzten Quellen nicht beobachtet – nicht in Wirklichkeit abwesend.
Identität ≠ Namensähnlichkeit · Kante ≠ KausalitätJede direkte Verbindung mit ihrem Beleg
Beziehungsbezeichnung und Evidenzklasse beschreiben die gesamte Aussage. Prüf den Quellbeleg, bevor du eine weitergehende Schlussfolgerung ziehst.
edge:project-output:101167561:384f02f1e5bf6c2c561cc060Beziehunghat beobachteten Forschungsoutput
→ProjektDynAMiCs · Dynamical and Arithmetical Model Checking
CORDIS-Projektcode
Kein zusätzlicher Textauszug veröffentlicht.
Quelle öffnen ↗Felder, die an dieser Identität bleiben
Attribute sind beschreibende Quellfelder. Sie erzeugen keine datensatzübergreifende Identität, solange eine Kante diesen Join nicht ausdrücklich ausweist.
- Citation Count
- 0
- Is Open Access
- true
- Open Aire Id
- doi_dedup___::1f3d5013ee2c279ae09d55f492468054
- Output Type
- publication
- Persistent Identifiers
- 2507.11234 · 10.1137/1.9781611978971.191 · 10.48550/arxiv.2507.11234 · 21.11116/0000-0012-51E2-1 · 21.11116/0000-0012-51E4-F
- Publication Date
- 2026-01-01
Prüf die Quellstände
Ein Quellstand beschreibt, was zum Abrufzeitpunkt verfügbar war. Korrekturen und spätere Veröffentlichungen können künftige Beobachtungen verändern.
german-ai-research-to-transfer-indexdoi_dedup___::1f3d5013ee2c279ae09d55f492468054 · openaire_research_product_id
↗Originalquelle öffnengerman-ai-research-to-transfer-index101167561:output:384f02f1e5bf6c2c561cc060 · cordis_project_code
↗Originalquelle öffnenZurück ins vollständige Evidenznetz
Durchsuch alle veröffentlichten Entitäten, prüf Ein-Hop-Nachbarschaften und finde die Brücken, die öffentliche Daten noch nicht tragen.