Cite This Page
Bibliographic details for 20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG)
- Page name: 20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG)
- Author: WikiPatents contributors
- Publisher: WikiPatents, .
- Date of last revision: 9 February 2024 03:31 UTC
- Date retrieved: 25 June 2024 23:29 UTC
- Permanent URL: http://wikipatents.org/index.php?title=20240045791._System_and_method_for_generating_failing_tests_from_failed_proofs_simplified_abstract_(Rolos_AG)&oldid=32697
- Page Version ID: 32697
Citation styles for 20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG)
APA style
20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG). (2024, February 9). WikiPatents, . Retrieved 23:29, June 25, 2024 from http://wikipatents.org/index.php?title=20240045791._System_and_method_for_generating_failing_tests_from_failed_proofs_simplified_abstract_(Rolos_AG)&oldid=32697.
MLA style
"20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG)." WikiPatents, . 9 Feb 2024, 03:31 UTC. 25 Jun 2024, 23:29 <http://wikipatents.org/index.php?title=20240045791._System_and_method_for_generating_failing_tests_from_failed_proofs_simplified_abstract_(Rolos_AG)&oldid=32697>.
MHRA style
WikiPatents contributors, '20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG)', WikiPatents, , 9 February 2024, 03:31 UTC, <http://wikipatents.org/index.php?title=20240045791._System_and_method_for_generating_failing_tests_from_failed_proofs_simplified_abstract_(Rolos_AG)&oldid=32697> [accessed 25 June 2024]
Chicago style
WikiPatents contributors, "20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG)," WikiPatents, , http://wikipatents.org/index.php?title=20240045791._System_and_method_for_generating_failing_tests_from_failed_proofs_simplified_abstract_(Rolos_AG)&oldid=32697 (accessed June 25, 2024).
CBE/CSE style
WikiPatents contributors. 20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG) [Internet]. WikiPatents, ; 2024 Feb 9, 03:31 UTC [cited 2024 Jun 25]. Available from: http://wikipatents.org/index.php?title=20240045791._System_and_method_for_generating_failing_tests_from_failed_proofs_simplified_abstract_(Rolos_AG)&oldid=32697.
Bluebook style
20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG), http://wikipatents.org/index.php?title=20240045791._System_and_method_for_generating_failing_tests_from_failed_proofs_simplified_abstract_(Rolos_AG)&oldid=32697 (last visited June 25, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "WikiPatents", title = "20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG) --- WikiPatents{,} ", year = "2024", url = "http://wikipatents.org/index.php?title=20240045791._System_and_method_for_generating_failing_tests_from_failed_proofs_simplified_abstract_(Rolos_AG)&oldid=32697", note = "[Online; accessed 25-June-2024]" }
When using the LaTeX package url (\usepackage{url}
somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred:
@misc{ wiki:xxx, author = "WikiPatents", title = "20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG) --- WikiPatents{,} ", year = "2024", url = "\url{http://wikipatents.org/index.php?title=20240045791._System_and_method_for_generating_failing_tests_from_failed_proofs_simplified_abstract_(Rolos_AG)&oldid=32697}", note = "[Online; accessed 25-June-2024]" }