{"entities":{"Q3389489":{"pageid":3400192,"ns":120,"title":"Item:Q3389489","lastrevid":53998889,"modified":"2026-01-26T01:33:40Z","type":"item","id":"Q3389489","labels":{"en":{"language":"en","value":"Proof systems for various \\textsf{FDE}-based modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7347056"}},"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":"Q3389489$258339BC-6EE1-47F8-A8D4-B4C078460B09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51e986dcdc76be8ec5d6502ec5478c716864e022","datavalue":{"value":{"text":"PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3389489$0F812D81-FB7C-4991-8E16-A4F3BD20BFEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e47052333bbbc38c127ed3f895b33b9193dc933","datavalue":{"value":"1479.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389489$EAE90881-4BD2-49D9-AA9C-892C0C8BA0EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28fdd031c16698ea935edbdeaf1a7563a2d33dbb","datavalue":{"value":"10.1017/S1755020319000261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389489$09CD4930-EBFA-4CAF-B7CD-8FD5E4AF4EA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$C4A15772-E892-4EA7-B3A2-5FCAF9094D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42725b6caae2a3feb9ea758e05be801e94cac95a","datavalue":{"value":{"entity-type":"item","numeric-id":2027213,"id":"Q2027213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$E7CAF33F-7365-496E-8CF6-693DE47805A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$C97A94BC-B21F-403C-9662-8B833090D171","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed4002d7d1dae8a4df69ca0f7d26b6ca60a982d","datavalue":{"value":{"time":"+2021-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3389489$53248D85-30C8-45D4-B600-8F992DD21251","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389489$A43F5289-55D8-4AE9-A165-D27DB1A06765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389489$005E86C3-9D06-4706-A03A-17094D21CF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389489$2EBF3359-8D7E-48FE-BC63-FB616B6B73D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34532f1c8bd5b2ca90917c1791dc83964048a886","datavalue":{"value":"7347056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389489$0D37CF38-3EB1-4584-BC76-4D0806D98AE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389489$885DACCB-9B42-429A-9A87-CDF8B09983EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389489$32228298-786E-409B-AEE0-E804AFAE2673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ab57a4985f9779a2881ec9c1f85d2c49a02623","datavalue":{"value":"first degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389489$2CEF067D-9AD7-4F10-A541-AAB0C261345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389489$48A53B30-DEF5-4517-A28C-E69EA41F5B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f9863e4a69e7abee00c576f08d28dca981b9140","datavalue":{"value":"strong implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389489$2FB10D24-1625-49C4-8B35-BBA58AE2CA23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$EF676FA5-5796-4170-AB21-38FC2184F268","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":"Q3389489$C1D62BBE-F9B6-4668-95EB-0C964E27120F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$061EFCCB-A82C-4662-B111-7C21FBFFEF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$3164EB6F-5C52-404F-87D3-2A44FB15F821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c771d3c6da3908e4ec2dd96bd8773879bbf35544","datavalue":{"value":{"entity-type":"item","numeric-id":3962967,"id":"Q3962967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$9CC88D3A-8E45-42A9-82DF-1DC75C727C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$456D85A9-F65B-47CA-877F-7064CCC8C72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$F7960DD1-9535-477B-979D-271E6EE81C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a55025adbc0829a6ef916a864eb62a5459c973f","datavalue":{"value":{"entity-type":"item","numeric-id":1840645,"id":"Q1840645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$E3197D74-2F77-4FDE-A6C2-49CCBBAF521D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$17550666-316C-4D23-87D9-B73F88E319A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f229e953c49d9db1e2361ee9f947920c4f2441c","datavalue":{"value":{"entity-type":"item","numeric-id":5474628,"id":"Q5474628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$8C21285D-A42A-43CD-A58F-7C11A04338CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcce34f5229eaf414dc4fb69899015360174aa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5271081,"id":"Q5271081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$85F15BFF-8BF1-47DD-84BB-F44E4E7AFF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$F7D0D1BC-3565-4949-96AF-08E04861AF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$4796602F-17DD-427F-AC07-74D482E8F757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b489ecb185e043b01abbcffb5cb13fc040e05700","datavalue":{"value":{"entity-type":"item","numeric-id":2901198,"id":"Q2901198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$C482318D-9CC1-4E35-9E95-2E0202689D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787a150b84274e460f276fe7fbf47cace27aebaf","datavalue":{"value":{"entity-type":"item","numeric-id":1685570,"id":"Q1685570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$4EE9B03B-CA8B-4947-B1AA-35F90674F729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d55ce6a5ea1d92d286860806e5f72a4833fdf70","datavalue":{"value":{"entity-type":"item","numeric-id":1685563,"id":"Q1685563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$BDD2F54B-88D4-46D4-9982-5F07C03743DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339a3904193e22b3990df2f827fba977e649eb3b","datavalue":{"value":{"entity-type":"item","numeric-id":2825416,"id":"Q2825416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$7CED39CF-5CDC-455F-B62A-54AB705099CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31763be9eea38d9cbc02ba202f92b9820e64c7b7","datavalue":{"value":{"entity-type":"item","numeric-id":2987046,"id":"Q2987046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$2B1DBA01-0073-444C-B395-29A03C3F1368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$8F5DFF90-1C8D-49AF-9CEF-D4E9B1AF210B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389489$CCBF2150-91D2-4791-AF83-876A8D9BC1B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"427c56024f902fbbc8e05fa3c39dabf95cd323a9","datavalue":{"value":"https://doi.org/10.1017/s1755020319000261","type":"string"},"datatype":"url"},"type":"statement","id":"Q3389489$F750A6CE-6FFD-461E-A565-B0EBF921B6BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ecfbe509339dda7e1fe7738b01dfe9c6ed853cd","datavalue":{"value":"W2952678487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389489$2EE17CE8-08AD-47D9-B061-FB108A467943","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4e4c82f622c7ab2741ac29f7f781e1885cea4e68","datavalue":{"value":"Q127661540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389489$53115291-1C85-4F54-BD31-C4B862671FA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac2fa86d9c2bab8cdc07e3e4611c439770ea8ab","datavalue":{"value":{"entity-type":"item","numeric-id":1685570,"id":"Q1685570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e1bda4f02e12138d8ca803791fa77cea93f09a","datavalue":{"value":{"amount":"+0.8097994923591614","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":"Q3389489$F13B06A5-2BDA-40D6-848D-0FDF136F2210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08aec7219aefebc090be4a9fbbf5a6b9126a3085","datavalue":{"value":{"entity-type":"item","numeric-id":2027214,"id":"Q2027214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe6fc32fd18e057b92af4556cc6a49c8efcf19c","datavalue":{"value":{"amount":"+0.7921515107154846","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":"Q3389489$22FAC0D6-CA41-487E-9500-6DCED44B5C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9670ee6811d4bb69cca0602c1ef704733fa5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3648736,"id":"Q3648736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abe7e830ab98dc29d0c977bb3f1c54c57a54d22","datavalue":{"value":{"amount":"+0.7574911713600159","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":"Q3389489$193BD7D1-04A0-4776-8413-BECE0E69A49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b85663a0cc2cd587365de659e5b6104316b160b5","datavalue":{"value":{"entity-type":"item","numeric-id":2901198,"id":"Q2901198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aad7b8f1f0a4ea7ec20886193a22665277317f1","datavalue":{"value":{"amount":"+0.7508713603019714","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":"Q3389489$7725B9B6-37FD-4027-95EF-EC7354DF8CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e7fa814db69e4e837d904344551cfb9f61dec","datavalue":{"value":{"entity-type":"item","numeric-id":1708100,"id":"Q1708100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94c3f57e7688f1aa8666adeac4156e1c7017d68","datavalue":{"value":{"amount":"+0.7451929450035095","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":"Q3389489$B64D3072-79F8-4D5E-B109-C5BB828265F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3389489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3389489"}}}}}