{"entities":{"Q5176550":{"pageid":7206122,"ns":120,"title":"Item:Q5176550","lastrevid":91481720,"modified":"2026-06-04T23:16:50Z","type":"item","id":"Q5176550","labels":{"en":{"language":"en","value":"Terminating sequent calculi for proving and refuting formulas in S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6408994"}},"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":"Q5176550$C3A92EEA-16A3-44DD-880E-902305FD125B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6454e1f2d6f52d45bab5b70449dee37528def3e4","datavalue":{"value":{"text":"Terminating sequent calculi for proving and refuting formulas in S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176550$21E342DC-592A-4C3B-A94F-B2785B409C8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c606b880febc61597f2f2f61d845d89f5316a82","datavalue":{"value":"1325.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176550$58501600-2857-4F34-8F13-5DC7C9991EB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176550$0F0A2937-6084-4D14-8F7A-3DCC6089F3EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ea42cfffdc8c5bdda1d795734ee3c6ac8ef700c","datavalue":{"value":{"time":"+2015-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176550$B444D6E1-A215-4D44-A91F-8B3D6921EFA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176550$B75A4AC0-35B3-408A-A8E9-C0BEAE92F3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176550$F0DD54A6-AD1F-42B4-9FE7-425E6362C25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176550$5F80C125-B147-43E1-8CBF-E433B281BF12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bb98b4c6de70bf80f908022723fc4d55e5e3b31","datavalue":{"value":"6408994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176550$27AF8958-D53D-46AF-83B6-0229731C1C75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176550$BFE988EE-4EFB-4284-A038-6769B82100F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176550$0C5129B4-C0F2-4DE0-935C-FEAE471C649D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176550$2866FCB8-8C0B-4EAA-8920-FD9650572E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176550$59FEB73E-A8F1-4692-B449-1127134F42FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176550$867FB890-72B2-4194-8640-82ED4EA20BAD","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":"Q5176550$167C75E0-5673-42EA-A862-AB7CEA3C2805","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22713c9ac0c6531bc692d02fdbe3b2e3e9293a76","datavalue":{"value":"https://doi.org/10.1093/logcom/exs053","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176550$CA7B084B-308F-43DA-8273-52D275B4A994","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5aec791128a90a84ab901ea3541d5cb5d95b077f","datavalue":{"value":"W2115503967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176550$EC3B9CFE-7269-4F36-A270-D4C56B1881C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66b3538a0a17606ba902874981b614da7dd6e4e8","datavalue":{"value":"10.1093/LOGCOM/EXS053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176550$FCE65A14-4ED2-400C-9089-E7EBFC91EF5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176550$5520B951-DF3C-41F2-8C8C-B7B70357C3E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a130234f7432efc0e9e93355d79f2b3b4a0f538c","datavalue":{"value":{"amount":"+0.90610635","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":"Q5176550$BAF5408D-811E-48B4-AA74-201EC9BC5616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226121f40b73e00fe8371096ff69d89da821216e","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3930e2a7604192736063aa7ac1a02878bf5ebb9a","datavalue":{"value":{"amount":"+0.8941711","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":"Q5176550$9B11D0C0-EB0D-420A-A595-D18D0F159935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f598427d80ad1eb3f871ca5717acee26027b0fc","datavalue":{"value":{"entity-type":"item","numeric-id":4933310,"id":"Q4933310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e23f526be6fe9c89202ff8531e278f7f050deb","datavalue":{"value":{"amount":"+0.88379854","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":"Q5176550$F682BC63-267B-40B1-9E2B-12760A0F38E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f7b6d181ca588b90f058a509ee2012677de188","datavalue":{"value":{"entity-type":"item","numeric-id":5277787,"id":"Q5277787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd67e5b8f7a8c327d12bd56d78eae62a03891ea3","datavalue":{"value":{"amount":"+0.87788624","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":"Q5176550$96292914-F01E-4359-99BE-CDCD6113B783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de7f191b3d0e2d385eb0a240cd7bc93e739246a","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27e3c20d80dfa7bb0b32d871cec0480eed81f8d","datavalue":{"value":{"amount":"+0.8755687","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":"Q5176550$E71F2078-99B4-45F9-94E0-CB9F89DB72A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9413c57927dac6f91d591d99752ff2c30cedbc","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"febbcd1df89e03b54d0f7e3171671e9bbd792051","datavalue":{"value":{"amount":"+0.8747685","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":"Q5176550$F0D8D883-7EB8-4718-980D-2D30EBAC562A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca8bd5c8228247921d211e8b7ddf437ca996d45","datavalue":{"value":{"entity-type":"item","numeric-id":4918406,"id":"Q4918406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3baa86b43a7c32e04223c90fa90ade3410aacd8","datavalue":{"value":{"amount":"+0.8726683","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":"Q5176550$9BFBE025-6976-451B-8F1A-30EEEAB5E4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32172d5b0fd562ee6c87aba9e59cf108f60e47f1","datavalue":{"value":{"entity-type":"item","numeric-id":4255973,"id":"Q4255973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631c316d92d0d12e3c47ca40050c1d5fd4f9e54d","datavalue":{"value":{"amount":"+0.8722369","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":"Q5176550$DDF11DC9-9835-4E6C-9AE1-651BF6AA8F73","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":"87b7e8643df4d274518eadabc499185ae8f2e65e","datavalue":{"value":{"amount":"+0.87218404","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":"Q5176550$998A64D0-ADF3-4697-95D6-5C1CA8469F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7bf1d45d8bcfab21bffb9d1c4cf4d6fa97283d","datavalue":{"value":{"entity-type":"item","numeric-id":5889308,"id":"Q5889308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17338bdec71472f7cd78bfd56e9bfcab8899bdc","datavalue":{"value":{"amount":"+0.86839473","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":"Q5176550$24BAE05B-7C1A-4A10-A614-1731C58361CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Terminating sequent calculi for proving and refuting formulas in S4","badges":[]}}}}}