{"entities":{"Q4918406":{"pageid":6947988,"ns":120,"title":"Item:Q4918406","lastrevid":51701693,"modified":"2026-01-19T13:50:07Z","type":"item","id":"Q4918406","labels":{"en":{"language":"en","value":"Proving completeness for nested sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6157341"}},"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":"Q4918406$4256FA01-A575-477F-8477-CC24B99513AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dae6cc12bd3106f29054b269b8a7659051e49daf","datavalue":{"value":"1261.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918406$CF48AE06-51AA-4DE3-84B8-9B3207B12970","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918406$E8780EE7-7B8C-464A-AE6D-C2E980A90FD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e216c612d07f9116b5513eaa13cb6534e6ca9d3e","datavalue":{"value":{"time":"+2013-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4918406$FDC21FAA-2B45-4A02-85F8-ACE22B9328A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918406$37C56C4D-B519-4510-BE1B-C4C125358740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ee19032f64e8497c3d4f59c316486ca80c22730","datavalue":{"value":"6157341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918406$033C24A4-E072-4B8C-954A-52A32CE74159","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":"Q4918406$D0F6C7E4-C93A-436A-9164-74019F1E846C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1e5c6acb9e6c6c701600252dc2d0e75a1d201a","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44aead2602c8aefa8ecf8d258808a1febc6f5c5c","datavalue":{"value":{"amount":"+0.7598596215248108","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":"Q4918406$682B15CC-7E2B-4641-9BFC-67FE2A10BDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f314dc8c70a995af2594261e2122f34ade523e9","datavalue":{"value":{"amount":"+0.7585967183113098","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":"Q4918406$BD5681AE-8869-413B-A85F-485DD9EB0104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2fdaf8a4e85bb7438c5a335fe9c7b04acca96c","datavalue":{"value":{"entity-type":"item","numeric-id":2804318,"id":"Q2804318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca39f850aed6a9f8f51d67cb91ff5194def13a54","datavalue":{"value":{"amount":"+0.7582616209983826","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":"Q4918406$6D126E68-6EA4-43A1-A897-6A36E18F4CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5e1e2f9fff3e69c780ffc84220f5007fef660f","datavalue":{"value":{"entity-type":"item","numeric-id":2915054,"id":"Q2915054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51daf7b1a782f389312a495d0d5639e5b63cb217","datavalue":{"value":{"amount":"+0.7566587328910828","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":"Q4918406$E720AE20-3419-4BBF-8556-625D5F5F8640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16ad418b8b98a9de95cfe3f9f18097a42592087","datavalue":{"value":{"entity-type":"item","numeric-id":2180514,"id":"Q2180514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859b5c6baec3903400c14bff0b075ceff664a2d3","datavalue":{"value":{"amount":"+0.745312511920929","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":"Q4918406$EE57D386-A4F9-4BFB-A9A8-A355341BA544","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4918406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4918406"}}}}}