{"entities":{"Q1097259":{"pageid":1108011,"ns":120,"title":"Item:Q1097259","lastrevid":66967464,"modified":"2026-04-12T14:03:02Z","type":"item","id":"Q1097259","labels":{"en":{"language":"en","value":"One superintuitionistic calculus of propositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033704"}},"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":"Q1097259$15702344-DB6B-4587-9733-CF9F4F95ACDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49a40caffa67063358b0d4803b08e44e6795a391","datavalue":{"value":{"text":"One superintuitionistic calculus of propositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097259$08E33E44-C409-436A-A63F-84EE5E2FC5EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"818a8c73d5200ab72e1f8018bf598ea83425c967","datavalue":{"value":"0635.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097259$D95D84F7-DF9E-4983-8E33-5FBB9E8CE2BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd4cd7869784d1f9760a187cc5c84cf9b0e107c7","datavalue":{"value":"10.1007/BF01979880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097259$7C0D5EF3-CC05-4340-813D-DFB8F94A7716","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097259$28E319DA-01B1-409A-999F-8BA31B396993","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1097259$0D76B5F8-8F63-4D0C-BC7F-BC91E1E168B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0575ff2a629bed698449b06e8e8a269627b1c5dd","datavalue":{"value":"https://eudml.org/doc/187309","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097259$E9767F34-4D9B-44CE-A0C8-A3369502385E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4aaaa0839699c658cfe00eeb7b6a7acd720b796a","datavalue":{"value":"This paper deals with a propositional superintuitionistic logic L treated in \\textit{S. V. Popov}'s paper [Algebra Logika 20, 654-706 (1981; Zbl 0528.03028)]. Though Popov presented L as an example of an undecidable logic, the author proves that a problem mentioned to be undecidable in Popov's proof is decidable. The author comments that the undecidability of L remains still open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097259$9898477F-50F8-462D-B1EE-511C53CD661A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097259$4452D633-AC32-4CDA-A087-5BEEFFED9D4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0984225d5fe4080e03af7c229c9925ea83ef671","datavalue":{"value":"4033704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097259$14D604D5-3AC4-4EBA-9218-12CA250B72E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097259$D434081C-C1AD-4E9D-8A63-C1071F3D4074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c812b4b7f3de702ddbbe29c65c9471dff125c0","datavalue":{"value":"propositional superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097259$A22F546C-706F-4E9B-8360-70F1477592CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e5c7a0fa17b322a9e2262053ffff4fc6798d1e","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097259$B4A23366-9D02-434F-AE7D-9825115BD05E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"851bf76d21f8adc9231295bc43bb317620bc1e90","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097259$B233E872-8C32-4B7B-9E12-8E37718D0F68","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":"Q1097259$525E6F25-33F8-41AF-9CAC-0924E08D2D0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a451d1be8b9606fefbb7deb910a5a156a66d43d","datavalue":{"value":"W2011675889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097259$BF86CD83-4AA9-4D00-BBC7-33876F3658AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e29546be3e8574f3e84170fe92d3503baa4a059","datavalue":{"value":{"entity-type":"item","numeric-id":4866422,"id":"Q4866422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f8b858879629312634f29232f978bf1b8093e5","datavalue":{"value":{"amount":"+0.8227635622024536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097259$D67CE206-6DA3-404B-B71E-8DB511CFA4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c18afeaeea352885a6741509c4ac8b71c1a0717","datavalue":{"value":{"entity-type":"item","numeric-id":2259003,"id":"Q2259003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add64d7735781c15009e3707d40ed40ff6408826","datavalue":{"value":{"amount":"+0.8039812445640564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097259$AC553400-1461-4F0E-BBB7-2685352500BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8763d81cc2ad81db6f4d781c65fe123169964321","datavalue":{"value":{"entity-type":"item","numeric-id":4644570,"id":"Q4644570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d244ef82d839fbe8eb04cf3b968bf4c2e4918574","datavalue":{"value":{"amount":"+0.7970119118690491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097259$A41CA9A2-EFCC-4F2F-902C-D6D888F823A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d353193d645f492418de14fa5d803186eb43d85","datavalue":{"value":{"entity-type":"item","numeric-id":609765,"id":"Q609765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed296ec24a53754a7c4c77780661793e23a58f6f","datavalue":{"value":{"amount":"+0.7619647979736328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097259$BBE05971-A21C-4B78-8974-6E4362821556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f47b3fb63445eeda0ed82efdbe18470b37f957d","datavalue":{"value":{"entity-type":"item","numeric-id":1814378,"id":"Q1814378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176baffaf645cf54278b20c3f956eb860de4478b","datavalue":{"value":{"amount":"+0.7602471709251404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097259$A588CF89-3205-46D8-A7B5-99816C67B517","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One superintuitionistic calculus of propositions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One_superintuitionistic_calculus_of_propositions"}}}}}