{"entities":{"Q2851928":{"pageid":2862648,"ns":120,"title":"Item:Q2851928","lastrevid":83518622,"modified":"2026-05-07T08:36:21Z","type":"item","id":"Q2851928","labels":{"en":{"language":"en","value":"On the duality of proofs and countermodels in labelled sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213560"}},"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":"Q2851928$8BD32702-5212-4883-B919-9EF4A6D79137","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab9a64c7444ae9aa50c1d9b979ec7b70f1953eff","datavalue":{"value":{"text":"On the Duality of Proofs and Countermodels in Labelled Sequent Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851928$33DA06EB-C8BB-407C-B44E-8563C7CCD7C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34ed8b5e4494f2209885443030cfef51b0a96864","datavalue":{"value":"1401.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851928$E7220847-DD39-4C11-88E6-B91A163790ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcbb21cb520d67b4106f440243303486e6158198","datavalue":{"value":"10.1007/978-3-642-40537-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851928$11F6EFD0-61FB-4A94-87CB-67116CA0FEBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851928$EB856A62-F66C-4B3A-AED1-C733C5057F6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851928$5713D703-7C23-460C-9391-47875ECFC7DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851928$09C3B267-1B1A-41C1-B7F3-D962C2244A7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851928$20379CF4-3B28-4080-AE70-AE91FF818F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851928$4DF5FDFF-0943-46C8-933D-306C919630F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9ac38c0fadeaa8dcef8017c2dc85a57cfab76e7","datavalue":{"value":"6213560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851928$40F67741-F576-4653-9FA5-13D9BF6CD299","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":"Q2851928$614E1C5A-A31C-4282-A907-797BA038800A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1a90cf5d2ea7d447aeee1a9d1cb248d3e3372ed","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851928$52B4A5C0-4B49-4150-9AE1-4867727944C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc84d6ecc35cdbefbe81f78f72deeef4720c46f4","datavalue":{"value":"W18843899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851928$E9B242CC-9611-4031-A2FE-BFC2CB2EC54F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bfc69ccf85dea63cf96ca3c73a74676f770934a","datavalue":{"value":{"entity-type":"item","numeric-id":4593631,"id":"Q4593631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7439a18bead16e9b72b18e484bf04215f6be12","datavalue":{"value":{"amount":"+0.6934686303138733","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":"Q2851928$CFA00C86-EEDF-40BC-9881-B5B982037C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d35f763eda42a108ab8671b2b342c0ca3fa4217","datavalue":{"value":{"entity-type":"item","numeric-id":332082,"id":"Q332082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894603a7974a192e0b24abe51aceed5b7f404955","datavalue":{"value":{"amount":"+0.6930336356163025","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":"Q2851928$F9082F05-B856-40B6-B924-441933C44500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05eb004d1bfa7e37d3e28f58093ada5e24c8b76d","datavalue":{"value":{"entity-type":"item","numeric-id":2254557,"id":"Q2254557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d03739f644912f03a30c0678628aafe5bc4c3fa","datavalue":{"value":{"amount":"+0.691965639591217","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":"Q2851928$E62925B0-5FB7-41CD-9CE9-E7FEA25375AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e00a1bd49664e7ae85ebe69266408f0a5efa4a","datavalue":{"value":{"entity-type":"item","numeric-id":5224572,"id":"Q5224572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9de95b2126468a1e76f476927e481c92c701a7f","datavalue":{"value":{"amount":"+0.6890538334846497","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":"Q2851928$CF1DBC71-4124-4DFF-8D06-C3C55BB8A351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78dc9f309b2dd05a028d3948ecc4471afb9fdf93","datavalue":{"value":{"entity-type":"item","numeric-id":2804473,"id":"Q2804473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b9629ee6cfe68a25fcb008ec5cb06b9eb68f58","datavalue":{"value":{"amount":"+0.6830386519432068","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":"Q2851928$9C362D3E-AEC0-4262-A8B9-2AF19390EED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the duality of proofs and countermodels in labelled sequent calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_duality_of_proofs_and_countermodels_in_labelled_sequent_calculi"}}}}}