{"entities":{"Q542292":{"pageid":544059,"ns":120,"title":"Item:Q542292","lastrevid":62622234,"modified":"2026-04-11T07:20:23Z","type":"item","id":"Q542292","labels":{"en":{"language":"en","value":"On the simple substitution property for superintuitionistic and modal propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5905474"}},"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":"Q542292$099E70EE-780A-4C4A-853C-13A0998B2D8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37c7d96aa91b31c43cdc810f9a0447ba40fbd64b","datavalue":{"value":{"text":"On the simple substitution property for superintuitionistic and modal propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q542292$DF9C5FFD-32A0-4DC0-A81F-069DF234840E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"282c2b3c56cf7b95b109836cc130a6ed585ce156","datavalue":{"value":"1269.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542292$3B1AEF2A-2355-4218-932F-1730EEF6D73B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"541905614a7fe5ad41b16686341464c494f6fadb","datavalue":{"value":"10.1134/S1064562408060318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542292$9DC4ECA8-B3B6-4D0E-B07E-1C58864C8B9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f5df8375cc2bf497b2ffa047003ccf9d911b940","datavalue":{"value":{"entity-type":"item","numeric-id":542291,"id":"Q542291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542292$55B98095-72A6-44E8-9A56-2F3DF922A3E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542292$8627A439-D007-487B-8789-226334180BFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f210fb0c18d99dec30391458ff9c941405bbc2d","datavalue":{"value":{"time":"+2011-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q542292$21EA090F-4E3E-4298-BA7F-322485250F5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542292$45B3C53C-9884-486A-A032-9AF1C324D495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542292$04864548-0A6D-4A7E-BD55-6011A23BBFA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d75bf4c1a7114f045a2a71e4e7ee90ee817a3b7e","datavalue":{"value":"5905474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542292$AF48B229-AD90-46C1-836C-3AB0ECB3E19B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679cf2a480022e955834e3b71187e2a6092211a7","datavalue":{"value":"simple substitution property","type":"string"},"datatype":"string"},"type":"statement","id":"Q542292$94762BAD-D2C6-4161-9919-466A74B3CA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"821c75b5f9a4c5a9c5ef9edcecd9bc86ac28c6dd","datavalue":{"value":"modal propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q542292$276ADABA-1244-4F7C-A5C1-1C2D6CCFFFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a1f32128261eb81eeddedeb5ceb5ff399000722","datavalue":{"value":"normal extensions of S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q542292$04272482-C077-41D0-938A-F8A7EABFFAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7469987bc20a0c729790bee88df7d123c8d65c","datavalue":{"value":"superintuitionistic propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q542292$3AB7B95C-52A4-4A19-9E89-E372A1B6D7A7","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":"Q542292$9EBA1E5E-0322-4D8D-9835-A8E813F7A2C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542292$BE32D0E2-8877-4359-A74B-CE8509565D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeb5037f851962569191306a95268775e451fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5335309,"id":"Q5335309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542292$218FFD8F-DBEE-43A5-A0C9-9CBACBED3495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb09e626e1b0a1ff7b9232dc5f56b4ddf639e5cf","datavalue":{"value":{"entity-type":"item","numeric-id":4866422,"id":"Q4866422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542292$2CF14E5B-82D8-4924-970A-F754CCD894E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b3b091c105052a651fff1ffd3200db00fffa7a","datavalue":{"value":{"entity-type":"item","numeric-id":1208115,"id":"Q1208115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542292$37C0A30F-2949-4280-BE90-B9E9712421CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad606f5b66ad05b4a0525f5a938aae1134f6937","datavalue":{"value":{"entity-type":"item","numeric-id":1222645,"id":"Q1222645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542292$8084E684-A808-4EDA-B6B9-50B5F6455288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542292$E8DD9E44-C31C-42ED-8BB1-EF77B1290291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542292$F13C10A6-C56B-4EB3-9B9B-5721ADD0E61D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ac0f2605951754f1185f199f7db4963d0444396","datavalue":{"value":"https://doi.org/10.1134/s1064562408060318","type":"string"},"datatype":"url"},"type":"statement","id":"Q542292$96E8AEAB-C5B6-4EC9-AC21-D8E0738BF5C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f8af4ee0ac5062328029770470d87f9ed02cac6","datavalue":{"value":"W2050326992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542292$A7B5244A-95AD-4E2E-8DAC-09D6AD8805A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4350a44fa4eb3e1264e625127ecc99be84ff0c57","datavalue":{"value":{"entity-type":"item","numeric-id":1432372,"id":"Q1432372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d042b4a3c6b325e2c27371209b99ea9c579d94","datavalue":{"value":{"amount":"+0.8939261436462402","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":"Q542292$6CC98E9B-6113-48E3-82D3-A915414C0045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecbb3fd523f3c1e592499baaa191f4baf518faf","datavalue":{"value":{"entity-type":"item","numeric-id":4326748,"id":"Q4326748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a151299af12ceb1826494d6777cf8ef1b848d645","datavalue":{"value":{"amount":"+0.8814767599105835","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":"Q542292$75ED01F0-871E-4BD7-8973-70D039577738","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":"7d66788732dfaf9e067ece1da1e0643a6bd6e3d6","datavalue":{"value":{"amount":"+0.8784024715423584","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":"Q542292$7AF6C776-2861-44A3-A9C0-9A2F5B2D3320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bc0d37caa81caac51790599bc85f9ea85c4a77","datavalue":{"value":{"entity-type":"item","numeric-id":3474634,"id":"Q3474634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b13f21c76ea9508ed213d69ae1628dfe571d28c","datavalue":{"value":{"amount":"+0.836990237236023","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":"Q542292$B50D9013-59E0-4023-9666-C85CC8D2C56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea1977649752a6a1b5eb0bf8190a9b1f08eb9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1814180,"id":"Q1814180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b56e35400496355313f16c1bee29dad4968e00","datavalue":{"value":{"amount":"+0.7973399758338928","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":"Q542292$90C7AC9C-172D-4BF4-816D-A21ED9A081BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the simple substitution property for superintuitionistic and modal propositional logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_simple_substitution_property_for_superintuitionistic_and_modal_propositional_logics"}}}}}