{"entities":{"Q4598506":{"pageid":6628091,"ns":120,"title":"Item:Q4598506","lastrevid":41750607,"modified":"2025-05-07T22:32:27Z","type":"item","id":"Q4598506","labels":{"en":{"language":"en","value":"The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820822"}},"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":"Q4598506$334E9B1A-522A-4859-BE09-6916F213BD63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8f7b117ecb976a7205752358d614938b20c3bed","datavalue":{"value":{"text":"The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598506$3E0A595F-7D79-42E6-951D-7AD39124621F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1ad30a56940459a79daae68581959696b11aaff","datavalue":{"value":"1376.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598506$C6BEA5C6-60BD-4BA7-8930-79D236C2D316","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1badfc8ba661e598eafcc7ac4bc0a4398b4326b1","datavalue":{"value":"10.3233/JIFS-161891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598506$CF55066D-9E53-4329-89C7-EFBED32C960F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec93c143595037578a39a20bd7d86a2c7e0c988","datavalue":{"value":{"entity-type":"item","numeric-id":360478,"id":"Q360478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598506$F5B68CD1-6D9D-4236-8D59-544D622F35E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07a04f1e9f5ff6ca0fdd9c9f9613f2407924a533","datavalue":{"value":{"entity-type":"item","numeric-id":4598504,"id":"Q4598504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598506$C2A5F4EA-7FFF-4F17-86F8-C7BDC3AC0B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a3bbc0c492d7b1f59bc2e6d4428ca5c8a96e2dd","datavalue":{"value":{"entity-type":"item","numeric-id":4598505,"id":"Q4598505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598506$464FD71A-7E86-42C9-AEB1-A47DF0EB0EBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3f1d2c2a984173b8e2c0e3776499fc0359f5bdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2812531,"id":"Q2812531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598506$FC1BDE28-4DC5-4B07-93CE-AC621F5D4A56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a12ec7063b327c3d84dbc9cfab50ae3a61ebdf01","datavalue":{"value":{"time":"+2017-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598506$32EEB2EA-8009-44DE-8AC9-86829A5D8BC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598506$1331E719-EE35-467C-88FC-0360FFB1C5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598506$0D27218A-BB0B-4D8D-B237-DCC79A50A970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab93025037eb20c1a6a9ad6fa097bfb081485813","datavalue":{"value":"6820822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598506$8AFD14D2-652B-4806-859F-0349339FD56D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63944695a310fc163c36c893fbc9490853c01396","datavalue":{"value":"Belnap logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598506$08CF813A-78AF-4022-A7F5-B2E7EE91C4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bcd40cecb832d3577a8c84a0d4d42fafae2708","datavalue":{"value":"modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598506$1B8629A8-3454-42B1-965B-A76DE64184E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598506$C566D45E-40E2-4B2A-B110-273E3F1A079E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22c1638e3094cf5de3bf7e5be743588d4bded3","datavalue":{"value":"distributivity of a deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598506$17C23248-777C-42A9-9CE8-2A5699E5277A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598506$5EF54860-8A18-4BC3-8091-9E63A69269B7","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":"Q4598506$F8C4C1D2-700A-4CBC-9FAC-8B5426649F1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a832320ea0bc1e0a31e1e4fc8aa7cb6a4d50fda","datavalue":{"value":"https://doi.org/10.3233/jifs-161891","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598506$E80ABB99-7CB2-4246-8762-71036F8979E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a52334ac0753873a39c093cf773ebb6859b16cbb","datavalue":{"value":"W2626137683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598506$E8E598B0-51D4-4293-A91B-D1AE7881889E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a921556e6f1ac4950487447113fd0d9594ae0e","datavalue":{"value":{"entity-type":"item","numeric-id":5483303,"id":"Q5483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c98b9906255139c88e96b5f862ccce04c0eefb","datavalue":{"value":{"amount":"+0.8911847","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":"Q4598506$8ABA0760-60DF-47C0-B722-4BC6C8069EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e7db2c89817e4131e993d30b49220221cc4859","datavalue":{"value":{"entity-type":"item","numeric-id":3772185,"id":"Q3772185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a3cd61a577bc3bec33c5eb0f75b9a21792c16b","datavalue":{"value":{"amount":"+0.8892786","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":"Q4598506$7A8D96CD-FD42-4695-A9CB-00F1E1CF2634","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":"5bb7fe46d51a605ae9121001cab754a8b915543d","datavalue":{"value":{"amount":"+0.8882391","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":"Q4598506$7596D4DE-4578-4313-A684-95B27954D930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4186468ca3e1dc5ff295bc04b72b91cff6f386","datavalue":{"value":{"entity-type":"item","numeric-id":543066,"id":"Q543066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4584974aac193b3f1b47fecad66b3c67f50eb1","datavalue":{"value":{"amount":"+0.88763","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":"Q4598506$DDA276AD-310E-41CB-97DA-5E7DE5BCD69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c29806c4a355518c5f6dc63519e3aed84cd4f","datavalue":{"value":{"entity-type":"item","numeric-id":3830999,"id":"Q3830999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844b2aa9017f34fae9227fa0831daa29c587487b","datavalue":{"value":{"amount":"+0.8860239","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":"Q4598506$CA8E48E5-EDE7-4BB4-913C-929EF6DFFB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a774046dbefe326278e878c009a379e02a7abf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4385436,"id":"Q4385436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc19fbc92b40347a57384400c6c526a2633fafc","datavalue":{"value":{"amount":"+0.8824521","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":"Q4598506$70D0A1CD-6B07-40B4-9211-9D2395FA8006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be92db28b2fab68fba5a02a501a67af199314953","datavalue":{"value":{"entity-type":"item","numeric-id":1111541,"id":"Q1111541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e149873e23a7c2867b59810273b4239aa02d840","datavalue":{"value":{"amount":"+0.88061845","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":"Q4598506$E7456346-277A-474F-9D79-B18521046D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55607b996b10141459169f1b8c40a7b700f1aa9a","datavalue":{"value":{"entity-type":"item","numeric-id":2987755,"id":"Q2987755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d647f9524cf5c355d508a19f0e750edd8a7617","datavalue":{"value":{"amount":"+0.87942696","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":"Q4598506$248FB592-0E23-45B2-9728-377E7618DC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5759c43b480b5b8aa84ff6df1498d5e53cc0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2440191,"id":"Q2440191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d520be4ddca91fa8e6a81e300ada9869ac0c2e4d","datavalue":{"value":{"amount":"+0.87855816","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":"Q4598506$30139C7F-0FD1-4ED9-8825-26D920C8BC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4e1b7ef1d20ad48a4905cce0ba9af6c3e074b1","datavalue":{"value":{"entity-type":"item","numeric-id":4489077,"id":"Q4489077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2198b35d14592ef8331d729e8c220fe70df9b6ad","datavalue":{"value":{"amount":"+0.8784786","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":"Q4598506$4D9AF04A-3B3A-4D9D-AFC1-B7007BE9437C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598506","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598506"}}}}}