Event JSON
{
"id": "a1c173a95d38968cda81601a1f228f92bc155ab2d02be2eeb0c0f32b0f29a75a",
"pubkey": "1077dd98df2bda054b0f036bcb875522655364a184a5f1d331ecdc61e4cf840d",
"created_at": 1728803721,
"kind": 1,
"tags": [
[
"t",
"pdf"
],
[
"t",
"plt"
],
[
"proxy",
"https://botsin.space/users/lobsters/statuses/113298880714804480",
"activitypub"
]
],
"content": "Can Logic Programming Be Liberated from Predicates and Backtracking? https://lobste.rs/s/nniiar #pdf #plt\nhttps://www-ps.informatik.uni-kiel.de/~mh/papers/WLP24.pdf",
"sig": "0c3f06b4652a6fb79d276bd2f67da439132c5564d4a489a604fb435da808765a3ffeae64dd613a537cdad436f7525f2c638db3399f684168bb79bcf6a49c0e88"
}