Question: Which Greek-German singer and rapper was featured in the album "4x4=12"?

Context paragraphs:
5 Years of mau5: 5 Years of mau5 is the greatest hits album / remix album by Canadian electronic/dance artist deadmau5.  It was released on November 24, 2014 in celebration of the five-year anniversary of his label, mau5trap.  Like his previous studio album, the retrospective was released in double disc format.  The first disc acts as a greatest hits album encompassing highlights from the past five years of his back catalog, while the second disc serves as a remix album featuring exclusive and new remixes from various artists.  The album artwork features a combination of the 'mau5heads' used in the cover art of his first four studio albums released through the label: "Random Album Title", "For Lack of a Better Name", "4×4=12" and "<a href="Album%20Title%20Goes%20Here"» album title goes here «/a>".

Sofi Needs a Ladder: "Sofi Needs a Ladder" is the third single taken from deadmau5's album, "4×4=12".  The song features vocals from Sofia Toufa, aka Sofi.

Dodge Warlock: The Dodge Warlock, originally a concept vehicle and part of Dodge's late 1970s "adult toys" line, is a wheelbase truck that was produced in limited production in 1976 and regular production from 1977 to 1979.  They were available in 4x2 and 4x4 models.  The 4X4 models were named Power Wagons.  The 1978 models were offered only in black.  There were utiline trucks available in any color.  The warlock only came in black.  Its main draw was that it was a factory customizable truck, also known as a "trick truck", and was designed to appeal to young 4x4 buyers.  The Warlock featured custom wheels, wide tires, bucket seats, a Utiline bed, and oak racks for the bed.  Optional equipment included five-spoke wheels, bucket seats, tinted glass, bright rear bumper, and power steering.  All had black interiors accented by gold tape on the dash and the doors, and a "tuff" steering wheel.  Like the standard pickups, it had front disc brakes, and a standard slant six or a V-8.  The exterior was accented by gold pinstriping around the wheel wells and the body lines.  the pinstriping continued inside onto the doors, dashboard, and instrument panel.  Warlock was printed in gold on the tailgate.  The 1979 model however is different in that it has "Warlock II" printed on the tailgate.  It appears that all normal engine options were available.  It could have come with the standard Slant six, the 318 with either the 2 barrel or 4 barrel carburetor, the 360, the 400, or the 440.  The 318 appears to be the most common engine selected.

Sofia Toufa: Sofia Toufa (born August 13, 1983), known by her stage name SOFI (acronym for Some Other Female Interest), is a Greek-German singer and rapper.  In addition to her solo career, SOFI has provided vocals on tracks by electronic music artists including deadmau5, Moguai and Savoy.

Trial division: Trial division is the most laborious but easiest to understand of the integer factorization algorithms.  The essential idea behind trial division tests to see if an integer "n", the integer to be factored, can be divided by each number in turn that is less than "n".  For example, for the integer n = 12 , the only numbers that divide it are 1, 2, 3, 4, 6, 12.  Selecting only the largest powers of primes in this list gives that 12 = 3 × 4 .

Tatra 816: Tatra T816 is a truck family, produced by Czech company Tatra.  It uses the traditional tatra concept of rigid backbone tube and swinging half-axles giving independent suspension.  The vehicles are available in 4x4, 6x6, 8x8, 10x8, 10x10, 12x8 and 12x12 variants.  The truck was developed from the model T815 to comply with the most demanding off-road conditions.  Originally the T816 range was developed for the purposes of military, however today also civilian applications are available (notably as heavy off-road firefighting trucks.

Pegaso Troner: The Pegaso Troner made its debut at the 1987 Barcelona Motor show and was to be the last truck model developed by the Spanish manufacturer.  Built at Pegaso's Barajas plant, the Troner featured the all-new Cabtec cab developed jointly with DAF Trucks, Pegaso's own 12 litre straight six engine, and 16 speed ZF gearbox.  Initially rated at 360 Bhp, power was later raised to 370 and 400 Bhp, the range encompassing 4x2, 6x2, 6x4, 8x2 & 8x4 rigids and 4x2 and 6x4 tractor units.  For the UK market a 6x2 midlift tractor unit was offered, the conversion engineered by Southworth of Chorley, Lancs.

4x4 (Granger Smith EP): 4x4 is the second extended play by American country music artist Granger Smith.  It serves as his official debut EP to mainstream radio.  The album's first single, "Backroad Song", was released to digital retailers and radio on March 24, 2015.  Also included on the album is a song from his comedic alter-ego "Earl Dibbles Jr.".  This extended play is also a preview of Smith's upcoming debut major label album, "Remington", which was released on March 4, 2016.

Tatra 815: Tatra T815 is a truck family, produced by Czech company Tatra.  It uses the traditional tatra concept of rigid backbone tube and swinging half-axles giving independent suspension.  The vehicles are available in 4x4, 6x6, 8x8, 10x8, 10x10, 12x8 and 12x12 variants.  There are both air-cooled and liquid-cooled engines available with power ranging from 230 - .  As a successor to Tatra T813 it was originally designed for extreme off-road conditions, while nowadays there are also variants designated for mixed (both off- and on-road) use.

4x4 (song): "4x4" is a song by American recording artist Miley Cyrus featuring American rapper Nelly from Cyrus' fourth studio album "Bangerz" (2013).  It was written and produced by Pharrell Williams, with additional songwriting provided by Cyrus and Nelly.  The song is a country rap track that discusses having fun through the metaphor of a 4x4 truck.  The song is sampled in British indie rock band Alt-J's 2014 single "Hunger of the Pine".

Supporting paragraphs: Sofi Needs a Ladder Sofia Toufa
Answer: Sofia Toufa