{"entities":{"Q2986784":{"pageid":2997508,"ns":120,"title":"Item:Q2986784","lastrevid":85742135,"modified":"2026-06-03T11:20:46Z","type":"item","id":"Q2986784","labels":{"en":{"language":"en","value":"Modular construction of cut-free sequent calculi for paraconsistent logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718068"}},"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":"Q2986784$CC7F892C-B5A9-42F3-A1E4-E87116300AF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cf768681c6398f053c706d7451ea9579bdd3ab1","datavalue":{"value":{"text":"Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986784$311CEBA6-7B19-4C94-945C-001C8A0DB76F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd006f6bddd50ef5d857baa44efd0ca8bc03fc53","datavalue":{"value":"1364.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986784$F232315D-3A17-4E85-AF6B-0CF6BD3358C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3f7d2ca210337185f598c2540eae73bf45a9234","datavalue":{"value":"10.1109/LICS.2012.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986784$39ADED69-CB6C-414C-AEF8-E76E0047AEB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986784$D18CEF4E-D2BB-41AF-8D2E-5F5D774103DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa73845da6faeb3595ac4dea6415bdc68ae4978","datavalue":{"value":{"entity-type":"item","numeric-id":229730,"id":"Q229730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986784$99EC9D81-9A90-447A-9B76-6E9D77750656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92250fc2468a927e3b41d7dfe7ef750fde052bc8","datavalue":{"value":{"entity-type":"item","numeric-id":408549,"id":"Q408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986784$14628D26-194D-4FDE-8E36-382F8AC8B17E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986784$4C1D7505-66FC-4EFB-9746-950BD0C2A441","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986784$3D0228F2-D485-4B00-AF16-9E1F7BEF47B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986784$0E7CF3FE-F1E2-4711-A19B-C497D9195CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986784$64D5AD2A-1964-405E-BA12-CCA8A78CD3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986784$52BB79C6-F97E-4A62-92A6-83E303CBB5BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a4eacdadff4c8619883f959bdad9b01626daefe","datavalue":{"value":"6718068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986784$B760BB01-100B-451A-B8A9-07EEECE41F51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"752a6b0b2758e2fde075083c7147093ff11722f0","datavalue":{"value":"multivalued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986784$98F6C201-FCDE-4586-A64A-C3DC62232620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5457baa26552f25d57d3abd6dcc0d62befb3b0ee","datavalue":{"value":"nondeterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986784$D261F554-DFFF-45AD-BF50-F21A218CCFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986784$59312C71-5A77-46CC-8C2A-D87495C33196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986784$A6DDC153-0E59-4907-9A73-C99E3CB7EA26","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":"Q2986784$65C64921-85DD-4FBA-9625-CBA6AD9956D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cd86ddc7aa4dcadf3b248c6647cc1b06b33dfec","datavalue":{"value":"https://doi.org/10.1109/lics.2012.20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986784$CE35748D-9BB0-40C6-8C2D-98638D3197DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"427157de66e2df5f19cc1202575d7954c7487f94","datavalue":{"value":"W2078306994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986784$D2C1E3A5-5A3F-4201-9579-90404011CF38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827bd3ad20f35ba7a16e52d1924b4f856da1f871","datavalue":{"value":{"entity-type":"item","numeric-id":5300580,"id":"Q5300580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c08d3b71f2cb35875a9492f84709ff012a3c6f","datavalue":{"value":{"amount":"+0.8599627614021301","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":"Q2986784$8F2C2112-FDC9-4FB2-A561-BB37D063A407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf23ed5652572a30139af5779cee94ea55f41cb","datavalue":{"value":{"entity-type":"item","numeric-id":4918414,"id":"Q4918414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd41e7fa657ba83263ff2d88014ad1fae0375f2","datavalue":{"value":{"amount":"+0.8593575358390808","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":"Q2986784$27A4DDAA-43C5-4436-8CB7-05575504F1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1696632c06752ae8e27f36a7ca286b336eeab49","datavalue":{"value":{"entity-type":"item","numeric-id":3455840,"id":"Q3455840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c13abe42a8c5b834a72d2ef300477dad3efc4d","datavalue":{"value":{"amount":"+0.8240537047386169","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":"Q2986784$171FE3B4-7BE6-4107-95A1-2D42128CA60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd73cac53fba691c91f3c5bb0c0521936e275dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3819043,"id":"Q3819043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576247eba511018caa040c16b9a72028af00dda5","datavalue":{"value":{"amount":"+0.8055986762046814","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":"Q2986784$87A6E29A-A7EE-4E9C-91E4-3A9A8394802B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790a3ad71280b315184e6431fb3f33b71d20a2ce","datavalue":{"value":{"entity-type":"item","numeric-id":2719629,"id":"Q2719629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892113c784e08288877a1a62e0da40dd34f719c3","datavalue":{"value":{"amount":"+0.7778289914131165","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":"Q2986784$2D1371D5-6C33-457B-A3CA-7491DD31EC2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular construction of cut-free sequent calculi for paraconsistent logics","badges":[]}}}}}