{"entities":{"Q1177648":{"pageid":1188397,"ns":120,"title":"Item:Q1177648","lastrevid":69835167,"modified":"2026-04-13T10:40:10Z","type":"item","id":"Q1177648","labels":{"en":{"language":"en","value":"A solution to a problem of Urquhart"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20837"}},"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":"Q1177648$E7D8E912-2D69-4B8A-AE54-FC5517C62B3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28f2434039dee5c62e6edba4f4dcd29652966039","datavalue":{"value":{"text":"A solution to a problem of Urquhart","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177648$E498D84C-8E0C-478F-B1EE-C8E1EC6047C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"768dfd34cf8c6fc7aaa4e06d40b867a808fe6fdd","datavalue":{"value":"0743.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177648$A9B39109-1630-4BD6-8A84-4921382D29A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e5184a95bbf45ef9da950601769d203e064cb60","datavalue":{"value":"10.1007/BF00250541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177648$A68069C6-7F19-4E41-B53A-9710B916156B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"038e797dce8577a599953ecaa64cde238c4ac836","datavalue":{"value":{"entity-type":"item","numeric-id":190342,"id":"Q190342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177648$B00AD99E-B074-4347-92AD-1CC1505D010B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177648$D74FF2AB-6536-4AF0-A0C9-243C99C775AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177648$77DA0E30-92BB-4BF3-8D5B-860EED8F0B92","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01a58e8c23a29c814450e5ec36a1e402b50340a9","datavalue":{"value":"This note presents a modal logic containing S4 which has the finite model property, is recursively axiomatizable, but is not decidable; it thus answers a question of Urquhart's positively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177648$6F6F9684-F9ED-44F2-B084-397793480CA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177648$10313334-9768-44E5-927B-9FBA8BEF5D13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7465f7f52ad12eb0a2d4552b5dbfede63cbd2343","datavalue":{"value":"20837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177648$75F04C2C-DF30-4155-8DE7-FF5BDA8E6B37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177648$6B95E587-3C22-466D-8DBD-ED6DD92090FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177648$0C20706A-76F1-4CF7-8433-84D0C7439DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbcce5d958a0130862ba486d8886f3214101b0c","datavalue":{"value":"S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177648$F32136E6-1933-411C-B25D-4B61815CD5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177648$07612DE1-8D4E-45C6-BCC5-879AF3C22319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f3fb1eb6b486d46650c7945ad21ecc2fa088403","datavalue":{"value":"recursively axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177648$B32AFF02-4CC4-49FB-B731-C73D7F2C8877","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177648$B73A527C-0B6D-4A27-A916-F7AC49F11DAF","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":"Q1177648$0849F643-7948-4D6C-84AD-0D29A43457E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177648$4E64ADBC-B4FA-4055-A42E-6AF413156B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc56f2f655fec3b9707505e4f9c356f0c245d319","datavalue":{"value":{"entity-type":"item","numeric-id":3900020,"id":"Q3900020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177648$D16B645D-82D7-46DA-817C-D0803DE4BE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177648$EDD1313C-2278-4356-90DF-F266CF3B5AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede4423fb67f9088d15352c32682860aaaa78b5a","datavalue":{"value":{"entity-type":"item","numeric-id":1154458,"id":"Q1154458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177648$B2990BBD-933C-4293-A305-9C63E083C4F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A solution to a problem of Urquhart","badges":[]}}}}}