{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibpbvsfuhr23dyfu2xz47mxcufku4tzlmh6khyhlqf4jfcb67gsua",
    "uri": "at://did:plc:6t55zewcvauifrt5ts3usclu/app.bsky.feed.post/3mfxskoiar572"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreidzsnwx52nlqpxvth32go6wiq7mz6lihq7uuvqj7yoc2qun4xurni"
    },
    "mimeType": "image/png",
    "size": 6035
  },
  "path": "/questions/508636/the-strength-of-weak-weak-koenigs-lemma-for-certain-formula-classes",
  "publishedAt": "2026-02-28T18:28:11.000Z",
  "site": "https://mathoverflow.net",
  "title": "The strength of weak weak Koenig's lemma for certain formula classes – mathoverflow.net",
  "updatedAt": "2026-02-28T19:51:52.000Z"
}