{"entities":{"Q2973444":{"pageid":2984169,"ns":120,"title":"Item:Q2973444","lastrevid":52773776,"modified":"2026-01-23T11:38:57Z","type":"item","id":"Q2973444","labels":{"en":{"language":"en","value":"Common knowledge: a finitary calculus with a syntactic cut-elimination procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699754"}},"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":"Q2973444$8BAF8679-1232-455B-92AA-092F2E500619","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4e78366a6687c9904fba0ae4425adba0061c554","datavalue":{"value":"1373.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973444$8C7B9849-6B39-42F8-B3B8-8462FC734995","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86dae6afb00d49d33cc1d1a51ca7e2bf352a070f","datavalue":{"value":"10.2143/LEA.230.0.3141811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973444$746EA96E-233A-44D4-AA21-CCD1C16893CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54f3f146d4c950a3a5ffcc19e82123e94fd4cf97","datavalue":{"value":{"entity-type":"item","numeric-id":332081,"id":"Q332081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973444$189EE567-2FE5-41A0-965F-4FDF7D10D528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb59f6d9185e91aaaf08e5392ef43a57e77566e","datavalue":{"value":{"entity-type":"item","numeric-id":306746,"id":"Q306746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973444$65C2DC15-1C63-4470-9C48-180C3A1CCBEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04f7a2f550909c716d55bfcdec42733ff339d9d","datavalue":{"value":{"time":"+2017-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2973444$FDD7F5B2-0074-4E27-9C73-4C29ECFF4638","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973444$6E1A513A-D80F-4633-B791-6B32E5C1BB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973444$45F846EF-6EF4-48B1-9265-5AC7B223F793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973444$FA9C873C-E662-4413-A009-82AA607701FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b78b9d94c281be9247b1ae2cf1efa0166ce9d4c","datavalue":{"value":"6699754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973444$7B3725F5-6014-4BE6-BF4F-59F69B713EF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6eaceb3c3d9dd3c15bb339405c9c9aed38e70a","datavalue":{"value":"common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973444$6FF32FEE-843A-40CF-A18C-5C03E83BF7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973444$223622D2-C152-4E0E-9749-CBA230A6D8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973444$9FF62682-B518-4374-BC4E-2DA1677B7E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d613ed31858cce35f3bc3fc0947cd06a77f1ea","datavalue":{"value":"indexed hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973444$A3614445-AA5F-405F-8445-43C67CBB1A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0b506ec5ce8d99fe356a0c6c3e3c424641b194","datavalue":{"value":"cut elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973444$6C63D8CE-26E3-4A10-B08B-FEA635DF554D","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":"Q2973444$4DBB78CE-633B-4FB0-8A08-87B1D1A8DFBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c00f23ba6f6420028143d5ce2f8dfceb40ce498","datavalue":{"value":{"entity-type":"item","numeric-id":2475436,"id":"Q2475436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9198f2458eac1f3cb47c620e5febb29253c450","datavalue":{"value":{"amount":"+0.8812780380249023","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":"Q2973444$5327A88D-BD49-4D8F-AC56-22023941FB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361718c2db0e951115b7ee4ebf37bb3124a74e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4982123,"id":"Q4982123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c9ef42e665ad7551f6031799bd02285d767076","datavalue":{"value":{"amount":"+0.8502573370933533","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":"Q2973444$A2A7197A-6B6A-491F-BC6C-B66AF222D7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda7bb88146d79022676266ce860752d2c5119d3","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77479d241c0766659541fff646392004172452c8","datavalue":{"value":{"amount":"+0.844351053237915","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":"Q2973444$DB485E94-CF3D-4E81-9789-1122FA09D440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0bf6641ae10c23cf55b0e222b2df7fa6133383","datavalue":{"value":{"entity-type":"item","numeric-id":1024553,"id":"Q1024553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d4a5a8b07df240648b3ebb1ee030ed20e5ceb6","datavalue":{"value":{"amount":"+0.8382956385612488","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":"Q2973444$1101EC4E-4241-4FAD-978C-F87440B7E644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0136ba771022afe1a1a65d2472f604d60be11eb2","datavalue":{"value":{"entity-type":"item","numeric-id":3299587,"id":"Q3299587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00c7ed3a13ef49e877a6ba1f41dac3a45cbcd57","datavalue":{"value":{"amount":"+0.8379678130149841","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":"Q2973444$1116A128-04B1-4AC0-A648-82B738B7D95C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2973444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2973444"}}}}}