{"entities":{"Q3305619":{"pageid":3316327,"ns":120,"title":"Item:Q3305619","lastrevid":53788040,"modified":"2026-01-25T17:36:20Z","type":"item","id":"Q3305619","labels":{"en":{"language":"en","value":"Natural deduction systems for logics in the FDE family"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229601"}},"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":"Q3305619$C8E6627A-F298-4E6D-B723-7EDA3737CA04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab34f063d59c095ede273c9631bf769c8afcf5aa","datavalue":{"value":{"text":"Natural Deduction Systems for Logics in the FDE Family","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305619$FE155DA6-D872-4C82-8C20-590CF660400D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e62c3c590cddbf936edbb369cb2a1e073722de27","datavalue":{"value":"1469.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305619$FCFD87F6-8FEA-4606-BD6E-A0025D3FEB66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29e0c20115e0d3d8b5eea6a5610e45b32b5bda60","datavalue":{"value":"10.1007/978-3-030-31136-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305619$B5AF48C9-BFC5-4FCA-8BD8-ED65CC5D5C23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"091ee1214fd912ea59dcfc97044f853d8c5a2658","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305619$F94F55A8-36A5-4F9E-BBE3-601BA9EA5655","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ac149cc2108aa7d84a9d756243a1b4be7270aad","datavalue":{"value":{"entity-type":"item","numeric-id":3305603,"id":"Q3305603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305619$E89F548E-069E-401E-82CD-669C7D8CDDDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6eeac9bc08017af337b002c847426cefd8e704","datavalue":{"value":{"time":"+2020-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305619$D0D0B01E-95F0-45AA-919D-69DB83FABE30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305619$83E0CAFE-A345-4926-AE20-557D86AFE7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305619$1ECCEFF8-FD4D-44BB-BD24-BD9244DA7C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305619$4BD8FF7F-4B59-434A-A659-4A37C15B6328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59eb43567afeda1b978931b83ff285922f43e380","datavalue":{"value":"7229601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305619$8F863875-74E1-4785-9E2C-06D1C21C2C87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c3de2f79aa44b98e74bebfd1943a49545e800f","datavalue":{"value":"natural deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305619$2A4B7BDF-5119-4048-AF27-02074566FE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb14c4659ff4d169eded081a3baaf7bc59c6924","datavalue":{"value":"first-degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305619$A2B44502-2D61-4204-86A5-0D0720E01837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff53bf176f9f97b563e34bfe0d1fc03d307e8b9","datavalue":{"value":"FDEe","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305619$3CBC4030-1E2B-45BE-9DD4-7F95DF4AB7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4887a78f8b5e8bb1aca11d966a67d843f61b9385","datavalue":{"value":"LP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305619$2B0A52A6-E1F6-4F0E-8DF8-36CA89831320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88dac83669c8d09cb5ea6c5efed338ddf0f762fb","datavalue":{"value":"K\\(_3\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305619$4719316B-38D6-4CB8-BC33-413158DA98DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a83aeeba3278daf92764277db83626507b01a18c","datavalue":{"value":"paraconsistent weak Kleene","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305619$F3535BDE-0BFC-4F87-BB2D-C10F524CD3C4","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":"Q3305619$BEF0E7EE-BBD6-43F6-BCBE-0238FECC7A30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"235ee462222f489b8dd8b4d2b4ca762876414cdf","datavalue":{"value":"https://doi.org/10.1007/978-3-030-31136-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305619$71B58410-523B-4951-A594-517EAE4E84A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2350d0375e638c2a8d85e1af131cbdd488c6a7d","datavalue":{"value":"W2997938963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305619$40578F80-7F80-4404-948C-AF249032CD39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdb02a8cbc0c6812de30af50942e4a7fe81b51d","datavalue":{"value":{"entity-type":"item","numeric-id":526733,"id":"Q526733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305619$CF3B4997-3304-4FF0-8C6D-A8FA258B138A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c777c4724881cfa5d3aa087c8b5779a04ab0d9be","datavalue":{"value":{"entity-type":"item","numeric-id":5215771,"id":"Q5215771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305619$14D90845-78B7-4547-8334-D8BDCF817F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba3f397b4d561ad22d7befb07a8e88dcf22212e","datavalue":{"value":{"entity-type":"item","numeric-id":4055621,"id":"Q4055621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305619$3E9EE369-5BF7-4655-8B7B-7DC4B11496C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7dcafd8e910226157571b027b8da292ea4aec6e","datavalue":{"value":{"entity-type":"item","numeric-id":4333049,"id":"Q4333049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305619$9AB2FE7A-05EF-4366-85D8-2A5317F03272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4aa9fefd25f1f34eeb6bfa44170e419f3416f","datavalue":{"value":{"entity-type":"item","numeric-id":5800353,"id":"Q5800353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305619$5625A75C-931A-4155-8F37-776DFD4BBA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3902d52d97930af30c7768c69358d1e9e246cfc4","datavalue":{"value":{"entity-type":"item","numeric-id":3149171,"id":"Q3149171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305619$DB5E5FB3-1858-4C7A-86E1-66499D1E402B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305619$361C574E-C1B5-4528-B0E6-A31D2BF082FC","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":"Q3305619$344B8527-7988-45B0-AD41-905C1C87F673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3809a0c90ea92c169f590dacaf12dd2c7840f99","datavalue":{"value":{"entity-type":"item","numeric-id":3466611,"id":"Q3466611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305619$27B5E5C2-6E5A-49B8-8284-B9F326A1E826","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7120cdee5eb8bf7425244a14c5ce507ab8d62ea8","datavalue":{"value":{"entity-type":"item","numeric-id":5937857,"id":"Q5937857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189774995aa00d2c374ccf1ee04e6fdd8c157864","datavalue":{"value":{"amount":"+0.8555959463119507","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":"Q3305619$79B715D4-51ED-40D1-8259-90835BA894CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d83db291c84f17ecbdf4d9338fb6f368bcdaba3","datavalue":{"value":{"entity-type":"item","numeric-id":3305614,"id":"Q3305614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87414b63bb426cad6bf0315e2717112f25fed27","datavalue":{"value":{"amount":"+0.8067070245742798","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":"Q3305619$C1170D46-B66F-4403-9A85-B401B79ED94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44475c9da2b0143871e70ab31d45b566b3181272","datavalue":{"value":{"entity-type":"item","numeric-id":1689568,"id":"Q1689568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8f25139caec131a35788ce39d4aba5a30a2bc1","datavalue":{"value":{"amount":"+0.8012416958808899","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":"Q3305619$36CA4374-5991-4900-8838-35B421421813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58e15df1155baf6a188ffd4b79cb693403c3af0","datavalue":{"value":{"entity-type":"item","numeric-id":4683206,"id":"Q4683206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35964eb1a8f1fa88ee1a62705a2027ab55c82217","datavalue":{"value":{"amount":"+0.7828453183174133","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":"Q3305619$9356A2EE-BA0D-46A4-9129-843BAB2A675D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c079dde10394153448da5cd7c08801039330ff","datavalue":{"value":{"entity-type":"item","numeric-id":3108644,"id":"Q3108644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30eff8976fb8ebeba018d16b6a52b020f50b1cbd","datavalue":{"value":{"amount":"+0.7687054872512817","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":"Q3305619$355B6BE9-C6C5-404E-835E-C0E549980B6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305619"}}}}}