{"entities":{"Q1079559":{"pageid":1090311,"ns":120,"title":"Item:Q1079559","lastrevid":66260487,"modified":"2026-04-12T08:36:22Z","type":"item","id":"Q1079559","labels":{"en":{"language":"en","value":"Bases of admissible rules of the logics S4 and Int"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963792"}},"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":"Q1079559$983BF39B-4E22-4DE0-AE06-A6A58FFA7D98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"846551e983a74cbc8382f4535f802a7c43df01f5","datavalue":{"value":{"text":"Bases of admissible rules of the logics S4 and Int","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079559$A92EC610-A74D-4511-9248-0DEE9C5B268D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6c9ba04118dc75bf81757a448408cc440764d59","datavalue":{"value":"0598.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079559$A9E69915-DA4C-4428-B72A-02711A97A58C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97bc8a7c897a604c2ae0f053f1601f534044d634","datavalue":{"value":"10.1007/BF01978706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079559$7E885250-54E1-47BE-AC26-830586D1A2AA","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":"Q1079559$5169A445-8C6C-41F6-AF07-26781E32987E","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":"Q1079559$0CC543DA-78A4-430C-BC20-12E8BC9B26B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bffc82bf8338ecf6bc0f1edec1f9c1a35e5ae6fe","datavalue":{"value":"https://eudml.org/doc/187304","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079559$35B8E87F-6AC4-4215-8124-B91EE58B3015","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2842d3f17d65344296a880bba979f846f58a56e8","datavalue":{"value":"This paper uses results and notions of the author's paper reviewed above (Zbl 0598.03013) to prove for intuitionistic propositional calculus Int and for S4 that the set of admissible rules does not possess a finite basis. In fact even an infinite basis containing a finite set of variables is proved to be impossible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079559$310929B3-8178-46AB-B975-92968F51BEF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079559$73FA977C-02E9-4607-B629-5DBB5BECC8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079559$09ABC901-635B-488F-8D94-333CF93F66DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079559$DED053D2-2486-41CD-B172-966DD9502616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079559$9499C336-38A9-4A49-95C9-BA57F771AF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079559$C82D78AA-8332-4ADD-8098-6EDD04245028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079559$DCE0FEFF-26A5-4717-8885-B96935D9E653","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74fe0761aefbfd23e5dd3d0b3f18f5916ccf2cc4","datavalue":{"value":"3963792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079559$1C0D77A1-00AE-4DA8-8CFE-3812C853EFEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079559$23590F33-51E4-4D9E-8442-C5AB230F676A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079559$5D83C65E-BCDC-410B-ADDA-068E2045DD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079559$C1AA3EFF-80B9-420D-9354-E0CE8D2373F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2af3a72e10471202f512b7da39a1ea20e9a44d","datavalue":{"value":"finite basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079559$61AE6261-EEB9-4040-9CD4-34CCC413664E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435bb76b0a418c8556373b113d96bc36d9f8ba21","datavalue":{"value":"infinite basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079559$DC1207FD-548C-48D2-9774-17D6991421C4","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":"Q1079559$13107A59-BBFB-48BE-AC59-2C205868960C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079559$2F9B7507-3A06-4C37-9C8F-8EAF0232590E","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":"Q1079559$D39309D6-413B-42D1-9CD8-619D9D74420E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ed7790b73ca0627f9aea6069a6e8916b8f045a","datavalue":{"value":{"entity-type":"item","numeric-id":3950540,"id":"Q3950540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079559$5B7EBF58-D648-4922-AC08-1194121484F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b11bde3a81bed263542b7bc4096eb95242c70c","datavalue":{"value":{"entity-type":"item","numeric-id":1064315,"id":"Q1064315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079559$F798906C-F7A3-4016-A919-E9212CE23E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1f2b335da52ed4f882a1e68c165250063ca1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4166741,"id":"Q4166741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079559$BB1C9F8E-267A-485B-A684-53D854219EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079559$1660CC35-8B2E-4151-B0CE-DB7DA3D6237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079559$F050A5FD-E2DB-46C4-B2CE-C785BE01536A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348c3cca13d6350ca59547312259f123bcbd1b05","datavalue":{"value":{"entity-type":"item","numeric-id":2556880,"id":"Q2556880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079559$BF3F2ED2-AB65-48B9-A271-EFECDE373C2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ad2542ddf904ffe637668b994a7a46a9f3125b","datavalue":{"value":{"entity-type":"item","numeric-id":1320690,"id":"Q1320690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ca4f9e8dd9e51b4a60c3c577effd63cb518ec1","datavalue":{"value":{"amount":"+0.8732902407646179","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":"Q1079559$2E664CF0-F8ED-4159-B616-96FF0B260DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d283e422a422eb8cba9adc3a9758adb8f819b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4726223,"id":"Q4726223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da91eddff6c78361c2435e4d7ed37890eca8e8e1","datavalue":{"value":{"amount":"+0.8695481419563293","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":"Q1079559$5B50D80A-2E35-48BA-AEF0-2EEE6447A3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39f290243c03f70b89a4a2d40ff3a9402617058","datavalue":{"value":{"amount":"+0.8627640008926392","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":"Q1079559$6D78013A-D829-4293-BA4A-E0BE78DAC9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ee0f26e85e2e2e5e7401f4e3f865e337e6c579","datavalue":{"value":{"entity-type":"item","numeric-id":4487248,"id":"Q4487248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d46a6112ded85d9a5a00a2d0eb166f81803f453","datavalue":{"value":{"amount":"+0.8518349528312683","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":"Q1079559$A47BA4A9-3B84-4FE3-9A7F-9300B9628802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388abb6f2254d0ae8592b3923f491836cf863beb","datavalue":{"value":{"entity-type":"item","numeric-id":3508162,"id":"Q3508162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa60d6174ca170348db70448231e294bde4c7dca","datavalue":{"value":{"amount":"+0.8491301536560059","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":"Q1079559$CDBD9591-3143-4E2F-BC50-ED6699B570E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bases of admissible rules of the logics S4 and Int","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bases_of_admissible_rules_of_the_logics_S4_and_Int"}}}}}