{"entities":{"Q4304123":{"pageid":6333724,"ns":120,"title":"Item:Q4304123","lastrevid":46280136,"modified":"2025-12-24T11:40:17Z","type":"item","id":"Q4304123","labels":{"en":{"language":"en","value":"Intermediate logics preserving admissible inference rules of heyting calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 635984"}},"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":"Q4304123$6B84B92E-2895-4FFA-B764-DEC32D058B7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"281c665d7e918100443f64a1cb10989a63e14e36","datavalue":{"value":{"text":"Intermediate logics preserving admissible inference rules of heyting calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304123$127E2166-51B1-4467-91F0-975465ED767E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27f028eef33363def949dd57efd89b24dfe4b247","datavalue":{"value":"0807.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304123$790A4A11-B9C8-4867-9347-0D9566C9881B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304123$924374E1-E99E-4621-9DA1-B7C7C1B6DE91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d1254d0712ff4c70c86be9999ebb4a8488bd51","datavalue":{"value":{"time":"+1995-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304123$6A5745B8-7935-4370-8F62-7AE4BDC9AB3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304123$F48E8B8F-1430-47E9-91C2-CEEE2FD82806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304123$A9399B59-E4A6-4E86-9DC9-B96D00B44280","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b846cb95b5ccd2770d78c63d3e3fdc891fc9528d","datavalue":{"value":"635984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304123$5703CC81-D201-4D6E-897D-6201F3BCFB84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304123$26E90285-6755-4BE8-9416-9C9942A85F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844982ebebe88ce0efe8b7fb70d507804d83e99f","datavalue":{"value":"intermediate propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304123$4028B271-B05A-4FBE-ABE5-C92D7A71DFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9dd611a8da434cdabffff78d98bc054689bdb3c","datavalue":{"value":"Heyting's intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304123$9A1334DA-02AB-4FDE-88F5-ACE6DBA16B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304123$F0AF00F8-27E8-4A67-BBA6-82325BD1C31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6594d44baf4786e89227cc86f28e5ec07efcd4d1","datavalue":{"value":"admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304123$6201797C-CC4F-46AB-AA04-8D410C1F6F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"443f331e9c641e2a5902ed9c455cd926570943f8","datavalue":{"value":"tabular logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304123$728B8C3D-7813-4510-8C00-845C89AFC619","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304123$E1745555-BEC1-4525-ACF2-3001E3A1E5F8","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":"Q4304123$C59171EE-CB75-4ED0-8E96-B46811A7DF5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"863162fe5ecb7ccc50bb80f08fb926dd5b27d6eb","datavalue":{"value":"https://doi.org/10.1002/malq.19930390144","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304123$A22FE8FB-390A-45E4-8928-9246EE28A7CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e66cd892936293a6217dad306efc755db320323","datavalue":{"value":"W2130237401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304123$61A7C39E-F320-4543-A3DE-E38E7047330B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f081c411f7e6b4930b62d10eb2f12caa43565bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4128788,"id":"Q4128788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304123$43F61E9D-EDE7-4F8F-A0E4-7CE2EE22E059","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42e70884bc958e7add98299955dd5ef0ec9fa48b","datavalue":{"value":"10.1002/MALQ.19930390144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304123$A434607A-35A8-44E2-AA9A-D8782F0CC9C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9a9d4f6f051b75a3f95fe24151476f23170119","datavalue":{"value":{"entity-type":"item","numeric-id":4501160,"id":"Q4501160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5913efb14314a1c07abf7605bd8a4c32ce6db88a","datavalue":{"value":{"amount":"+0.8008057475090027","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":"Q4304123$A06E37D3-2814-4603-9091-C79BF8EB7EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd345411df62d8e91bfa2fdb3b7ac46555caaa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2501166,"id":"Q2501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbcdfd219dca2ea09b063e8d35bd7b5a7472b1d7","datavalue":{"value":{"amount":"+0.7906302213668823","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":"Q4304123$4101FA9E-E126-42A1-B2A7-2DA01C2EC0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5715c20c87f1ff8e4f12e5a0e698bab6dfdcca14","datavalue":{"value":{"entity-type":"item","numeric-id":514509,"id":"Q514509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9aaa38ff8b1b7718eeace4d6f6cd1d2488090be","datavalue":{"value":{"amount":"+0.7816441655158997","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":"Q4304123$ED0FD98A-9D25-4B50-8070-7405DE425550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36600e3c654c93d5b57797cb869f58f012d5253","datavalue":{"value":{"entity-type":"item","numeric-id":1327480,"id":"Q1327480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cb36095c70dd89a80192fb8c2bec2881d8a106","datavalue":{"value":{"amount":"+0.7805526852607727","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":"Q4304123$8F6AFBC4-352A-4306-B072-B6F93B422C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf69cf4fb39601fe241cf1006639573bc0b00fd","datavalue":{"value":{"entity-type":"item","numeric-id":4474863,"id":"Q4474863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218677a3163966ded35de1a905f0743e25761bbe","datavalue":{"value":{"amount":"+0.7769656181335449","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":"Q4304123$0EA44C39-6335-42D8-9EE1-59B60560C798","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304123"}}}}}