{"id":"d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9","name":"Formal Logic","section":"validation","registeredStructure":null,"documentEdition":{"validationRules":null,"canonicalizationRules":null,"workedExamples":null,"expectedDecodedOutputs":null,"runtimeTestResults":null},"provenance":null,"status":"available","warnings":[],"machineAccess":{"structuredContextUrl":"https://cerberusmatryoshka.org/api/public/sk/d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9","readerPlacementsUrl":"https://cerberusmatryoshka.org/api/public/sk/d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9/placements","bitRegistryUrl":"https://cerberusmatryoshka.org/api/public/sk/d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9/bits","validationTestsUrl":"https://cerberusmatryoshka.org/api/public/sk/d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9/validation","specificationStructureUrl":"https://cerberusmatryoshka.org/api/public/sk/d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9/specification"}}