{"entities":{"Q4647538":{"pageid":6677119,"ns":120,"title":"Item:Q4647538","lastrevid":82241543,"modified":"2026-05-06T20:26:13Z","type":"item","id":"Q4647538","labels":{"en":{"language":"en","value":"Converting non-classical matrix proofs into sequent-style systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001928"}},"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":"Q4647538$C7F8804D-3983-49D2-AC4A-B6B42FED67EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76ce2bee7ef112e771085b5ec4abf791701a9f19","datavalue":{"value":{"text":"Converting non-classical matrix proofs into sequent-style systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647538$994B8A83-7CE8-4DFA-9EF4-0DC038941CF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edbcb58fa2319471c70d9047832d5fbbfd748bd6","datavalue":{"value":"1415.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647538$A87DDBCD-85E6-44CE-A324-0071C0777EA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53a23452d313d0aaef75afd83eb19ea382b82578","datavalue":{"value":"10.1007/3-540-61511-3_104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647538$37743ACF-BBC3-4FD3-933C-FBF8F0CF22F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79124b11e1fe5bc59a11a739fe63a4a20df1773d","datavalue":{"value":{"entity-type":"item","numeric-id":1854381,"id":"Q1854381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$12E764EB-8BB2-43DD-A3AD-A7CCDF8AB3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$81503AD8-8158-4ABF-A93E-B4B2460A87CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$9FA7F123-2146-4B34-B4AA-D034C1CD6BD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647538$582715AF-60EE-474A-85ED-B3BA33ACAA3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647538$5D7A0ADA-9B3F-46E3-A041-1E80FE45D98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647538$5423C4F9-8F69-4D4B-BB86-439EC1CCEAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647538$804A145B-EFAF-4E23-8DDD-426F3F0FD2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647538$CC181632-652E-46A4-A783-E36994AD3BDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"792a2374a67bcfb8bfdb083f4c73d32462d547f5","datavalue":{"value":"7001928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647538$52F877EB-CD83-4069-A4CA-B69C053ED120","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647538$0D386ABE-3A61-46C3-82DC-066677D538FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647538$9DCF1C1F-26B9-468C-9018-1D7A759838E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff79e803a1c5d08a94972a742953580846010d37","datavalue":{"value":"reduction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647538$0016AEEF-6478-4984-AACC-749434E4C05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647538$E4D78D0D-3234-4D1C-9F05-749AD1E687C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf4a0412418f95b5e0e582132e6e4d3f96c6d35","datavalue":{"value":"rule application","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647538$EFBF645D-9599-4EE3-B8A0-2321FD514120","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$04B5FEF9-CE46-4D73-A310-BE868E20E1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"daf1126f3bf58ae583160328d0dec0da3aedc25e","datavalue":{"value":{"entity-type":"item","numeric-id":40434,"id":"Q40434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$5563300A-2FFB-4AF0-BACD-99681B08B2D1","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":"Q4647538$53A57E08-498F-4669-B965-AC2301C1CAC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a56bd8f7fe4013f7acdccbef6331d46594a8b91","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_104","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647538$1F45C0F8-E5B0-44CF-9C77-2A5DC5C54F81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6089289fff0a7e91fee4531aa61a02357dd42fb","datavalue":{"value":"W2103614325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647538$B2615721-E6B1-4E1F-A8E9-BB7D3524CEF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$DD54D005-3BAA-43CC-9CCD-F1D550BABE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4259ba96907648c795d34036ee1d1e7daa76735","datavalue":{"value":{"entity-type":"item","numeric-id":5210812,"id":"Q5210812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$01A55181-F54C-4827-890D-BFFBA4DF1680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82285947ecd1d65d80e17696025cdf5ddb799be6","datavalue":{"value":{"entity-type":"item","numeric-id":3922205,"id":"Q3922205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$2457426B-E93A-464C-834D-30067BC06D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$B35023EC-0DF5-403E-A1B7-4980F7DB9A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3227430383174e53fe133e3ddc098d739ef3ea15","datavalue":{"value":{"entity-type":"item","numeric-id":5234689,"id":"Q5234689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$320990D3-57C9-4482-980C-E3C744BBA1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$13AAE206-D0CC-4225-A71B-C3BFBA8C27C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$E9406C00-D435-4663-A2A0-456937798578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$2E5B8D97-D692-4F36-8BB6-39BA6C3A234E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e676da38d777563663597edd24cfe10db73770b","datavalue":{"value":{"entity-type":"item","numeric-id":3490999,"id":"Q3490999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$9CECF7A4-C3FC-415C-B1DC-593E7B2CE12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$623438CF-9EF4-484A-874F-CFBE7A6368D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c43ac445635282dee6e89db178fe88ba09f072","datavalue":{"value":{"entity-type":"item","numeric-id":4645241,"id":"Q4645241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$238888F5-7E2E-4BC4-A07C-4DC12A85CE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$AD4D2FA6-249C-4BF4-8F10-CAF207567C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647538$7224F33C-5B46-4BF0-B338-AD178CAFA963","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ce693f6cf8b8effaee9a39831b6f003fcb7e08","datavalue":{"value":{"entity-type":"item","numeric-id":1854382,"id":"Q1854382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5126ffaef6f11e8e610fe7d1d003e6e9e62d8587","datavalue":{"value":{"amount":"+0.953377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647538$329261B7-CC6D-4399-8758-E9C28D5A6AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5f3d50dea6bd241c2a711d0e28e4d77b0f7844","datavalue":{"value":{"entity-type":"item","numeric-id":4530465,"id":"Q4530465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5603fa5b02451f55cfac87ac468c728628b8f60e","datavalue":{"value":{"amount":"+0.8880979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647538$50B9FC9C-9458-4B57-B31D-4C734C52F87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c619a0cf2c367ad503fee3443960d53a51d72da","datavalue":{"value":{"entity-type":"item","numeric-id":2721203,"id":"Q2721203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1384f20237a2f1bb606dc596826a95ead309e7","datavalue":{"value":{"amount":"+0.8715324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647538$C1F42875-B772-4869-92D4-3711ABEB11AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e44078a550853f38aa1f793c9c359d6abdbdba","datavalue":{"value":{"entity-type":"item","numeric-id":5406130,"id":"Q5406130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53120664145739474a897f8d75b1cbfa94a56fa4","datavalue":{"value":{"amount":"+0.87082374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647538$CCDE5F60-7F5C-443A-905E-E65833927869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53534da1ba96c794eec8889d48f7a0e2f82a1fb","datavalue":{"value":{"entity-type":"item","numeric-id":5479268,"id":"Q5479268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc717a805e4251e6cd6b389310e6f7af56d16e79","datavalue":{"value":{"amount":"+0.86301243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647538$70CDF2CB-A3B9-471C-A228-04E075FA4C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d171749b95c3772aae8ba8502515039aa10c706","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7985899d0642a2df7e2cf0eeffa9a2f943d8299d","datavalue":{"value":{"amount":"+0.8628516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647538$75B0ACE9-745E-463F-969C-DE0130C2A8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e135bf1a6c5a0caae437eda82552d1525ecfe8","datavalue":{"value":{"entity-type":"item","numeric-id":4583744,"id":"Q4583744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376ea9be60f712465cabcc76c814ba17234dd6f9","datavalue":{"value":{"amount":"+0.8621642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647538$FFAEB0E1-4A53-4F7D-8FAD-B05C145D5164","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":"e1f2eb54f873adcbd7097b72ba4298daecbcaa13","datavalue":{"value":{"amount":"+0.8452447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647538$D06B10ED-A3CC-401F-8BA8-FA9123814B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8231b8a3e82e86a0372fd18ed85d7e49e09306","datavalue":{"value":{"entity-type":"item","numeric-id":4530463,"id":"Q4530463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b63bc6f32a138614f52602e5c863076d7b26e6","datavalue":{"value":{"amount":"+0.84405696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647538$61071973-2E5E-4E44-A91D-3F404B2B667D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Converting non-classical matrix proofs into sequent-style systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Converting_non-classical_matrix_proofs_into_sequent-style_systems"}}}}}