{"entities":{"Q4589603":{"pageid":6619188,"ns":120,"title":"Item:Q4589603","lastrevid":52954301,"modified":"2026-01-23T21:46:47Z","type":"item","id":"Q4589603","labels":{"en":{"language":"en","value":"JTabWb: a Java framework for implementing terminating sequent and tableau calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805740"}},"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":"Q4589603$4C028827-54C1-4EC1-8FFF-3F8008E5B8AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6cfa914d5b0e720e1e9c64406f9c2425c1ca5f0","datavalue":{"value":{"text":"JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589603$B041E385-274B-4E76-BCB2-BD48A2CE59B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4c149c01b9d21b8608daf7610cac4c9d775e066","datavalue":{"value":"1373.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589603$BDF861FB-E403-4B66-8EB5-1E9310305028","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfc4af307c696b9d354765bd75732949c695d510","datavalue":{"value":"10.3233/FI-2017-1462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589603$6CF381BD-2B84-497B-AA82-59916BF48BC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589603$3907CA48-E229-4928-8AFE-31C590133BEF","rank":"normal"},{"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":"Q4589603$E11044A6-6786-40F8-A126-2CF57632BF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a3322f7c395849201c201788891d980fbbf885","datavalue":{"value":{"entity-type":"item","numeric-id":230826,"id":"Q230826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589603$DDD79FA5-1586-4AB5-B081-1E7E525827DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589603$089BE056-8641-4DFB-A8B9-C68EF32B18C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589603$AC06B5CF-EAB4-4EBE-AFE9-D10284919B18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589603$7B86B966-C115-4162-8FC2-E0C7CB5EA9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589603$451B5A87-B49B-4A46-A407-8A8113F098B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1d2edc40a35c529e3506b5213f3cf90e13ebd64","datavalue":{"value":"6805740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589603$DFB4B1A8-836F-4C11-83DB-D94A6A4D0FC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589603$0423D7B3-1F3B-46C2-AAF7-1A37064948EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22c3f3e3d02cf5f0335f937107fc90e61c00f604","datavalue":{"value":"Java frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589603$07D5D90F-4AA5-4E1F-8922-9603B71EED8E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db9a3e11bfc8def7d98aa39e62594c2c96cc2801","datavalue":{"value":{"entity-type":"item","numeric-id":23329,"id":"Q23329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589603$237ECF7B-4541-458C-87EA-4E8EB1162146","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":"Q4589603$8EB9D96E-4F71-4D06-99FE-8C034396046E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bead90668fa4c9ebb61e920f9ca4d9e459b0e030","datavalue":{"value":{"entity-type":"item","numeric-id":23926,"id":"Q23926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589603$786EBA18-4CF2-482A-B526-FE8E468C0BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589603$81E56642-7730-491C-A3B1-8AD77C43CCE4","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":"Q4589603$24A6D534-05A6-45EF-9641-7640F61987E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"876fb0cc3526e415b58c0adb93387f0b0ff466ae","datavalue":{"value":{"entity-type":"item","numeric-id":23330,"id":"Q23330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589603$6B48655E-BCE2-4299-8C80-10B64DBE8793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e931e3e9b122c67605faf5edb5155d9592d9fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589603$4B372ADB-2F25-4D56-BDD0-01783646066D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589603$56C0EE68-E22E-4D0F-B137-273BE2058CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e84835cee70052100cf7d55693b196f9688daf28","datavalue":{"value":{"entity-type":"item","numeric-id":19079,"id":"Q19079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589603$1389970D-0D7C-4369-8406-AE3DEC67B979","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":"Q4589603$878D246E-193F-408B-9BBC-BDC9E40C10A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52fb2052899f08c3d788368e58276fe3090faf77","datavalue":{"value":"https://doi.org/10.3233/fi-2017-1462","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589603$005180C2-57A3-48BF-B09D-DC14B5D4D106","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"884bb50dc011ecf3114befe2895dc4ccc66ffbc5","datavalue":{"value":"W2593670048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589603$A4B4A2A8-7FA6-4C37-8703-FAAD3B942E6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0447dfc93f3565572596538c5000e2bcdd08d428","datavalue":{"value":{"entity-type":"item","numeric-id":4982114,"id":"Q4982114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7e0bae1a4cd672871c692a6eb2ed858e69c084","datavalue":{"value":{"amount":"+0.7984556555747986","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":"Q4589603$F85B9B78-E2AB-4AAC-9353-DDDFA739A3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a97239b59f93bb4f86b51c5130299b875c5fcd","datavalue":{"value":{"entity-type":"item","numeric-id":5187870,"id":"Q5187870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10c6187530055098528171608d8444b3cefb979","datavalue":{"value":{"amount":"+0.7121926546096802","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":"Q4589603$9598AB57-D794-4A52-B611-DBB992F2013C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b1f820a5533d223e1eac955a60a8a3a994a34e","datavalue":{"value":{"entity-type":"item","numeric-id":3010372,"id":"Q3010372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9c07c7ed91813bdf0cbd27a8565f002a419e33","datavalue":{"value":{"amount":"+0.7093961238861084","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":"Q4589603$1A3CD890-2BD5-46AB-A730-10529EF0E46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e281b3effffa0d972af4661346a502feb348c107","datavalue":{"value":{"amount":"+0.6943630576133728","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":"Q4589603$C3A981AF-1BEB-4251-8773-427EA8A93233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f08116115338796ec9b797ffb39cc7a493db2f","datavalue":{"value":{"entity-type":"item","numeric-id":2907353,"id":"Q2907353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da78e83ec78eab40a04ce7c2bb26dbb88b4c222","datavalue":{"value":{"amount":"+0.6925445795059204","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":"Q4589603$66C7E768-7DD3-4ADF-9C89-1285FA806DFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589603","badges":[]}}}}}