Proof of a computer program's functionality using a quantum computer and a proof assistant

WO2025252383 Art A1 11. Dezember 2025

Anmelder: BUNDESDRUCKEREI GMBH 🇩🇪

Details

Veröffentlichungs-Nr.: WO2025252383
Aktenzeichen: EP25724519
Anmeldetag: 8. Mai 2025
Veröffentlichung: 11. Dezember 2025
Rechtsraum: WO
IPC: G06N10/20G06N10/60

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: BUNDESDRUCKEREI GMBH
Land: 🇩🇪 Deutschland

🇩🇪 Bundesdruckerei

Deutsches Unternehmen mit Sitz in Berlin, das Sicherheitsdokumente, Identitätslösungen und Systeme zur digitalen Identifikation für Behörden und Institutionen entwickelt und herstellt.

1.325 Patente in unserer Datenbank

Fachgebiete

Software & Datenverarbeitung

Vertreten von