# floor function (Q56860783)

| Property ID | Property | Value | Value entity | Amount | Unit | Date / from | Until | Rank | Sources |
| --- | --- | --- | --- | ---: | --- | --- | --- | --- | --- |
| P361 | Part of | floor and ceiling functions | Q215193 |  |  |  |  | normal |  |
| P31 | Instance of | idempotent function | Q44106280 |  |  |  |  | normal |  |
| P31 | Instance of | integer-valued function | Q19856468 |  |  |  |  | normal |  |
| P31 | Instance of | rounding | Q663208 |  |  |  |  | normal |  |
| P2534 | Defining formula | \lfloor a \rfloor = \max{\{n \in \mathbb{Z} \mid n \le a\}} |  |  |  |  |  | normal |  |
| P1568 | Definition domain | set of real numbers | Q1174982 |  |  |  |  | normal |  |
| P461 | Opposite of | ceiling function | Q12718884 |  |  |  |  | normal |  |
| P2396 | Image of function | set of integers | Q47007735 |  |  |  |  | normal |  |
| P7235 | In defining formula | \lfloor a \rfloor |  |  |  |  |  | normal |  |
| P7235 | In defining formula | \mathbb{Z} |  |  |  |  |  | normal |  |
| P1889 | Different from | integer part | Q109852010 |  |  |  |  | normal |  |
| P6564 | Brilliant Wiki ID | floor-function |  |  |  |  |  | normal | https://brilliant.org/wiki/floor-function/ |
| P2671 | Google Knowledge Graph ID | /g/122tz_b4 |  |  |  |  |  | normal | https://www.google.com/search?kgmid=/g/122tz_b4 |
| P2812 | MathWorld ID | FloorFunction |  |  |  |  |  | normal | https://mathworld.wolfram.com/FloorFunction.html |
| P12888 | Metamath statement ID | df-fl |  |  |  |  |  | normal | https://us.metamath.org/mpeuni/df-fl.html |
| P6781 | ProofWiki ID | Definition:Floor_Function |  |  |  |  |  | normal | https://proofwiki.org/wiki/Definition%3AFloor_Function |
| P9621 | Treccani's Enciclopedia della Matematica ID | funzione-floor |  |  |  |  |  | normal | https://www.treccani.it/enciclopedia/funzione-floor_(Enciclopedia-della-Matematica) |

Source: https://aidb.si/e/floor-function-Q56860783 — Wikidata (CC0) via AIDb