{"entities":{"Q18567":{"pageid":18625,"ns":120,"title":"Item:Q18567","lastrevid":19216,"modified":"2025-02-13T02:11:08Z","type":"item","id":"Q18567","labels":{"en":{"language":"en","value":"Theory of formal systems"}},"descriptions":{"en":{"language":"en","value":"published work from 1989"}},"aliases":{},"claims":{"P18":[{"mainsnak":{"snaktype":"value","property":"P18","hash":"88a6f7e50b76d88716f75d4ab90b5d80b6cf315a","datavalue":{"value":"RE451557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18567$98EE3E10-82EF-2D37-05AD-075878AC6D32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d472af6e57915ebd1d37823d8d772a43886c26a8","datavalue":{"value":"1989","type":"string"},"datatype":"string"},"type":"statement","id":"Q18567$228021CA-8190-DEE5-81C4-B57B1C479588","rank":"normal"}],"P3":[{"mainsnak":{"snaktype":"value","property":"P3","hash":"e99c137ead2d7b2817b469a6d9707ff775823bbe","datavalue":{"value":"Theory of formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q18567$43658EBD-5C9C-2A7F-E057-70D882DC5473","rank":"normal"}],"P4":[{"mainsnak":{"snaktype":"value","property":"P4","hash":"6547af4f2173250e8b8ba8343e90fb7537631a45","datavalue":{"value":"Raymond M. Smullyan","type":"string"},"datatype":"string"},"type":"statement","id":"Q18567$FC3C0A06-63FE-1548-1C29-32E266880A34","rank":"normal"}],"P5":[{"mainsnak":{"snaktype":"value","property":"P5","hash":"9d74e6827c8d4695720cae7ca5cefd62cec82b09","datavalue":{"value":"A501010","type":"string"},"datatype":"string"},"type":"statement","id":"Q18567$1031A5F0-23A1-399D-7B29-CE1BF0F7CACA","rank":"normal"}],"P20":[{"mainsnak":{"snaktype":"value","property":"P20","hash":"610b0631620b642c40699dc2f35a3ab9a65f20f1","datavalue":{"value":"4Dec89","type":"string"},"datatype":"string"},"type":"statement","id":"Q18567$0672D418-FB68-E6E5-D825-5233135283A4","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"3078e5d041c43286b86e0745f202e52800fcea64","datavalue":{"value":"16Mar61","type":"string"},"datatype":"string"},"type":"statement","id":"Q18567$6933479B-79D5-9B74-3AF2-EB8349F69B90","rank":"normal"}],"P8":[{"mainsnak":{"snaktype":"value","property":"P8","hash":"84c24b7229f29a7829d5f36410ac25239bd269b9","datavalue":{"value":"Raymond M.  Smullyan (A)","type":"string"},"datatype":"string"},"type":"statement","id":"Q18567$41429F3E-EF9C-6C48-6C33-B402CC588384","rank":"normal"}],"P9":[{"mainsnak":{"snaktype":"value","property":"P9","hash":"62c9c3e6edf31cc061551e932b033737e4a1b4fb","datavalue":{"value":"A","type":"string"},"datatype":"string"},"type":"statement","id":"Q18567$78B2FA89-64FD-2B3C-63B8-23B9D2D6C16B","rank":"normal"}]},"sitelinks":{}}}}