S2S (mathematics)
id:
s2s-mathematics-301-538691
title:
S2S (mathematics)
text:
In mathematics, S2S is the monadic second order theory with two successors. It is one of the most expressive natural decidable theories known, with many decidable theories interpretable in S2S. Its decidability was proved by Rabin in 1969.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/S2S_(mathematics)
date created:
date modified:
2024-04-06T13:38:14Z
main entity:
{"identifier":"Q115826627","url":"https://www.wikidata.org/entity/Q115826627"}
image:
fields total:
13
integrity:
13