{"entities":{"Q3387896":{"pageid":3398599,"ns":120,"title":"Item:Q3387896","lastrevid":53899364,"modified":"2026-01-25T21:56:10Z","type":"item","id":"Q3387896","labels":{"en":{"language":"en","value":"On definability of connectives and modal logics over \\textbf{FDE}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7291242"}},"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":"Q3387896$EF421E32-AAFD-4273-AB40-A02F38D7C742","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f42e88e3e2409224096f14b3fa76e36e02b31c42","datavalue":{"value":{"text":"On Definability of Connectives and Modal Logics over FDE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3387896$22A5FE46-F67D-4582-A4C2-7917A5EF53D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b28b103978a5d1695781119d7eb94a6113cb412","datavalue":{"value":"1458.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387896$F51B43BD-901E-451D-BD86-2F48EC0C8425","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2975e133990f953999621d65c2a1bf59a3c8ef1","datavalue":{"value":"10.12775/LLP.2019.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387896$7490565F-D929-40F9-80A1-2A8F4A43C316","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"586c4ade6079f9e90990fbf5c58d5fad1bb973b6","datavalue":{"value":{"entity-type":"item","numeric-id":1682299,"id":"Q1682299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$137E43A6-F51C-493C-B3E6-26E70C22366F","rank":"normal"},{"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":"Q3387896$691F704C-E701-495D-82F7-69BD7712EADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0130d7dfa48465b27c7417ad8f576e2f9bdfc77","datavalue":{"value":{"entity-type":"item","numeric-id":454379,"id":"Q454379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$047AD902-753F-46B1-AD0A-72DDCEDED245","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$E5BFE185-F2CB-4ED8-AB8B-1B4652641F2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f5a5d62f60415f5fad4a5a75afa6346714a9ea","datavalue":{"value":{"time":"+2021-01-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":"Q3387896$E97993CE-DDB3-41CF-879C-61A40589E45B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387896$F3055A66-7CDD-42FF-99DA-DE2B6B2FD022","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71099cabe4a245978aa071f14831a770635ed9df","datavalue":{"value":"7291242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387896$71910789-8ED7-4E1E-9940-592370689416","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc8ff49404e51acc2fba8edf9e753e4698e96bd9","datavalue":{"value":"definability of connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387896$1D33C2BC-6885-4AF4-89FC-BDEEF89FB40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4207ee3baaaeb24f18b53e8ccc78f1bfdfdc2907","datavalue":{"value":"first-degree entailment logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387896$CA07A3BE-3E58-45A3-B4B4-D1D08C287DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387896$57545F6D-7D55-4F3B-B8B4-F6CB23E2BF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496218f4946b5abac0d43eb47a2c0aa80a9e0e4c","datavalue":{"value":"modal bilattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387896$E107ECD3-080D-4F7D-98F6-54E4011C8233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387896$03437699-DBB1-4E2D-9593-210C939CE8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c07db2c553e3265a5ceeb2e8796d2c6fde8c31","datavalue":{"value":"translations between logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387896$39EA574F-5A60-4D40-A2DE-A7FE24588645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15614d33052008e511eeb2059239e0ff27157487","datavalue":{"value":"weak definitional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387896$37D14869-EE3E-4F59-8229-39E2310A1C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb69f783e85fbc42e5d9316045b6ef66d0845934","datavalue":{"value":"definitional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3387896$526BE163-E496-4255-8148-CB8A2B7BB2F5","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":"Q3387896$AF98DF2A-7144-430B-9785-B0D8BB4C37C8","rank":"normal"}],"P223":[{"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":"Q3387896$DB94249C-46D8-4483-ADE2-99F1274BBB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06972d636303dd3c6aac817f327a41a57236b48c","datavalue":{"value":{"entity-type":"item","numeric-id":598302,"id":"Q598302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$D17A0BA3-1DFF-433C-9B6B-397A349196CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe6cd26482f5f61681bf089f4b61a6b10a69d56","datavalue":{"value":{"entity-type":"item","numeric-id":5688811,"id":"Q5688811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$93ADDD0E-3949-4702-AAFF-7C812ACD802A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$ED713603-3529-45D4-9118-14D483EA66DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4034e200f5a8e54489037e5259467c0fc309c10b","datavalue":{"value":{"entity-type":"item","numeric-id":454389,"id":"Q454389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$CBB6D11D-A6E5-40CE-AC77-AD45A6A2739B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2206dd9946cc8d5c03e6f7ed9d80aa7d7a8dc5","datavalue":{"value":{"entity-type":"item","numeric-id":5619813,"id":"Q5619813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$A18C51D6-B680-40B5-A726-317AD6423281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bf9a67374b43108e736411cfd2323fef9d3704","datavalue":{"value":{"entity-type":"item","numeric-id":3256323,"id":"Q3256323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$EEB8E161-9D14-45AD-9634-29AB892EFEEE","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":"Q3387896$F87A7A53-46B6-42F8-AACF-DCE94288DDCD","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":"Q3387896$55F9E2A6-206B-425B-84BA-1517AE05ECC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d465ad7f9c0c47018952558c864ba8ccd6d1748","datavalue":{"value":{"entity-type":"item","numeric-id":497416,"id":"Q497416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$0A29FBD9-00DE-40B6-9B44-B7EBD3C6C035","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":"Q3387896$75DEB552-13A8-4233-8565-DFF0B4FFFE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16e3209c4774a1f9052bbdaf668e8244e5ab091","datavalue":{"value":{"entity-type":"item","numeric-id":4586423,"id":"Q4586423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$F2B7076E-12B2-4DEE-9A9A-EB70F99D574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311ce45b1595e141bd1b534a00e6fbe184eae21","datavalue":{"value":{"entity-type":"item","numeric-id":1249170,"id":"Q1249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$3EC2970C-E9CC-4DE1-B469-9482C6E1A1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9222c6044ef917bab6ee061a6abcdb98572597","datavalue":{"value":{"entity-type":"item","numeric-id":1802397,"id":"Q1802397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$2E011FC3-4F22-4F6D-99E6-C33C12E084E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53ce925e83e28639cda8ae5dd7e22cfd4604de6","datavalue":{"value":{"entity-type":"item","numeric-id":5688808,"id":"Q5688808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3387896$2EC3D0A0-7783-4096-8FFC-560A3CDB7BE2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f4c01708905fca7683c4165088851a8bc9ed97f2","datavalue":{"value":"Q128045382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3387896$165D1C20-05E9-41A8-8CAF-9CA6FBFCC60B","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":"e0e58ba664418b6841cc17e97ac6d1f79f7f64d4","datavalue":{"value":{"amount":"+0.8215767741203308","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":"Q3387896$47ACEFF3-B22E-4512-B4A8-AF7064FFCBD0","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":"bb8c6596c66c8857068107f0d2b1c777563b6882","datavalue":{"value":{"amount":"+0.7623640298843384","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":"Q3387896$2530BF15-DB90-43EF-BB70-1D77BBD7F952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9856d19d0b7e1b9610b7cc8d84bf640ff8e664e4","datavalue":{"value":{"entity-type":"item","numeric-id":3389489,"id":"Q3389489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b34bb1f32b2077214ca20c895bdcbe6d5e9311","datavalue":{"value":{"amount":"+0.7435125708580017","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":"Q3387896$6B748B1B-6577-41AC-A187-A4E60478A9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4ca354cd776d0a8ed58d3d3e2643ec1146df1a","datavalue":{"value":{"entity-type":"item","numeric-id":1685563,"id":"Q1685563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0886eb2c63075a1523dbda9fa019711087917d52","datavalue":{"value":{"amount":"+0.7402544021606445","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":"Q3387896$F123B7BF-1DDA-47CE-A1D3-63F5E6B112EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e27e47994b34ecf18ed882b8fc030dc234aa7e","datavalue":{"value":{"entity-type":"item","numeric-id":284231,"id":"Q284231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b2f63e5f0959ecb967cd35914f4331a31e75cc","datavalue":{"value":{"amount":"+0.7386137843132019","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":"Q3387896$159557DB-8288-46A9-9BCE-3946DD315AFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3387896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3387896"}}}}}