Carine
CARINE (Computer Aided Reasoning Engine) is a first-order classical logic automated theorem prover.
CARINE (Computer Aided Reasoning Engine) is a first-order classical logic automated theorem prover. It was initially built for the study of the enhancement effects of the strategies delayed clause-construction (DCC) and attribute sequences (ATS) in a depth-first search based algorithm. CARINE's main search algorithm is semi-linear resolution (SLR) which is based on an iteratively-deepening depth-first search (also known as depth-first iterative-deepening (DFID)) and used in theorem provers like THEO. SLR employs DCC to achieve a high inference rate, and ATS to reduce the search space.
Adapted from Wikipedia, CC BY-SA 4.0.
Worth seeing in and around Carine
One place within 25 km that the world writes about, in the order of how widely: the ones a visitor has heard of first, then the ones only a local would name.
- 01Karrinyup Shopping Centre
Karrinyup Shopping Centre is a shopping centre built in 1973 in Karrinyup, a suburb of Perth. The centre is one of the largest shopping centres in Western Australia.
2.7 km · shopping mall in Western Australia, Australia · Wikipedia
Ranked by the number of language editions of Wikipedia with an article on each, from Wikidata; the sentences are the openings of those articles, CC BY-SA 4.0.
Getting to Carine
- Airports
- Perth (PER), 20 km
- Stations
- Greenwood railway station, 3.9 km · Karrinyup bus station, 2.9 km · Warwick railway station, 1.6 km
- Port Hedland → Carine1313 km · quickest by air, 5h 53m · A$290–440
- Plan a tripFrom anywhereThe planner compares every way there from wherever you are.
Road and air are today’s quick answer; timetabled trains, buses and ferries load on the results page from the operators’ feeds.
No local-transport research exists yet for Carine
Our researched notes are written from a sourced entry: every shared taxi, boat and village bus with its operator, its rule, its fare and the year we saw it, and what could not be confirmed. Nobody has done that work for Carine. What is above is what we hold from open sources; nothing here pretends to be more.
- Get aroundA paper ticket purchasable from ticket machines at train stations and ferry jetties, and from bus drivers.
- Get aroundA ferry service operates between Elizabeth Quay in the city and Mends Street Jetty in South Perth.
- Get aroundElizabeth Quay train station is adjacent to the ferry terminal.
- Get aroundLocal Bicycle Routes (a series of on-road routes and some suburban off-road sections that run through parks).
- Go nextIt's a favourite place for day trips and overnight getaways from Perth, and once the home of Bushranger Moondyne Joe.
From Wikivoyage: Perth, CC BY-SA. Not yet checked by us; that article was last edited 2026-09.
- 012,026 km
- 022,571 km
- 032,613 km
- 043,030 km
- 053,060 km
If you know how people move in Carine – the stand, the rule, the fare – tell us, and the note gets an entry.
Next door to Carine
Carine is 13 km from Perth, the nearest large city, whose note carries the wider picture.
- Triggsuburb of Perth, Western Australia3.1 km
- Karrinyupsuburb of Perth, Western Australia2.6 km
- North Beachsuburb of Perth, Western Australia2.5 km
- Watermans Baysuburb of Perth, Western Australia2.3 km
- Gwelupsuburb of Perth, Western Australia3.1 km
- Duncraigsuburb of Perth, Western Australia2.2 km