{"entities":{"Q1694451":{"pageid":1705192,"ns":120,"title":"Item:Q1694451","lastrevid":68151366,"modified":"2026-04-12T21:46:45Z","type":"item","id":"Q1694451","labels":{"en":{"language":"en","value":"Proof theory for indexed nested sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833550"}},"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":"Q1694451$B210654A-8042-483B-8E20-006BDD0B0440","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e78443837f742f611746637ba0ec93a88e67770","datavalue":{"value":{"text":"Proof theory for indexed nested sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694451$A3DECDFE-7C96-4AAA-8C14-B2FB96EED4E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e3a28e4d0f7a6747abca6d9580ac64e48dedeaa","datavalue":{"value":"1496.03231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694451$F2BC9D71-8057-467C-A5AC-868DDC0490AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9f0bc4ecbf7d56672c6973adb79f61bcdec4433","datavalue":{"value":"10.1007/978-3-319-66902-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694451$81D18379-37A1-425D-B253-5B83FA6F8829","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"749da45a046df78df31a8068066ac46a7099b035","datavalue":{"value":{"entity-type":"item","numeric-id":1694450,"id":"Q1694450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694451$EE643927-1395-4862-B90C-3F2482906798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694451$00389453-A956-40D9-ADF7-6899EDA00791","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694451$B1259F63-45FC-4440-BEAD-5C64CE8B6D6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fef84dc1323acf4069c5670154c1e761b82eac65","datavalue":{"value":"https://hal.inria.fr/hal-01635935","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694451$1C4F14D8-D2EA-4A59-AC6F-C37D1F8F34D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694451$ABEB701E-D1A7-421B-AD70-620010786ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694451$9415FCB5-B685-4B37-9706-32953BFEA1CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50a2fdab449e261aad75eb18856f46a756142cfb","datavalue":{"value":"6833550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694451$80618A1D-959F-4107-90D1-47D0610E673D","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":"Q1694451$FF87AC60-1079-4403-8247-4ECC21A3D2BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"546538e428364d79c9e87096bb6d31f67c04ae9f","datavalue":{"value":"W2751722433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694451$739D70CF-9024-4894-A6D4-ED5EE873B9F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3ec190934def56b667dd0717430e03d589d5af","datavalue":{"value":{"entity-type":"item","numeric-id":2817941,"id":"Q2817941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979e7e5b85b0b4cf4e79fe57c8858e90068b8d00","datavalue":{"value":{"amount":"+0.8391004800796509","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":"Q1694451$014774E0-F5DD-46E9-A0BA-D9280EC2067D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a2529a72ec646d3dcae8e924a2808082975931","datavalue":{"value":{"entity-type":"item","numeric-id":1372944,"id":"Q1372944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31915304b1f7c1eea9413d1c583ff5efde99d8f1","datavalue":{"value":{"amount":"+0.8385224938392639","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":"Q1694451$5460573C-16BD-47EE-9816-1273099A1E70","rank":"normal"},{"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":"1f3c8a7d90d3a70d73c22826b85f6977591aa4fc","datavalue":{"value":{"amount":"+0.8385224342346191","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":"Q1694451$A2005306-9C0F-4805-A75B-D77A5E923AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c9696d466114212941c86d3ceec7394aac4b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b3e3684cf6c306978527dc717d66e5d466ad4e","datavalue":{"value":{"amount":"+0.8343799710273743","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":"Q1694451$D455541D-687C-4C86-A241-E954097BBB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4d57438fe988cb5a7b59bd350004c41dbdb6f7","datavalue":{"value":{"amount":"+0.8183671832084656","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":"Q1694451$D453C2C8-E609-4CF7-A40D-C56F4FE5467C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory for indexed nested sequents","badges":[]}}}}}