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: 7 June 2024 06:21 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 06:21, June 7, 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. 7 Jun 2024, 06:21 <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 7 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 7, 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 7]. 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 7, 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 7-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 7-June-2024]" }