{"entities":{"Q5532526":{"pageid":7562086,"ns":120,"title":"Item:Q5532526","lastrevid":41809307,"modified":"2025-05-08T14:37:44Z","type":"item","id":"Q5532526","labels":{"en":{"language":"en","value":"A Gentzen-type calculus of sequents for single-operator propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3245440"}},"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":"Q5532526$D05DD98E-8247-47D3-B673-8220C0A1F73A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e373ccfeaf4eee6f0b415ae7c6ff451d19322128","datavalue":{"value":{"text":"A Gentzen-type calculus of sequents for single-operator propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5532526$6C3A13F8-1A40-4C29-8AB7-FC8D10080F7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d58792dcfb348a37e1628a4f6645ad4e6a70590","datavalue":{"value":"0153.00601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5532526$EC8BF81F-8A5A-4B86-B593-67B275BD38D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e12c1c63988d31f3f469f01182c7fe3d4a39c0","datavalue":{"value":"10.2307/2271244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5532526$95F5D2CD-18AE-49F4-9EC5-A1447B87569F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50fe171fb116d06399844c61cb9ed455d23a1ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1257885,"id":"Q1257885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5532526$9834F28B-E547-47C8-B17A-7D4BE16D5952","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5532526$DD7E38FE-4152-4980-9633-1A05EB3F680F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5532526$970E5F16-A056-47C8-8D0B-57D6677DB9A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec1705dfb06f0747313c7b9ed37cc5dde6d87145","datavalue":{"value":"3245440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5532526$26562321-0ED9-406C-8DCC-CEDB3D2FF933","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5532526$186172B2-1BFB-4A43-B1A3-D748D7B0B61F","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":"Q5532526$D7AC2771-2058-4645-8251-0026B20648F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"737cf4cb6fd272c40318eb6df8d44d7e8b77651a","datavalue":{"value":"https://doi.org/10.2307/2271244","type":"string"},"datatype":"url"},"type":"statement","id":"Q5532526$420369DF-1020-4573-A4D7-1583A9983B87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d183ae1ad197d7431952cd6314a28438da71360","datavalue":{"value":"W2061047414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5532526$7EC04CA3-BB3F-4549-8959-AF0C538BB77A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed2a7e5bc5fb1722e7010cffa93b58804e39960","datavalue":{"value":{"entity-type":"item","numeric-id":514513,"id":"Q514513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b38cf21bc25bcd30379a1f8ed130d71639c0f6","datavalue":{"value":{"amount":"+0.9228798","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":"Q5532526$ADFAF597-E3F9-442C-BD43-58C772FAC2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6bdfb6d3006b453474ea06a77e968873feb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5014057,"id":"Q5014057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fcb865271f3690659e9050b77c94b3ece7a490d","datavalue":{"value":{"amount":"+0.909967","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":"Q5532526$2560CF57-0DC8-45D1-844C-39357C157EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647df8f3db46c8858f6ba5fb171006733691bb32","datavalue":{"value":{"entity-type":"item","numeric-id":1409300,"id":"Q1409300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7e63eebdcdd8ada5ba75dd30f4985949811bca","datavalue":{"value":{"amount":"+0.90713733","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":"Q5532526$4B92ACCE-C2E2-4499-BDE0-E6D7D9D37F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb2f13d6b30ed0683aae3f5b87342a8cd117c26","datavalue":{"value":{"entity-type":"item","numeric-id":4229377,"id":"Q4229377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f229cb03563f1288e56aa9635b4eb28d22a587","datavalue":{"value":{"amount":"+0.90636","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":"Q5532526$3258F7AC-2C55-4030-9026-27C616E479AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e357a708b153c3d2d7a09294cbc021afe29e90","datavalue":{"value":{"entity-type":"item","numeric-id":5738955,"id":"Q5738955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe9d65a33a8e07240dbd3248fe9189428ee5060","datavalue":{"value":{"amount":"+0.90232307","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":"Q5532526$B7E65C26-A786-4E20-8B27-D54570F8CCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993df245c21adf14cc588b4ca5110975a4ccf87d","datavalue":{"value":{"amount":"+0.9015632","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":"Q5532526$CFDB4B4B-17FC-4D88-994B-18DDA7AEC7EE","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":"3323b7baf4a2687af0347dcd64dbe7d75bc27e9e","datavalue":{"value":{"amount":"+0.89790255","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":"Q5532526$2838AADD-50CE-4F6E-A58F-0818BFB976B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9d4c00d166edf8dfba02ee35c290ac429f9313","datavalue":{"value":{"entity-type":"item","numeric-id":2850235,"id":"Q2850235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155be596e54d7eb919cd6b79a8078be869346cd0","datavalue":{"value":{"amount":"+0.8947533","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":"Q5532526$EEF7C40B-7212-4481-80D4-B12607EA7059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843e523af5a1f031e3def03f94ae38c119ac1f4e","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d56399efc3bce7cbee1c7763b074fe1affd330","datavalue":{"value":{"amount":"+0.89462614","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":"Q5532526$2052EE74-7715-4A74-93AE-FC5B93265072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da64def2ba68afe0f085e39fb7c0508914915323","datavalue":{"value":{"entity-type":"item","numeric-id":2850304,"id":"Q2850304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c584b7a4f7c42b893130c08d492b57b2bbda32","datavalue":{"value":{"amount":"+0.89415085","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":"Q5532526$B1A13673-0DD9-4F4C-B9E6-02F5076485D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5532526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5532526"}}}}}