{"entities":{"Q5413334":{"pageid":7442908,"ns":120,"title":"Item:Q5413334","lastrevid":100921916,"modified":"2026-06-05T23:27:14Z","type":"item","id":"Q5413334","labels":{"en":{"language":"en","value":"Cut-free hypersequent calculus for S4.3."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6290306"}},"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":"Q5413334$923DB967-C2A0-4C42-AE53-4BB79C4995A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3e7c148a200573fa3fe34e969fb88c7165e6600","datavalue":{"value":"1287.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413334$327B5A73-3B0B-4237-972D-995007D4A728","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5413334$1CFEA01A-EC6C-4FFC-8B7B-B1F1EC6A840A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23041ad0e28c684647ee3157226d262337ca2ff1","datavalue":{"value":{"time":"+2014-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5413334$427AC4E0-FE0E-44E7-95D7-E101750B465F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fde3443fa8be57f735f29284f1e4c0dfa64978e4","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/41_12_10.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5413334$5EEAC92E-3997-49CB-BE37-CAD90F8A4ADA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413334$2DFF3E94-1708-42E1-9494-D062328EEED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413334$FE0FA73C-B5B1-4DE8-B625-2F9E31072BDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41be75a5e78cc49c6df1ee9caee9a8bb4a26bf5e","datavalue":{"value":"6290306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413334$84BE6401-7A60-4091-916B-41C126E52830","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":"Q5413334$922C3D3E-2369-43BE-B020-FFA0A2D38BD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe3c839e47ac30eb17be5e2e55cc5649fcfd459","datavalue":{"value":{"entity-type":"item","numeric-id":477584,"id":"Q477584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e2fc62af1c8a08675f9f91468f342617447b64","datavalue":{"value":{"amount":"+0.8762921690940857","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":"Q5413334$81C7FB74-391B-48C9-A34E-B2BBF44B7A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138e2f2dbcc4e70744d053fb8bf2b3ba9b21dde","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e241f9b3c7cb10adea7b539924378af71c28a53","datavalue":{"value":{"amount":"+0.8750219941139221","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":"Q5413334$C2B110B9-0F45-4F57-AE0D-DD58AC2A0677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266aa60dda3f7903a14184b7f6de7573beeef51b","datavalue":{"value":{"entity-type":"item","numeric-id":5346691,"id":"Q5346691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b4cf5ec073a6c6ada947b59c3a3d5c5458266d","datavalue":{"value":{"amount":"+0.8383881449699402","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":"Q5413334$CF305FE7-6590-40E0-9DFA-40992923A848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eabfadcc6c7e02259b9de46de1f95af4db5571","datavalue":{"value":{"entity-type":"item","numeric-id":5027667,"id":"Q5027667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a337fd5fbf08fb87e092cf35f7aa3e397a50465","datavalue":{"value":{"amount":"+0.8366665244102478","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":"Q5413334$7B3B9F8A-A34D-4500-A676-2DD3FA372D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f846f8b84a24dd2b5e8b5f7d7e17cd5c668057fa","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8dba24d348fb0fa2a3e07e8cea9deab717331d","datavalue":{"value":{"amount":"+0.8353713750839233","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":"Q5413334$A78DD3B1-FCAA-45C2-964A-57278A855460","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-free hypersequent calculus for S4.3.","badges":[]}}}}}