{"entities":{"Q4903811":{"pageid":6933390,"ns":120,"title":"Item:Q4903811","lastrevid":51643088,"modified":"2026-01-19T05:35:22Z","type":"item","id":"Q4903811","labels":{"en":{"language":"en","value":"Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6130990"}},"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":"Q4903811$921A63CC-A9CA-4866-904E-77436CC5BA1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"945b521208cc4ddd2065de553e858f39233187be","datavalue":{"value":"1275.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903811$0AB07AEC-7FBA-4A02-894B-D8F42B90F9A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903811$1C811ADC-EE70-4AD4-B996-53368818AA81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1539a9b191aecf3f119041e1abcfc9ffbe841e2","datavalue":{"value":{"time":"+2013-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4903811$5EDD75C7-B202-4778-B685-71C698A6C495","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903811$1132D9CE-90DF-4FC3-8EBC-68D4AC28774E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903811$85C76461-D4C7-4C70-AABE-FC8D2B5C0964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf4246473407553745449f9ddf5cd5dcf0c4b126","datavalue":{"value":"6130990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903811$6A15B80D-2395-443C-9EEF-7E88FB932460","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":"Q4903811$5F35CC75-3A11-459F-A838-9459A5ECE8DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a205a4baf2ee5ce254c9aed423a323965ecb2518","datavalue":{"value":{"entity-type":"item","numeric-id":2339009,"id":"Q2339009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a05c8c1f391d7c67cdc39b24b67f7a2939b4a0","datavalue":{"value":{"amount":"+0.8092583417892456","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":"Q4903811$941098D5-BD3F-4694-A3E9-891F2C948F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f3bf87a49342d086ee59b2c2e650824bb877fed","datavalue":{"value":{"entity-type":"item","numeric-id":2254558,"id":"Q2254558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b12f68f5d2c5aef35e0e21f4c5d7389e9d1e374","datavalue":{"value":{"amount":"+0.759012758731842","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":"Q4903811$7E1F0C33-C445-4BA8-A559-FD691AA5F907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e23a27b2c4eef5b9cde4a80fc7745ca709d64b6","datavalue":{"value":{"entity-type":"item","numeric-id":2500822,"id":"Q2500822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472a97d6b2988b36039739478eb359afcb1e762a","datavalue":{"value":{"amount":"+0.7431610226631165","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":"Q4903811$18099FFD-7780-4A03-84F3-C3E5851A2B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e26ce1230c9b8bee351f13d20c5d280087553d","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e1a1d37c32b1c47d19d2da4d2055d1a6ec7c27","datavalue":{"value":{"amount":"+0.7361516952514648","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":"Q4903811$41D155D1-264A-4D25-8B6D-89E3F6B492A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0eda87278d89af66a50920b8668918d4a226459","datavalue":{"value":{"entity-type":"item","numeric-id":2690170,"id":"Q2690170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e43a333b43a052845971f6aaaddde50b2dc790","datavalue":{"value":{"amount":"+0.7311809062957764","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":"Q4903811$6CEA7638-CE2F-48C0-AC87-53592A7B0ED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903811"}}}}}