{"entities":{"Q6851678":{"pageid":20606731,"ns":120,"title":"Item:Q6851678","lastrevid":75073648,"modified":"2026-04-17T18:18:10Z","type":"item","id":"Q6851678","labels":{"en":{"language":"en","value":"Intuitionistic S4 is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8165597"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851678$969F4D2F-9CEF-44F1-8D78-012E74DDC2F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f9d87265f45901209f3af765d0765eb626dd912","datavalue":{"value":{"text":"Intuitionistic S4 is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6851678$D5AD32E5-FCC0-40B1-B552-614439945CC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca0513893d9065738fe48a98b9614ce8cbfaa216","datavalue":{"value":"10.1109/LICS56636.2023.10175684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851678$CACC1804-1E50-4330-B883-1ED0C6A50604","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e045518f6e12ef3786440340940f9f65ccbcbda","datavalue":{"value":{"entity-type":"item","numeric-id":1694455,"id":"Q1694455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851678$9F725B2F-D470-4522-8667-E032AF174C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851678$C36685E4-6121-4332-AC5C-01316CF33B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"749da45a046df78df31a8068066ac46a7099b035","datavalue":{"value":{"entity-type":"item","numeric-id":1694450,"id":"Q1694450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851678$CEAE8C80-1D9D-4B7E-BDC3-0A09E0C22594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e8372128c168896ad5dd52ee0e5195506c0bb41","datavalue":{"value":{"entity-type":"item","numeric-id":3382813,"id":"Q3382813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851678$8D8CCA66-5F04-4689-B2FA-30F62740D6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851678$EB59C520-0102-46D1-B644-7C9FA85427B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"455f298c112ba20f52f406cc26c4adef06de280f","datavalue":{"value":{"time":"+2026-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6851678$28B38CE7-95FC-400F-A882-FD9014DFF0AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851678$A8EDAF19-75CC-4CD2-B49A-DC4B5D4770E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d56ebca804b4987ee2d86a7a48f2ffc6ab731ed","datavalue":{"value":"8165597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851678$E56D5B93-4E52-404E-8673-0A5107E75229","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851678$EFB5229A-87FA-49D7-9DBE-24343D4B95C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic S4 is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_S4_is_decidable"}}}}}