{"entities":{"Q4982123":{"pageid":7011701,"ns":120,"title":"Item:Q4982123","lastrevid":52231595,"modified":"2026-01-21T05:20:13Z","type":"item","id":"Q4982123","labels":{"en":{"language":"en","value":"Syntactic cut-elimination for common knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418743"}},"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":"Q4982123$839C9379-CDD5-4ED5-A373-905B4B465B87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b47a1c9ba6d1628fbbfd4b9668c220a5272ed514","datavalue":{"value":{"text":"Syntactic Cut-elimination for Common Knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982123$A2F7A383-FAFC-481B-953E-ADADB669F904","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b2570d0d4205e6cc87e7155b958c54425bdca9c","datavalue":{"value":"1347.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982123$6F5C1931-A0CB-4AEA-8533-555DFED95812","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4b8e93464bd8436b70044ab37bdd425a7513d2","datavalue":{"value":{"entity-type":"item","numeric-id":714716,"id":"Q714716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$37BE1191-1B29-44CC-91DF-F3ED25DFC924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$E2498A63-5829-4736-A1B8-91E258E94E87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$A7849569-7249-421C-B1AA-B526ACD87E24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982123$5D82F09F-622A-4F45-954B-33E87027B75E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982123$2B736C8E-6486-4805-A6F1-AB376DD5150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982123$C118BE17-0FAE-4503-9915-52D4C79E5ADC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c33d4f1fa8b219815871040bf6a1808e0413ca8b","datavalue":{"value":"6418743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982123$86EEF8F7-908E-4ADC-A53D-9F16B5AF5B82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6eaceb3c3d9dd3c15bb339405c9c9aed38e70a","datavalue":{"value":"common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982123$893F8B5A-1506-499F-88C6-82F268E915F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982123$A277F363-7D45-440F-8B69-83896D50273B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e03202ac9d2f7308a937347e9aed02ad56e42ea","datavalue":{"value":"infinitary sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982123$A4813E6A-4F5A-4955-9B7B-0A01F7923FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3922f889710155463bbe8ed2d8df5a3096a03505","datavalue":{"value":"deep sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982123$C207D9C8-9D1A-440B-A3DB-1FAE887FD0E1","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":"Q4982123$F717F894-7BCA-4616-A19E-40A3793BB2EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4e9cb8fb8ce77cc13ff60cbc250590fd1f45896","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982123$10BEF57E-A5EA-46A0-B87D-E61D8D61A016","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd369a4b5f3de89891d43a7e13dda4bd043bf003","datavalue":{"value":"W2085452636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982123$BCBA67C5-F071-41AA-A536-1E9696F61E7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d0bf0a6cc5352e93ae868670d4f1ac2906a84","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$171A0081-0882-4623-B3D2-D1CC9AEDEF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802b92179426485912c2faef566750722ed4017","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$B15C5ABC-290A-46E0-9E8F-EF7131F5E5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6015f5a7506db6339797c5e813961394d9eedd0f","datavalue":{"value":{"entity-type":"item","numeric-id":5434494,"id":"Q5434494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$A13556D1-9785-48C4-ADB9-4D8CF20BDF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f082372987ccabc92cbd0d14c450ff1b25ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":2500478,"id":"Q2500478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$58F7AABE-A968-4621-B94F-0F93FCEAC7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c29138920afdd872cf6e3791feb17594655142","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$A0374F06-5BBD-47B4-A2B5-89F1EE020212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$E5CB80F9-FBF7-4F2C-BAA2-F29DDB574EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$4BE228A6-192F-4B6F-9C2B-3F1404E4D1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$B57EBBD6-FF05-48F5-B1EF-6E465A57F174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc207fadc6ba9564432e7709593a9b3cf923d465","datavalue":{"value":{"entity-type":"item","numeric-id":2475436,"id":"Q2475436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$B1741464-627A-4162-9AB8-CFED09C3EB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$523C0B87-AF52-49AA-8C6B-A3671EF62830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a52ffcc834194620943ec4a87fc97578b45281e4","datavalue":{"value":{"entity-type":"item","numeric-id":2506830,"id":"Q2506830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$ADF475B7-1C46-495F-89EA-6E29AD43B4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$26CE4EFA-E089-4D75-B9C2-8B85875AB0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c394edfe97f2771d3f458e785c6ac06b6755082","datavalue":{"value":{"entity-type":"item","numeric-id":3358711,"id":"Q3358711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$0CDDF517-CC0A-4FEC-8822-AD43A8EE976C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798ecd2352848fc7f05ce377ca3bb7ca030a458","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$4DEEE81F-5343-4269-BC37-1D15650042E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec940eee0477184e354b8959d22d2df44a783c7","datavalue":{"value":{"entity-type":"item","numeric-id":4215633,"id":"Q4215633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$50A4810F-E40F-42EC-8008-CFCD9FA49C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203318c557c82294d1a13a7b0ee8923a35f083bc","datavalue":{"value":{"entity-type":"item","numeric-id":2648344,"id":"Q2648344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$39F4A11B-4FA0-48B3-8A52-ABDA92086A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$99632F60-7152-434B-9A48-6152B50FFEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd156e93f1e8a800af5e3f23078f66edcdefe75","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$319548EB-04E8-495B-A910-329D4E4C70CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df112f62a43a9d44047fd2e019422f51de9dc089","datavalue":{"value":{"entity-type":"item","numeric-id":4465172,"id":"Q4465172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982123$AE0FF303-D7D9-426B-986A-57C574EC6EAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af26a225556de5a52b2f716f473a6ee4e13e3559","datavalue":{"value":"10.1016/J.ENTCS.2009.02.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982123$9DD8A368-CB61-48A0-9462-AF5B0C4598AD","rank":"normal"}],"P1643":[{"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":"1941f9628283c51315ec08be5244fcc3041bf4a1","datavalue":{"value":{"amount":"+0.9683245420455932","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":"Q4982123$CF5A8D69-7807-4016-A799-E06687103AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c82d7ea3abe638f84dea7f03893272e5e5ac08","datavalue":{"value":{"entity-type":"item","numeric-id":4465172,"id":"Q4465172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ddb0c346e7583f9b55563b6df2a417c6e220de","datavalue":{"value":{"amount":"+0.9283583164215088","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":"Q4982123$0DBE9FA4-C4F9-4B29-A8AB-2605D72DC74D","rank":"normal"},{"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":"f74780175df15fbb97dbc9462e1ee6c2524cb514","datavalue":{"value":{"amount":"+0.8746480941772461","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":"Q4982123$8F5C2DF3-A124-418F-9B22-2FF31F16017F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1f46073c3621d2ba073c3d70cbb7d015be3d55","datavalue":{"value":{"entity-type":"item","numeric-id":714717,"id":"Q714717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b2675a7990a2636ed85ada2e6c037f4d2407b7","datavalue":{"value":{"amount":"+0.8705278038978577","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":"Q4982123$2D751D40-92ED-4028-B2F7-C17A101B7E98","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":"0bb39e6f1dd166a8a2c3b9559333c2ac3de08a1c","datavalue":{"value":{"amount":"+0.8603309988975525","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":"Q4982123$A2B02E97-9B1E-4933-A802-E5A2097B931E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982123"}}}}}