{"entities":{"Q2180510":{"pageid":2191253,"ns":120,"title":"Item:Q2180510","lastrevid":72778749,"modified":"2026-04-14T07:46:10Z","type":"item","id":"Q2180510","labels":{"en":{"language":"en","value":"Bounded sequent calculi for non-classical logics via hypersequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200663"}},"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":"Q2180510$BF17FB32-0C6E-46F8-86E0-3EA5B03B7C25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06270e089c19445998d7097e68a579c19022c338","datavalue":{"value":{"text":"Bounded sequent calculi for non-classical logics via hypersequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180510$C63602CB-2C2F-480D-B0EA-23C6F6B16BEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e11afe2ba4707c91de4f64c58ff74dd66883a36","datavalue":{"value":"1468.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180510$E9D81AC1-BF3B-4397-97A9-80E68990F827","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a8b55748b764c2d0c7d705d184a06b15d5768d1","datavalue":{"value":"10.1007/978-3-030-29026-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180510$CD0884B7-C63A-422B-94A7-F840354C2C8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180510$FA710BF9-4CFE-4B4F-9A3B-EB30C6B8C896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4648823819593688ed4d5c8cf234cbfd0e332c66","datavalue":{"value":{"entity-type":"item","numeric-id":1694452,"id":"Q1694452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180510$C6BEA49D-8449-4E49-B8DD-32E35E9DE88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd26fdbdfe1d2fb01e4aa125652a423d7111de5","datavalue":{"value":{"entity-type":"item","numeric-id":1709694,"id":"Q1709694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180510$AD4C7A58-E751-4FE1-B7E5-E2BB3CA4B073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7de1f12a4b81f8e35c9663469c9c0ea0df019fb","datavalue":{"value":{"time":"+2020-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180510$9CF88BCE-3489-415E-98C4-9CA4D3616B22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180510$7E276E82-1DDA-405D-BB02-1F4FF32EA41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180510$48A6544E-B501-4F37-946F-EA4A3770D6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180510$0E0B4867-9E1F-4B7A-94D8-A927021472C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180510$A9A0AE64-B3F6-4EE8-B406-239C5C8A7592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dc2e43e2022dd084e8149b189d4e939eb31f5ce","datavalue":{"value":"7200663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180510$ACA3EE66-C033-40F9-83EC-681EA65F8520","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":"Q2180510$93A08476-C9DF-469D-B988-AB1436F71447","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99c22c2e3da2b3e9750ed680c915320d4d6facea","datavalue":{"value":"https://doi.org/10.1007/978-3-030-29026-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180510$8EBCC8D7-283A-48A0-8227-00898260DB7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28d3f059167e784d5e0a1fa6497636415562fd85","datavalue":{"value":"W2969635640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180510$A089CA2A-18A2-4CAC-8F08-81EEA505D1F6","rank":"normal"}],"P1643":[{"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":"31d9e719cdcfb33ced1e2734c0202cf4548dfde7","datavalue":{"value":{"amount":"+0.8276193737983704","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":"Q2180510$DA75FED0-E475-4364-9714-5D01A3F2A553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f846f8b84a24dd2b5e8b5f7d7e17cd5c668057fa","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604e4c340cede6c22f831519084788271c534326","datavalue":{"value":{"amount":"+0.8207914233207703","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":"Q2180510$C365BA75-A8E6-45F9-84CE-11344D3E7B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516992fd13d1d592839f04e183d2a6a3f5ce23e3","datavalue":{"value":{"entity-type":"item","numeric-id":344801,"id":"Q344801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552b9e9a5c8ee5ce70993ad3a599589c3ccadecd","datavalue":{"value":{"amount":"+0.8114931583404541","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":"Q2180510$E0C27005-65C4-4D65-88C4-018206980D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eabfadcc6c7e02259b9de46de1f95af4db5571","datavalue":{"value":{"entity-type":"item","numeric-id":5027667,"id":"Q5027667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50ac4a2da8007804335d0acc5f3beffd0c9224d","datavalue":{"value":{"amount":"+0.79926598072052","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":"Q2180510$F2BD8490-7649-4FC9-92FA-AF1B2449F1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a05ed2e7e0eeafb05e9788bf11d94e12893d65","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7c354855c3e68f5cb4c2b73486be4418ea0426","datavalue":{"value":{"amount":"+0.7980043292045593","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":"Q2180510$6CA44062-20D8-46F4-85DC-DC17710802EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded sequent calculi for non-classical logics via hypersequents","badges":[]}}}}}