{"entities":{"Q2817945":{"pageid":2828683,"ns":120,"title":"Item:Q2817945","lastrevid":79745807,"modified":"2026-05-06T14:37:05Z","type":"item","id":"Q2817945","labels":{"en":{"language":"en","value":"Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623281"}},"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":"Q2817945$CA07D791-DFC2-4EA6-9D8C-4041077125EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e79559f614e10023ced5d1a0559ae418a72d9e62","datavalue":{"value":{"text":"Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817945$E8B9A18E-9767-4E36-9FAC-68001FB67E98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45a2698b6f69c0848ff6895d1ec0fdf323d3e02f","datavalue":{"value":"1475.68454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817945$05327D66-6530-4BA7-B999-296C29EDB1B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"907fe4c0ab17f019767279bea057d44aa37bfb90","datavalue":{"value":"10.1007/978-3-319-40229-1_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817945$5D9E4A4B-03A8-4203-8702-A1C6450C6B29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$92F1B8FA-D0D9-4587-A3C7-D68B347AAFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92250fc2468a927e3b41d7dfe7ef750fde052bc8","datavalue":{"value":{"entity-type":"item","numeric-id":408549,"id":"Q408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$7069F8DC-BF1E-4861-BFCA-344376CDEF9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$C93F5B48-A16C-4CE2-B1B2-83D81983F326","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817945$15B00F32-C436-4C07-A182-5F318D1F3C2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817945$7081234F-0D95-49EB-A13C-2C3CEE10F574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817945$A56E49BE-86EB-4F43-B44C-D0EFBA401F9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c84a0948c5f881d801153dde47bff1c5106cf981","datavalue":{"value":"6623281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817945$4F7A9C2C-C5FB-483B-A43B-B2D9D149FC32","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ccd5e68e3cdc3ef728b8f894bc92ed260d8d4ef","datavalue":{"value":{"entity-type":"item","numeric-id":18694,"id":"Q18694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$494466EE-6117-4803-BC03-95EE6BAB062E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$7CF4530D-7ED5-40C0-A746-F78E76D8E286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9291db8f6f24de7d39d503e17e069cd87b7516e8","datavalue":{"value":{"entity-type":"item","numeric-id":19701,"id":"Q19701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$EE57AB33-3D07-4953-B6D1-635F21DF44EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef67e13db42d612cd6629f6e2cbcf0f0d68e6118","datavalue":{"value":{"entity-type":"item","numeric-id":22010,"id":"Q22010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$16B3AC04-3674-4DD9-B6D5-7FCA0407563F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd646522943de01b2f5f1a4d355c5a7a21fe42da","datavalue":{"value":{"entity-type":"item","numeric-id":28613,"id":"Q28613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$EEA241CB-D125-4F3E-8D0A-BD6DA9DBD938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a2e99bf2d721f734420e941cd08910602eca6fc","datavalue":{"value":{"entity-type":"item","numeric-id":23924,"id":"Q23924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$ECC35BD4-040D-4CE3-8B9A-304F747B46AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1f0d455324ceea179ac1ad849a399fbfd4b2b10","datavalue":{"value":{"entity-type":"item","numeric-id":37160,"id":"Q37160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$F5D93FD1-E369-40E9-8913-62181BB62477","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":"Q2817945$1E7045E4-EF25-4604-9D11-493336CFA658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"449d70ff59fd41b3584f7dde9539a7dc3ee4e4c6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40229-1_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817945$EA7773AC-3C5E-4BD9-922E-12E2E0C54E16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b46cfe8646d368098d15c5c0d6d0b5d730e99580","datavalue":{"value":"W2477099428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817945$57572E4C-011C-456B-9992-B9FA4BAF6942","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a8a36327ea86df5522203c0e0180d9b3bcc5cb","datavalue":{"value":{"entity-type":"item","numeric-id":1311413,"id":"Q1311413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$27145007-A2F0-4ABA-8CCA-B5129E382B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f4c3966bf6e64a6418e84d684294668c13883a5","datavalue":{"value":{"entity-type":"item","numeric-id":527198,"id":"Q527198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$5942486C-42D9-4DAB-94DF-FC6DAC5D3AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$4EDAD9D0-6A7A-45B1-9516-72B0EB91F83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0628ace52c2813f4692920416947b3f551898b13","datavalue":{"value":{"entity-type":"item","numeric-id":3455840,"id":"Q3455840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$822885FB-3A0A-40E3-B2DA-558124502480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06528fee69c742acd6cfdc2fea8cff63dabf6f53","datavalue":{"value":{"entity-type":"item","numeric-id":2938481,"id":"Q2938481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$775D9B16-F1B5-4FA8-B225-D11D04AC8709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743659bb5abb224c8a48d3ef2553e6da7ee2301b","datavalue":{"value":{"entity-type":"item","numeric-id":2804323,"id":"Q2804323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$B7FF5DB4-3C08-4A20-90E5-28982EE6B291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef3f0a3c7e3c38e3b4f2ca82b095e23b65e32b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4287778,"id":"Q4287778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$38EDE787-6643-4A1D-8577-CBF18FA8BB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d38c990f7473437368929348051961f829bb40c","datavalue":{"value":{"entity-type":"item","numeric-id":2751355,"id":"Q2751355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$49F69999-B66E-4DD8-B5A1-9AF4D70F6DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e6e9433abf7467709656a37ac7bcf8290b9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5479288,"id":"Q5479288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$EB76CC47-4BD6-4950-9A4E-67AB933B03AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4933c393e0df0da8bf72b1cf018c0c8fde2fe994","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$FFB1F613-386C-43F3-A9E4-F941AFB19121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a6620b6170761dc0daa1443e754af56f35e3cb","datavalue":{"value":{"entity-type":"item","numeric-id":3192182,"id":"Q3192182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$696403BD-9404-4BF5-9C82-ECD38694181C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e741aef4b7b6d113e3faeaa38eaa1394a1c54730","datavalue":{"value":{"entity-type":"item","numeric-id":5170293,"id":"Q5170293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$A1E05809-563E-4BD7-A569-6C8C348884DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a33953e2fbd5575b7a9166717682f689008b49","datavalue":{"value":{"entity-type":"item","numeric-id":4877443,"id":"Q4877443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$15904EB2-9C65-4D43-94EA-4F277E1209E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b929845b5516522e181e8920ae553d8a37f5016","datavalue":{"value":{"entity-type":"item","numeric-id":3192215,"id":"Q3192215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817945$45AE5B1C-3E31-48EB-AA86-C74DBEB04220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f86e0a77416a4335a9c34ddac74e23e8892d345","datavalue":{"value":{"entity-type":"item","numeric-id":2185494,"id":"Q2185494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42bd9077a9181edab20b7b1db51811dd1fa8ce0","datavalue":{"value":{"amount":"+0.7703505158424377","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":"Q2817945$918782A9-B139-4A88-957C-A5E437ED9102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78647c42b4985b6971dbcc2faca81087d8bcb4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3192182,"id":"Q3192182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb390d5195ec984031b3c834b3734efff3fe905","datavalue":{"value":{"amount":"+0.7632763385772705","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":"Q2817945$5323A379-0DEC-48AB-8475-DCCECA42E999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7a9651bc63f9b76295dd7f249698dc6ad43d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4972151,"id":"Q4972151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe5a1c1e756fe2880b90980d85c8c6dfce39370","datavalue":{"value":{"amount":"+0.71791672706604","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":"Q2817945$1F5FBC58-4C80-49C7-AB98-9CBB224F92E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4a829144dc77acebc85bb8deb832b9e84c948b","datavalue":{"value":{"entity-type":"item","numeric-id":5311280,"id":"Q5311280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8c40f5ff47a7f7402636ce91fdd79028021e2e","datavalue":{"value":{"amount":"+0.6855533123016357","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":"Q2817945$A51254D2-255B-44FA-A58C-3C4AA0B248D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2ab1749cfd1cb1654f9bba92afb846f1670ac","datavalue":{"value":{"entity-type":"item","numeric-id":5053006,"id":"Q5053006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0a1713fa2a1a441e68473296d19ed17a3b8cfd","datavalue":{"value":{"amount":"+0.6743322014808655","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":"Q2817945$8F5749B7-85A0-4AF7-8BB4-90F094DE33FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi","badges":[]}}}}}