{"entities":{"Q6834663":{"pageid":16499988,"ns":120,"title":"Item:Q6834663","lastrevid":84293255,"modified":"2026-05-14T18:16:05Z","type":"item","id":"Q6834663","labels":{"en":{"language":"en","value":"Simple tableaus for simple intuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8180312"}},"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":"Q6834663$814BEE69-A5BB-4C25-96B5-2A5EAA60F8F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e053a59e3db590a954e0f24144082dae65a42729","datavalue":{"value":{"text":"Simple tableaus for simple intuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6834663$8864ABB8-FBBF-4BAA-9CC0-91F8A9C33A13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0181626cb9a9d7d7769f47ebeae80c05b73bc30","datavalue":{"value":"10.1215/00294527-2025-0024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6834663$B2115B1A-62FF-4DBA-8424-C0824B7E1D0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$43606190-918C-4091-B649-B7C84800F63E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$F2A7838A-0FDF-4449-BCAF-CC2FA50BA2A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23751f7b8171835045a8fabf127ce50ffc4b821b","datavalue":{"value":{"time":"+2026-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6834663$A09E3EC5-522F-4D3F-8C69-93ECDE40EC9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0362bb2ab0f3c1ffc4d15074632cad9525d8e0ff","datavalue":{"value":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-67/issue-1/Simple-Tableaus-for-Simple-Intuitionistic-Logics/10.1215/00294527-2025-0024.full","type":"string"},"datatype":"url"},"type":"statement","id":"Q6834663$A0DD7710-B793-4E73-94ED-A433DA26E8C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6834663$43C734A4-2456-4241-9A69-91D8C4F39D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6834663$411212D7-CD47-4310-B275-FAFD4E2B621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6834663$BA00F500-CFB1-4CCD-B18E-B65FE2FD7FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6834663$EAA7E554-0B54-469F-A72E-A1AE6BECA44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6834663$6EC5B2B3-0634-4840-A6A7-92F5158ADAD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eb3b7ce9ff81560ffb1ab7295c94dde8cbfd460","datavalue":{"value":"8180312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6834663$5B970B29-1E23-48A2-892A-2F7A71391939","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb14c4659ff4d169eded081a3baaf7bc59c6924","datavalue":{"value":"first-degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6834663$BA0751F7-300B-43C1-8DAB-1396AD3C022D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6834663$D0534556-7C2F-4DCE-B368-6B295A06D5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2bbae042bf7bb24a34d5d3c3311f6cb0cfe348","datavalue":{"value":"logic of paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q6834663$A5BA9F8F-327F-4A6F-AC9E-283C479E3832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c691f91785b5376e4f3d1638e1e2a84223b50d95","datavalue":{"value":"strict-tolerant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6834663$B921F0ED-F732-4453-9EEB-5794C2D1AAF1","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":"Q6834663$F4B75B72-B62C-4871-BCEF-3DA00CE95488","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c8cd0806db217588f65fbab734959000b650dc","datavalue":{"value":{"entity-type":"item","numeric-id":2301322,"id":"Q2301322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$A24D61E5-59D6-450B-8630-9DEA78513883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2c3dd38fb4f31cc6ff0171b4a235ac9803e7c7","datavalue":{"value":{"entity-type":"item","numeric-id":253131,"id":"Q253131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$2383F973-2DA8-4D0F-8E87-26BF3E282DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690ffc00371ab63feb1697aed6a1c684e83effb9","datavalue":{"value":{"entity-type":"item","numeric-id":1309339,"id":"Q1309339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$6DC7201E-CFF2-4F64-AB99-EEAF1D5B9F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b609f1444c9358ed3e8d9f6cc1e187b1b2f37c3","datavalue":{"value":{"entity-type":"item","numeric-id":427233,"id":"Q427233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$1D69FAE9-0EBF-43CA-BF05-C4F9B7BCD37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$28B14A5B-090B-432E-A5B0-0807A84982FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$01869B7C-36D7-4D0B-8359-F0E6D5C2E86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c10d1ebbbf3cf167162cd489952d0951b36d1f","datavalue":{"value":{"entity-type":"item","numeric-id":830368,"id":"Q830368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$92EBD77E-039B-46FD-9C5A-E68C1DDFA004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9ba5173b65fd2a0f96242d3a9b94ef51e05d7d","datavalue":{"value":{"entity-type":"item","numeric-id":5021990,"id":"Q5021990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$EAEA1AEB-9A98-4E2C-B272-DB3383ADD187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3547088211a253d2424fcab15b1bc1aaa6444ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5020168,"id":"Q5020168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$2D0BCC6A-7378-4B8B-90A1-F09E28A5CF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc4804e4585d853058aa656e6b7fcdc88f21a0c","datavalue":{"value":{"entity-type":"item","numeric-id":4999184,"id":"Q4999184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$C841D1C3-D930-4D45-AD98-81AF4437FB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5de332538b864be55d67932e7b8c847d04d1340","datavalue":{"value":{"entity-type":"item","numeric-id":7034191,"id":"Q7034191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$438903AC-F093-45DC-9845-74967A7DC792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$AEDFCD78-BAED-43A9-826B-3C3248A0560A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19be9504a8e8572a2fc7dbbde392a8dacbc9d288","datavalue":{"value":{"entity-type":"item","numeric-id":1834549,"id":"Q1834549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$E824BB31-BBCD-42FD-8CBE-1DC037BC33A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f19fa06fd5f5f17f6780c02c0b3bc22d261679c","datavalue":{"value":{"entity-type":"item","numeric-id":568066,"id":"Q568066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$54CF8C04-B859-4405-8C99-BAFCE97F3328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86941177159722bcbe836105fcd5c87928c92470","datavalue":{"value":{"entity-type":"item","numeric-id":6949254,"id":"Q6949254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$94C3F63C-670C-4056-9711-E7AB486BAE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b44d7e019a1c599f6bc275ca7266b7535d059536","datavalue":{"value":{"entity-type":"item","numeric-id":2610709,"id":"Q2610709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$C7C8B59F-02CF-4F50-A2D6-886BA5A70A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$D3D24F4B-E2F7-4AC5-84F5-E8123F760F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7649a464defc954d84f8361fde25be61b415a1ef","datavalue":{"value":{"entity-type":"item","numeric-id":1986084,"id":"Q1986084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$5F3396FF-ABEF-47FF-B0FF-BACC441F9DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033624a7007e7f19014ffd926803b277854e28c1","datavalue":{"value":{"entity-type":"item","numeric-id":5729293,"id":"Q5729293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$D36FB615-11A6-4587-B486-C81C9AA7E5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a17d42e7a2f4c5d6b2e07f46cdc04ae34b22348","datavalue":{"value":{"entity-type":"item","numeric-id":5596743,"id":"Q5596743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$7603E4CC-7D43-42FD-A927-AB1DB325187E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b84fc01ec7d99ba6fecc5c648223dc64c7c076","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6834663$D2F21F3A-504C-46A2-A172-13B1C6ACAFF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple tableaus for simple intuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_tableaus_for_simple_intuitionistic_logics"}}}}}