{"entities":{"Q4644546":{"pageid":6674127,"ns":120,"title":"Item:Q4644546","lastrevid":58313028,"modified":"2026-04-04T16:34:34Z","type":"item","id":"Q4644546","labels":{"en":{"language":"en","value":"Grafting hypersequents onto nested sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997958"}},"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":"Q4644546$02C0BA3A-0C50-40A6-9667-FD90FE0351B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cb64c3329c33e061b880a76e548887703019d9a","datavalue":{"value":{"text":"Grafting hypersequents onto nested sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644546$A571C64C-CB2E-4789-9104-BE3ACCCBB5C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69e0c9eb9a9c894e922dae3be07eb58acee1f1d0","datavalue":{"value":"1405.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644546$F67B3668-80E3-410B-B4C7-FDDFE0F9E476","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644546$D59A7575-D117-4F7D-99B4-D9F3143AC9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"900b948a3c89cfd527e771da7f94f9ede8bdc85c","datavalue":{"value":{"entity-type":"item","numeric-id":344800,"id":"Q344800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644546$904CF429-180B-4B2A-973A-C06A057FF36A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644546$0E4E58CB-09DD-4E95-A053-26EFED5E66CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92a0583a0c5b9bc616b54fa070c959ef8d8b78cf","datavalue":{"value":"https://arxiv.org/abs/1502.00814","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644546$2C61F867-6089-468B-9CFA-E09E1EEBB36F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644546$3DEE619E-A93D-4CB0-A494-57D28981A59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644546$DA192F8A-79D9-41A1-948F-17A017C61CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644546$33AF8104-12F9-44AE-BA98-F3125635B8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644546$3F8AC101-1015-45CE-8049-98AC5CE2EC57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5e031de14f7f0eb2083da7a543471f07dd6455f","datavalue":{"value":"6997958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644546$4ECD1513-6A91-4465-9EF5-8D87CEBE22FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644546$4E0AE5A7-D175-4717-A6AD-78E3339E8036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644546$1F1DE96D-E376-464E-B645-47B8874A9126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515029c8cd4d6159ddffc5f6313d73c7eefdc341","datavalue":{"value":"tableaus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644546$99413C50-CA8E-4D5F-8B02-3608DAD01121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644546$74B9540A-C215-4D36-B7DD-AD99F01DBC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644546$0435B9CA-E763-45B4-A191-844CDA8ED3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644546$DACDE553-385B-45D4-883C-8C35DA871433","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":"Q4644546$3A65DB16-A56B-4F5A-9F03-3731DCB313BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26ffe7349336e065c32609bb44a6e89ca1cec4e9","datavalue":{"value":"W1765007146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644546$B956D54A-99B8-4E7D-9F85-72AF7C35741D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49d982ba4f510aad3579e5edec84d760b2db006a","datavalue":{"value":"10.1093/JIGPAL/JZW005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644546$FC57DB8F-DDCC-418A-9656-AA5A4A8FC775","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644546$873DBC87-CC32-44A3-8DCF-4A454F3FFBFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c7f2395626268aa3fc743c01a6f8a5338d5119","datavalue":{"value":{"entity-type":"item","numeric-id":5419884,"id":"Q5419884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8507493ad347274e9878d423c2e2a2bb380a7f","datavalue":{"value":{"amount":"+0.8710734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644546$2C56BEC9-A679-48F3-8C14-347319D3D488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01ede27f49129e2d739ffa77ff8b0285d00c2d7","datavalue":{"value":{"entity-type":"item","numeric-id":3455766,"id":"Q3455766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6da6cfe778e0fda8e2318d0ca1934146319d0e9","datavalue":{"value":{"amount":"+0.8640751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644546$CF92A8CF-E2EF-4EE6-9A8E-5DC3AAA4E7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab374628cefd8f6cca3ba581bccb3693f2a7120","datavalue":{"value":{"entity-type":"item","numeric-id":5884946,"id":"Q5884946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facdd2c9bd51b11cca291e56d616adec5fc1579d","datavalue":{"value":{"amount":"+0.861835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644546$CB51E362-822A-4FC5-932E-942166C49D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d628ac21af2fdee5f653b7ffaf20ed68d5c754","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5783bfbe7a40860d40e0e2b06052c70343499f4c","datavalue":{"value":{"amount":"+0.85238355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644546$E875DF08-B61E-40B4-AEB6-340815989D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2576c18a9e4b5008104411dc21f38fb1c1d8a3c","datavalue":{"value":{"entity-type":"item","numeric-id":2811354,"id":"Q2811354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf9c78611b6f202c9d99b54e28b6534ae9c624a","datavalue":{"value":{"amount":"+0.8516409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644546$5366D1B6-76D1-4048-81F3-C77FE45D1C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c791c8d7a791d86a63d37b23f5cc1309e8f76eb8","datavalue":{"value":{"entity-type":"item","numeric-id":6172067,"id":"Q6172067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7265ccaeaabc6507fb6602578aa85810dcf57a3c","datavalue":{"value":{"amount":"+0.83979964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644546$492CBE7C-B3DE-436A-9C97-F359ED368963","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":"4a568133950dd2489b02193b9eb1b2b86d75e95a","datavalue":{"value":{"amount":"+0.83975875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644546$7C62D741-58DD-49D5-A985-C12CAB012C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80981bd29aaa2f163271ac6bef507931a8466b17","datavalue":{"value":{"entity-type":"item","numeric-id":5419898,"id":"Q5419898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b17ed82684152dde636d80cad2710f634305ca","datavalue":{"value":{"amount":"+0.8394789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644546$96610000-4D32-40F8-B69D-82FDA48DF0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c519bef2132e51d8f59e67a71f7e4cd360762ff","datavalue":{"value":{"entity-type":"item","numeric-id":4579958,"id":"Q4579958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58cbc98ea1c00bc090f2658a321f6e3b52eee68","datavalue":{"value":{"amount":"+0.834951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644546$551390F2-2CC7-4380-A07C-94C183B75553","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":"6dd5643b7a777150809aace92b1ad24241c0e927","datavalue":{"value":{"amount":"+0.8343383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644546$3775C846-5D0F-4C73-8632-940F578A98BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644546"}}}}}