Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Nano_JSON/   (Sammlung formaler Beweise Version 2026-5©)  Datei vom 31.4.2026 mit Größe 268 B image not shown  

Quelle  example.json   Sprache: unbekannt

 
Spracherkennung für: .json vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

{"menu": {
  "id": "file",
  "value": "File",
  "popup": {
    "menuitem": [
      {"value": "New", "onclick": "CreateNewDoc()"},
      {"value": "Open", "onclick": "OpenDoc()"},
      {"value": "Close", "onclick": "CloseDoc()"}
    ]
  }
}, "flag":true, "number":42}

[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-06-10]