{"entities":{"Q4340932":{"pageid":6370531,"ns":120,"title":"Item:Q4340932","lastrevid":46556865,"modified":"2025-12-25T00:51:53Z","type":"item","id":"Q4340932","labels":{"en":{"language":"en","value":"Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1021721"}},"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":"Q4340932$988E96E5-2229-481A-B749-D2E8C65C08F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1691f7cffd0dd0af33476a98760b1ba4c2606acb","datavalue":{"value":{"text":"Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4340932$EC46454B-1C8A-43F4-9394-4C06082F451D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"022250080ac1e33dddbf7b9aa6c1872e9ab5e470","datavalue":{"value":"0874.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340932$CD768A38-B64B-43A9-9897-6AC88A8E7A26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340932$65D55D9B-F93F-4B08-9918-0549A6D3F940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1c3fa95c1005d09eff8ff2b881875054b11a800","datavalue":{"value":{"entity-type":"item","numeric-id":583193,"id":"Q583193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340932$BB38BD99-F0A3-4CCD-B3E9-A430859E84DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340932$43AEB9E0-07DB-4E0B-9BAA-3C514ED7224D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c8c7692fa7223a1bc40102133e79e318fde956","datavalue":{"value":{"time":"+1997-11-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":"Q4340932$30BB2630-276F-46F3-A380-279E59559C54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340932$5FCE14FB-766D-446E-863F-A3A507B617BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340932$253D65BC-A113-4BC6-97CC-8A28AA335C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340932$8CEF1E2A-B37A-4B01-94F9-61A1EE5F0A6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"458c2da1b7e3bdc5cc944a736e65898f16916f41","datavalue":{"value":"1021721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340932$944EDC94-F1EB-47E4-A054-50C60BD69C3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340932$8DD2A259-CB23-4436-894B-C775303D387A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340932$A13C3E6F-AF8D-4982-896F-B554F3D8DCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e395f2eca344c914eb946d1b3ed4a1d0ae61b478","datavalue":{"value":"duplication of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340932$9650778F-F596-4FCC-8791-E9FE6ACA7617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340932$64AF476A-6CF3-4B41-BB41-CBE683454674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806034c13bf6504afb05bf25e0692de0e730662b","datavalue":{"value":"Kuroda logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340932$FA5E8008-6B85-40C5-931B-D6FD54F3EB8C","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":"Q4340932$AA817FA9-B5CA-45F5-98B9-99DA14D7D5D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a5e1e08fcdbe8165ca1d7d23d36f6888b5bd881","datavalue":{"value":"https://doi.org/10.1093/jigpal/5.1.145","type":"string"},"datatype":"url"},"type":"statement","id":"Q4340932$4142E9E8-AAD1-4B7F-94DA-FD28F6374A7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2c71a7735b3ea5f1cd40cde5bf2ff5525ae6715","datavalue":{"value":"W2094946156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340932$11CED927-6E98-480B-813B-206D9BAEB77A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de3d3b2f425a2c5fffa14948f7c13a6c922f9c29","datavalue":{"value":"10.1093/JIGPAL/5.1.145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340932$603DAEB6-2A5B-470E-95DF-22B43A11BD17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340932$EEA6F503-CDE4-4DD3-9381-A40B8B90A365","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc9b2c331e34c6fb5aa8d5c3d1d633da7ce3d75","datavalue":{"value":{"entity-type":"item","numeric-id":1344876,"id":"Q1344876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c681a2a7343237c678f06b20975068357d867e","datavalue":{"value":{"amount":"+0.8156953454017639","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":"Q4340932$E6BCBEEA-A959-4827-89DA-B09DDD654399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f071d59b2ecaa2c575a9b727cb3874ff369994a","datavalue":{"value":{"entity-type":"item","numeric-id":2946662,"id":"Q2946662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9b7fc4175e74da33a730cb2562fe3aa4ca6080","datavalue":{"value":{"amount":"+0.7697100639343262","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":"Q4340932$7417F9EE-334E-41F4-9A59-154584ACE193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d878b4662492199fcd61da06049c390f8800d94","datavalue":{"value":{"entity-type":"item","numeric-id":4610314,"id":"Q4610314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797127f51324b493bff76a5bfc7d8265203fb093","datavalue":{"value":{"amount":"+0.7641021013259888","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":"Q4340932$D508DFBC-D1B9-4311-87B3-D406B0A0473A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67232ceff77abb9cd80825d5cae020f93df0effd","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700dea4c2536390741dc0b2533cbb77edf5c59aa","datavalue":{"value":{"amount":"+0.7638180255889893","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":"Q4340932$84CD9229-2315-419F-B66E-8E9E1210E264","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4340932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4340932"}}}}}