ATProto Browser

Record data

{
  "uri": "at://did:plc:mvjpulmrycnajuajriksd5mu/app.bsky.feed.post/3llhyq7wajs24",
  "cid": "bafyreibzt7xx5vhhnkjwsk5pm23qmry6hk3jrzhkajg2k5tvw3cnwbwc6q",
  "value": {
    "text": "I.e. \"A -> B\" is the thing that \"is\" the entailment judgment A |- B in propositional form. It \"internalizes\" the judgment.",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreihlicidm3vqgt7bqt4wjr4zqpnrxgrl6nahhglp2ab5a24zegldjy",
        "uri": "at://did:plc:mss5l446ynjlw6e67y6u5fsq/app.bsky.feed.post/3llhsvvvn4c24"
      },
      "parent": {
        "cid": "bafyreiefwfukjchu7idzemqueykymyvua4ss5h6wgagrta33d53j7wng3e",
        "uri": "at://did:plc:mvjpulmrycnajuajriksd5mu/app.bsky.feed.post/3llhyp2pkxs24"
      }
    },
    "createdAt": "2025-03-28T23:46:03.244Z"
  }
}