{"entities":{"Q2698547":{"pageid":2709291,"ns":120,"title":"Item:Q2698547","lastrevid":57098646,"modified":"2026-03-26T15:18:11Z","type":"item","id":"Q2698547","labels":{"en":{"language":"en","value":"Two-sided sequent calculi for \\textit{FDE}-like four-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7677862"}},"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":"Q2698547$92FBE185-C702-49E3-A2CE-13E97E259E1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d8f137e0ffc75d40829066eca0806413e7b6829","datavalue":{"value":{"text":"Two-sided sequent calculi for \\textit{FDE}-like four-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2698547$0CAE7E70-644E-4D7F-B573-855F3CBBC885","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$ECED8D8A-5DED-4B03-84EF-619BE1065447","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80d345e3049b90968c25f4cf4bf3a6348620d4e8","datavalue":{"value":{"time":"+2023-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2698547$F41B5BE6-704A-4ED4-8C53-BD7EE7D07D42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698547$82DE1CC1-1C37-40AC-BBD8-70008783AD85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cb8e052eafe76a46956335e509823ec38e562cb","datavalue":{"value":"7677862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698547$446F320E-E854-4EAC-A5B1-AF46189AB5B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698547$19BA5797-5548-488C-9C3D-F2F9A12AB79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698547$CF2C8A6F-20ED-4E68-A0CB-1A618191127E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698547$66A15513-A02B-418F-844B-18842583E083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ab57a4985f9779a2881ec9c1f85d2c49a02623","datavalue":{"value":"first degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698547$6FEB8571-668C-4F2A-B582-6D09700839AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad8a4a4842ce7e9395fec03d07820d80de9ff9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1403402,"id":"Q1403402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$B87EF376-F7BD-47EE-82C3-675F5BF849D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebc86f2fab83cfc6b95977ba3eade47cc487ef39","datavalue":{"value":{"entity-type":"item","numeric-id":190359,"id":"Q190359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$FA77E800-ED8A-478B-B81F-7AE801C9BD83","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":"Q2698547$6AB61276-FB2D-4081-B0D4-F3168930CDD2","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":"Q2698547$6C69AB6C-923C-4020-B87C-4A4281260ABF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ed3f779e385dadc4ae9c147bca9bd5c0046e497","datavalue":{"value":"https://doi.org/10.1007/s10992-022-09678-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2698547$C405319B-1301-4949-9294-A79B0A8D4E65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"246b42163245ddac5aed30349104565812cc1baf","datavalue":{"value":"W4293088444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698547$2939762B-58DD-4635-94E6-50D5A8A9224B","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":"Q2698547$32C088DE-45A9-4189-9D1C-150F96EAA6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$E2BD0F7F-E5B7-4BC5-910E-BDAE859238C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$52319C5B-B3A1-4FFB-B5F1-9935618D8220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af01c81962a82f092476ebfb37b63ca7fd31931","datavalue":{"value":{"entity-type":"item","numeric-id":4450442,"id":"Q4450442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$9BBE63EB-6B0F-465B-9974-717EF9235BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d7992e583cf45900673369824994739769f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$28854D77-9E6F-4CA2-8DCB-5C1AAFB1F23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811842a5d4171eb675db0b37a987e4ca72089c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1580658,"id":"Q1580658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$894BD3FE-B97F-4D71-8F92-EB8FC79BA3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c001b44bb83434f0ad084eb37cf9204fff3474b","datavalue":{"value":{"entity-type":"item","numeric-id":5414140,"id":"Q5414140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$28193F6F-9F6B-4FFC-AB9A-66698CFCA0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da2bfcf6ab9b3858f27436b7dbb84132afb6014","datavalue":{"value":{"entity-type":"item","numeric-id":744990,"id":"Q744990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$5F0ADFC6-54BA-4E17-A897-0371F2E53EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838411164f69c97962f39c7996d24f24a07a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$17486F50-1706-47E3-A666-2FAB25489E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$5F0EAFFE-D41D-4F4F-AEEA-668DBED857D8","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":"Q2698547$FC965963-10A8-4CC4-9BC4-B8AF8174B74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$87B0148C-29F0-4EC1-92FD-B50050203B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6baf185b0f9f31d195844d6e2371ab310c19a9","datavalue":{"value":{"entity-type":"item","numeric-id":4899968,"id":"Q4899968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$893D9270-3B15-424B-B3E5-01A3825B7179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e792f5fb5153d1378e086f9fe5e649f6877374f","datavalue":{"value":{"entity-type":"item","numeric-id":5241402,"id":"Q5241402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$3ECD8C58-78C8-425C-BFDC-8FDF219B96EF","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":"Q2698547$472ED33E-87AF-4868-9AE2-E2F7A59CBD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a223050e719182e6bf855fc696c5aa1e87c42b9","datavalue":{"value":{"entity-type":"item","numeric-id":2981255,"id":"Q2981255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$2B96DA7A-4CA8-4C35-9D76-9414486CC92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df19b4b8a738b8f16686368406cd25779bbcedc","datavalue":{"value":{"entity-type":"item","numeric-id":828774,"id":"Q828774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$65D396F6-D4E6-4AF2-B55A-C80C17274ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9c55587ddd5699a7963c16efecf058fd56ea87","datavalue":{"value":{"entity-type":"item","numeric-id":1947033,"id":"Q1947033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$8429BE6D-C9E5-4DDB-AED2-F59A5F56107F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$41E0DFE7-B86D-4843-9D69-086A6004CFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658fbffaf2ae85f06a398287b1897cc70567d3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4857857,"id":"Q4857857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$A8DF0319-0740-431F-8E5A-76E8173F519C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57729f6ee9a1f999acb7815861d5aa85e688cc42","datavalue":{"value":{"entity-type":"item","numeric-id":1854378,"id":"Q1854378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$FE5D7BAE-19D7-45B2-B454-92EB9E03FD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed247cfaa9f806167217df5f2ac409bdf00e763","datavalue":{"value":{"entity-type":"item","numeric-id":4982110,"id":"Q4982110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$972DE77A-5961-4771-9881-9F4ABB1BB5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$63A374EA-CF40-42CC-95C0-D2540C546869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5becf274e716c3d6364796cca5a7391ab68da30","datavalue":{"value":{"entity-type":"item","numeric-id":312499,"id":"Q312499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$CB663033-A993-43CC-B1A1-AB4FEC7078C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caaae786582bd2d78d20282dd22954bc64ce60fe","datavalue":{"value":"10.1007/S10992-022-09678-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698547$75FF4D37-8879-4991-B923-AD04985BC0BC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698547$41920E0A-383F-48AB-8056-FC318CD9CBE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2698547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2698547"}}}}}