Home › Entities › research_grant › Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation

Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation

Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation is a science project.

Event research_grant eu_cordis:787914
Press Enter · cited answer in seconds

Key Facts

  • Start time: November 1, 2018[1]
  • End time: October 31, 2024[2]
  • Participant: Breaking New Ground for Automation — participant (P710): RWTH Aachen University[3]
  • Short name: FRAPPANT[4]
  • Budget: 2,491,250 euro[5]
  • Funding scheme: Breaking New Ground for Automation — funding scheme (P6195): Horizon 2020[6]

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [1] ↑ . wikidata.org.
  2. [2] ↑ . wikidata.org.
  3. [3] ↑ . wikidata.org.
  4. [4] ↑ . wikidata.org.
  5. [5] ↑ . wikidata.org.
  6. [6] ↑ . wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation. Retrieved October 8, 2026, from https://4ort.xyz/entity/formal-reasoning-about-probabilistic-programs-breaking-new-ground-for-automation
MLA “Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Oct. 2026, https://4ort.xyz/entity/formal-reasoning-about-probabilistic-programs-breaking-new-ground-for-automation.
BibTeX @misc{4ortxyz_formal-reasoning-about-probabilistic-programs-breaking-new-ground-for-automation_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation}}, year = {2026}, url = {https://4ort.xyz/entity/formal-reasoning-about-probabilistic-programs-breaking-new-ground-for-automation}, note = {Accessed: 2026-10-08}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation — https://4ort.xyz/entity/formal-reasoning-about-probabilistic-programs-breaking-new-ground-for-automation (retrieved 2026-10-08)

Canonical URL: https://4ort.xyz/entity/formal-reasoning-about-probabilistic-programs-breaking-new-ground-for-automation · Last refreshed: