{"entities":{"Q4221771":{"pageid":6251372,"ns":120,"title":"Item:Q4221771","lastrevid":46593480,"modified":"2025-12-25T03:54:31Z","type":"item","id":"Q4221771","labels":{"en":{"language":"en","value":"Translation of hypersequents into display sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1228627"}},"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":"Q4221771$62F7ED11-1F1F-4245-8EC1-687E2CD5FE75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d85c37a63523d96fb7539c5ffa930006203c280","datavalue":{"value":{"text":"Translation of hypersequents into display sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4221771$7A85975B-2300-4EC5-9AA1-90860F8FA7E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15b80805a586f1be0768ad4e4a027ae999b9d7ea","datavalue":{"value":"0917.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221771$7C03AE12-62F4-4533-9289-3B023CF4B6F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221771$0BF1239C-7EFA-4E1D-B8E6-CFD2F3677B4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5130c74a15596fd3ed0f01aac43106f5d32fc17b","datavalue":{"value":{"time":"+1998-12-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":"Q4221771$087543F7-267C-4FAD-BDDA-E1F8CFB7B2B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221771$A53FD160-BF53-4C35-9290-FE86888B35E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221771$811C2A58-8E5D-4195-9404-9AAC600E2D2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b9f9c14e10827bd4950a3eda78f32163e76ae2b","datavalue":{"value":"1228627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221771$0F5E7013-B1B0-4C48-B1DB-EEC053A7E570","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221771$71787DD1-64EB-4011-BFF1-38E06EB87AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"277e6c5b9dafc9b7a8d4b8f3f143cdc85f8f42be","datavalue":{"value":"cut-free hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221771$1491FE56-8AE7-4A4D-AE83-CDECF0A59355","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":"Q4221771$03E6B756-E735-43BD-A53B-B488298A7CF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae6cda105f04bb3c3255eeabff1f33a5138dc9fa","datavalue":{"value":"https://doi.org/10.1093/jigpal/6.5.719","type":"string"},"datatype":"url"},"type":"statement","id":"Q4221771$FFE37D6E-BF9D-4801-90DB-D482AA9F23B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24cefc4f72a255711c17f6d92763c2c60f043cf2","datavalue":{"value":"W4249227847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221771$1638DC88-6605-4298-879B-97D51FFA69E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52bd60d2637a96949941affa265688d72f2c8417","datavalue":{"value":"10.1093/JIGPAL/6.5.719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221771$8C9A3443-6171-4262-96AD-E657D8E03C93","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":"Q4221771$C8956B52-2C54-431E-884F-5DE601BFBE20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a36b64c65f3f5e25bcf0a82c6f93f1c5fa1758","datavalue":{"value":{"entity-type":"item","numeric-id":5258963,"id":"Q5258963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39a471242560d587a1c9c9ffb2ee7abc4598fdb","datavalue":{"value":{"amount":"+0.7806792855262756","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":"Q4221771$29D1403C-ABC3-4D55-A6BE-A1DFB311C037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec3cd58b4a5c92b91e24712a1e1ca65eb52d4ea","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d35b3107c533a6667610ad76491c3a87b03f5d","datavalue":{"value":{"amount":"+0.7752475738525391","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":"Q4221771$9875101F-36E4-4A66-8690-586FA4A0F28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a05ed2e7e0eeafb05e9788bf11d94e12893d65","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13e4fc0f0b0e4ac3b74663520c76c610581691a","datavalue":{"value":{"amount":"+0.7627154588699341","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":"Q4221771$A8B6E172-1728-49A4-9EB6-E6AB06D38920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95581da49d8e3c37a4665da04d77b92186b104e8","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfee4c40a9bb43b294077e019fa1e04fb4d3e87e","datavalue":{"value":{"amount":"+0.7618218064308167","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":"Q4221771$D6E07386-9044-487D-A096-BD974E65AF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c52b4e6fdf340f53adedfb3c1c81ff8c5d5055","datavalue":{"value":{"entity-type":"item","numeric-id":5262490,"id":"Q5262490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b4065a8d246d0d37b62e9ef7dbcbbb1ca15e1d","datavalue":{"value":{"amount":"+0.761347234249115","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":"Q4221771$AC57E220-9A67-463B-8F27-B1C2D022793F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4221771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4221771"}}}}}