Czy w Wikipedii obowiązuje jakaś forma zapisu godzin z minutami? Spotkałem np. - moim zdaniem niedobry - 9.45... Lepszy byłby z dwukropkiem, tzn. 9:45. Ale może jest jakiś inny?

Były na ten temat już dyskusje. Nie chcę szukać linków. Z tego co pamiętam zapis 9.45 oznacza godzinę za kwadrans dziesiąta. Natomiast 9:45 oznacza przedział czasu o rozdzielczości wynikającej z kontekstu. Może to być zarówno 9 minut i 45 sekund albo 9 godzin i 45 minut.

Bardzo dziękuję za odpowiedź.

A jednak muszę coś dopowiedzieć... Proszę sobie obejrzeć dowolną zakładkę "Historia i autorzy" albo dowolny podpis w dyskusji. Tam godziny są podawane w formacie z dwukropkiem; np właśnie 9:45.

Bo tak działa większość systemów. Rada języka polskiego czy słowniki nie regulują tej kwestii. Każdy rodzaj używany powszechnie będzie dobry, ale lepiej zatrzymać się przy kropce czy dwukropku, bo są to 2 z 3 najczęściej używanych konwencji. Jest jeszcze jedna, z minutami w indeksie górnym, ale nie ma co kombinować. Ja zawsze używam dwukropka, bo mogę i tyle.

Jeśli wynik dyskusji nie wyleci do zaleceń encyklopedycznych, zwłaszcza tych "koniecznych", to naprawdę nie musi Cię to interesować.

ISO 8601 czyli zdecydowanie lepiej 9:45