{"entities":{"Q2938143":{"pageid":2948863,"ns":120,"title":"Item:Q2938143","lastrevid":85239149,"modified":"2026-06-03T06:23:34Z","type":"item","id":"Q2938143","labels":{"en":{"language":"en","value":"On the construction of analytic sequent calculi for sub-classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385958"}},"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":"Q2938143$1DB45FC4-DDB7-4706-B3A4-9320B68176F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27303a84c05fe79c21cfec6576262543d61658e6","datavalue":{"value":{"text":"On the Construction of Analytic Sequent Calculi for Sub-classical Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938143$5670EE92-6B7C-4DE3-B0E5-3CF582B6B2E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"236114d31b6fc8ef9f28abc216cbf0fbaeaddf2c","datavalue":{"value":"1429.03191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938143$78467897-4399-4657-85DB-ACB5BB1EBDFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8839480d251587c7c3a0c9f47dcc9ada262f22fb","datavalue":{"value":"10.1007/978-3-662-44145-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938143$79176561-97B7-4908-A3CB-0A694CB2E0D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938143$A0DF99A1-67DC-401D-B5FA-AB37723EF7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938143$C2C6A834-6A10-416E-8EA4-7477A88EB0FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938143$843AADCF-2EB6-4739-9FE5-28CD93AA166D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938143$93A4D735-C162-4DA4-B9D9-758FA3137BFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938143$27840326-8011-49D4-9B7B-BC3B7915E0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938143$D92DAB45-B71F-4F2C-9781-30482BDE5FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938143$64321DDC-00DF-4FFC-ABC2-83A9E2407F15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de9e01bf75c3d080c4f334cdcb37eb4ffa10e80d","datavalue":{"value":"6385958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938143$C3571164-FB4A-4E10-BF8B-38D74B41DB77","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":"Q2938143$BE45364F-E419-45B6-8D60-410A4E12BB17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4f63a634fbd40a846210a80b538f1cdd3623264","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44145-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938143$241612D9-E3AF-4F89-B5E8-D5AE518858D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c807be00ed9624080a935febe94d25680dc0e60","datavalue":{"value":"W183020182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938143$0263EB4D-8440-4C92-953A-40DDE041BF8E","rank":"normal"}],"P1643":[{"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":"22c3e5b3120be2d3a8767554051ac79261335431","datavalue":{"value":{"amount":"+0.7884110808372498","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":"Q2938143$14B00024-686A-4165-AA02-AA31CBDF8E68","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":"d89f58961b54f3bc183f30ccbb525cc232d051bc","datavalue":{"value":{"amount":"+0.7832390069961548","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":"Q2938143$DDF0C9E4-FE6E-4ABC-AAE9-8DE372C667BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220b35dc6551c53fbbe227177ab7c4742afbcdf2","datavalue":{"value":{"entity-type":"item","numeric-id":2938481,"id":"Q2938481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005a15e25c62e0f0c0d66de145406b162d4f5a4f","datavalue":{"value":{"amount":"+0.7788117527961731","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":"Q2938143$61466610-C93D-4452-85C2-3473E3232D5F","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":"7493fbdb921e5ebe0b2d18e1a5249a5471076469","datavalue":{"value":{"amount":"+0.7768476605415344","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":"Q2938143$B465A4A9-BD5C-4455-BB0E-2F0CE8C926A4","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":"7966b779f1c4802dea2849bae7b48ab991fbd207","datavalue":{"value":{"amount":"+0.7752055525779724","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":"Q2938143$682A4A64-2496-43B4-AB86-9705B7480F3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the construction of analytic sequent calculi for sub-classical logics","badges":[]}}}}}