{"entity":{"id":"e6d5dc57-0ef8-47e1-9c9c-d48b4b799fb8","slug":"synthesizing-correcting-and-improving-code-using-model-checking-based-genetic-programming","wikidata_id":"openalex:W2780260708","name":"Synthesizing, correcting and improving code, using model checking-based genetic programming","wikidata_url":"https://www.wikidata.org/wiki/openalex:W2780260708"},"generated_at":"2026-11-07T04:24:54+00:00","notes":"as_of = the source edition date we serve. stale = edition age > the source's max_staleness SLA in the lake catalog; null = no SLA declared (never guessed). Wikidata-sourced statements are not listed: their lineage is the Wikidata item and its revision history.","sources":[],"facts":[],"conflicts":[],"prov":{"prefix":{"xyz":"https://4ort.xyz/ns/prov#","lake":"https://4ort.xyz/ns/lake#","pub":"https://4ort.xyz/ns/publisher#","mint":"https://4ort.xyz/ns/mint#","prov":"http://www.w3.org/ns/prov#"},"agent":{"xyz:4ort-mint":{"prov:type":"prov:SoftwareAgent","prov:label":"4ort-mint"}}},"corrections":"https://4ort.xyz/corrections"}