{"entities":{"Q4823803":{"pageid":6853383,"ns":120,"title":"Item:Q4823803","lastrevid":74943681,"modified":"2026-04-15T01:10:39Z","type":"item","id":"Q4823803","labels":{"en":{"language":"en","value":"Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2112319"}},"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":"Q4823803$C11F0FC8-96E5-44A5-A6EF-BC159A3A067A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfd5679c6a94b982b1cd3ea044a149bc31bbbf94","datavalue":{"value":{"text":"Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4823803$8D10A24E-329C-436D-B33B-7589D8628D89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"784bd143bc0d10e3a2e37517ba9296680e8ff3da","datavalue":{"value":"1062.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823803$6F6935F2-0320-47CA-96D9-C40BB54322B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84b60f04d7f3967bc1c5e6d2b05e98b9765d5f5","datavalue":{"value":{"entity-type":"item","numeric-id":265391,"id":"Q265391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823803$CDA025E0-50A0-4FA3-8514-AC1CAC6C64C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823803$3C38FD23-2148-4DD4-8437-0A87BDA0D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823803$ACB074AA-0217-465A-A4B6-4FFA29AEB7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823803$DE340960-2F52-4A65-95AF-5D899A184FD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823803$F15F73CE-066A-4FE9-A336-878DD2A9A8DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bef991a61f0b36f87170a3f6d28e89142ec8e7f","datavalue":{"value":"http://hdl.handle.net/20.500.11850/38056","type":"string"},"datatype":"url"},"type":"statement","id":"Q4823803$D488F172-03E9-4ED4-8E40-95AE4C10BD96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823803$66565F0A-069F-4DB6-BC59-32B925D9A1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823803$8983B5BE-049E-4FA9-97D9-47ED55B7E5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823803$A9E491B8-EE2C-41B8-A5EC-012E4D05033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823803$ADC16C83-AB0A-4F6F-B9E7-32FF8EB2D66F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ff0bff274e2aadff66beb794319d87fb1dac76e","datavalue":{"value":"2112319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823803$6B8DBC79-5B5B-4C5F-B27C-B3FD857D12D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823803$FBBFBC36-EE9D-477C-96CB-7BDD836CCD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823803$C5877049-F70D-410F-A683-B1819A1C9EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e19049eaa3f034cce838b708453553f3e8bd7cc4","datavalue":{"value":"labelled deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823803$C141CCD7-AC6F-4FDF-9EBA-1B77EC6CF109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823803$BFBF9064-869A-43F7-BB14-005ECD6F48C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71e32dbe9ae2deb4f9138c7e19307da9a855007","datavalue":{"value":"sober algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823803$F141D4B5-6418-4F80-A9C6-1E85798312AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0559f5053e69e56e9bb8722480fd22750880c55c","datavalue":{"value":"truth value label","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823803$D9B0A6CD-ECA2-4C35-A4C8-122BB4CFB0BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823803$ABDCF380-A4DB-48CF-AB9D-96F6B6446231","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":"Q4823803$1CDB1352-DF1C-4B54-9029-3DE257461B67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aff14bf49bcaa79c0ac3dc2973b3d8645e700ea9","datavalue":{"value":"W2154201025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823803$E99128D8-AD3B-49EA-8935-23020D1F69D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13058b6d2d2d14339b203e8e82e3fada301fdb50","datavalue":{"value":"10.1093/JIGPAL/12.3.227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823803$00C8AE24-3B01-4B5D-A617-3473FAB02BFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823803$B0DE72F3-344F-438D-BE40-514814D27894","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621623617ad27b2257ab485b9e9636b0d251c56e","datavalue":{"value":{"entity-type":"item","numeric-id":4304135,"id":"Q4304135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0782d59cb6e25ad6fb9c6b912286daf0c842c8","datavalue":{"value":{"amount":"+0.7850573658943176","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":"Q4823803$C6CAC88F-E406-44F4-8123-8CD57BC450B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd41cf85860439b3be7d63566773110f79f919ee","datavalue":{"value":{"entity-type":"item","numeric-id":377468,"id":"Q377468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddfda2f0d32a48c616c954a7830af94953e040ce","datavalue":{"value":{"amount":"+0.7815028429031372","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":"Q4823803$2F0AEC42-8D17-42A6-A128-F201D5757C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932681efaaf8eb3441d76a79611a0df681bf1dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4796510,"id":"Q4796510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b10f55ebf70ade66db1d87ebdafe3d49816d7de","datavalue":{"value":{"amount":"+0.7649557590484619","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":"Q4823803$842E50A9-88AD-4F0B-A4FD-E40ECCEB5C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9389871a2b7d50b72fa4f2b4e8077e95f6fe95","datavalue":{"value":{"amount":"+0.7600826025009155","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":"Q4823803$F896D2EE-8B72-4516-86A0-8D8CBA7C6DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0891f45889d6e6c669d53d9b1231735f9a3d21f","datavalue":{"value":{"entity-type":"item","numeric-id":5693112,"id":"Q5693112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665d06ee0f6d8c43229b91a9f93440be82ac0127","datavalue":{"value":{"amount":"+0.7589867115020752","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":"Q4823803$64A9ED5D-BB02-4A45-8F15-FA0068788112","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_Sequent_Calculi_Labelled_with_Truth_Values:_Completeness,_Duality_and_Analyticity"}}}}}