{"entities":{"Q5419214":{"pageid":7448788,"ns":120,"title":"Item:Q5419214","lastrevid":52010849,"modified":"2026-01-20T18:13:02Z","type":"item","id":"Q5419214","labels":{"en":{"language":"en","value":"Lattice BCK logics with modus ponens as unique rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301485"}},"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":"Q5419214$49F38662-183C-4E98-A63E-CD57DA2EFC1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a664f2bbd9df8ef4676132bc75d8360dc301242b","datavalue":{"value":{"text":"Lattice BCK logics with Modus Ponens as unique rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5419214$B3277478-A447-42A0-8284-5A2B4EEE864A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5037b77782e932128ae371ec0d1d868f077995e2","datavalue":{"value":"1338.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419214$272777DB-BD48-4FD8-A90D-62C7C6E82D23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$35486AA2-C940-4E90-A808-3BC584433BF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f3fbc447f1c390e2d7e7b93294821ab0240de3","datavalue":{"value":{"time":"+2014-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419214$A92A38B9-FEE2-454F-A650-A82BA5A15159","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419214$BB2AC923-3CFE-41F8-9318-55B52F46C1FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6948af8299f9dbb8ff50f6947497e84c35c8b6a0","datavalue":{"value":"6301485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419214$8AC5B762-6A76-4904-B71D-9D767D219549","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"711ab034b82bbde88426a5757c74156a8edace49","datavalue":{"value":{"entity-type":"item","numeric-id":1306834,"id":"Q1306834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$FAD02262-574E-4CA9-940A-E132CFEE7DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebba8fa657260c6e2e63119a6f78200b48840640","datavalue":{"value":{"entity-type":"item","numeric-id":1306835,"id":"Q1306835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$866DEEAA-B2BF-4910-B4BF-5A3151806346","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":"Q5419214$EE55DD7A-7291-4944-A86C-9B5EA9AD8867","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbfb42c1d9c5e08843d3f052f1bc1b1519a20341","datavalue":{"value":"https://doi.org/10.1002/malq.201300065","type":"string"},"datatype":"url"},"type":"statement","id":"Q5419214$7A375358-2B02-4432-865D-0895BFDF00C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80e0c01c98f65aff6f8b972103006d977a342b04","datavalue":{"value":"W1481390334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419214$D7B301F6-AE68-44DF-A553-4C1BD1785178","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fad4786269ecd0509183eeac4abe49e483e2e36","datavalue":{"value":{"entity-type":"item","numeric-id":1770972,"id":"Q1770972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$78C29EFD-0A2A-4722-BBD0-9F0261A471B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c25674006f8fabdcc2cf3f4e8012aefb27f226e","datavalue":{"value":{"entity-type":"item","numeric-id":1344842,"id":"Q1344842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$B57E6F86-C441-4F86-ADDC-DB91A938851C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca1c8fab4dca3e1dee520e4c208d86e1c508abf","datavalue":{"value":{"entity-type":"item","numeric-id":3519801,"id":"Q3519801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$71DBC712-FB9D-4AD1-A760-CD3F0DD23B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c8af415b1d6d8aa529de9b4a8ed736922ccc9d","datavalue":{"value":{"entity-type":"item","numeric-id":2888635,"id":"Q2888635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$D2A7A6FA-075E-497D-84DC-5628DE05370E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c645beb3272487658a6618eb4dd46a34c2f80e","datavalue":{"value":{"entity-type":"item","numeric-id":1090668,"id":"Q1090668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$2C6BD407-568B-4A1C-A293-4A15D71A1B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5f547e25bbd6617cd6e6e5c8f252930d28338","datavalue":{"value":{"entity-type":"item","numeric-id":3437044,"id":"Q3437044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$402C1F0C-5A37-458F-B986-B638DD4E9ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f9a14346e292c0fb29f522323e044136987bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3218120,"id":"Q3218120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$91CCE5C1-343D-498B-88F2-4AF7B417D912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1aadde285af5294d966f61b18ede66b4b552095","datavalue":{"value":{"entity-type":"item","numeric-id":3218122,"id":"Q3218122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$DC3509FB-CD56-4829-A631-03F09BED3FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d037473ac64fb3b587cff76b7f68eeb417fc42","datavalue":{"value":{"entity-type":"item","numeric-id":5607967,"id":"Q5607967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$DF56089E-8539-4816-ADC0-A0091D9550BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ebc0f6209cc7045ad31ca451c20be9f64638c4","datavalue":{"value":{"entity-type":"item","numeric-id":2524056,"id":"Q2524056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419214$4D2C8CEC-5DE3-415B-9DEA-8C914E5A80D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33baa4463af17ebfdf6dfb42455682495401d414","datavalue":{"value":"10.1002/MALQ.201300065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419214$3696573D-A112-4875-AD98-CF68F79CF646","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"017c9298ead673810c92cf26c40da667e7dc1aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4032849,"id":"Q4032849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a3a803fc05f4314376cfd2ccf8250c542152b9","datavalue":{"value":{"amount":"+0.7357788681983948","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":"Q5419214$9394C270-CDA2-4944-8634-60D7B03F6953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de916fdce85aade1ee6114129c5d0b2c701c8946","datavalue":{"value":{"entity-type":"item","numeric-id":3544315,"id":"Q3544315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223b8774322c9e4ab1fb07e354745609a40ee709","datavalue":{"value":{"amount":"+0.7350174784660339","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":"Q5419214$1D595B77-A4B8-4A8A-9989-1EC5C8151219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3bcae20ea57e6203360f43b03a652488a738237","datavalue":{"value":{"entity-type":"item","numeric-id":2452677,"id":"Q2452677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c203436bb182c04abb7d9c6946e5eec94d3228","datavalue":{"value":{"amount":"+0.7279644012451172","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":"Q5419214$2581D21B-7DCE-43F6-B23B-C806D8E3225D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f518a9506bab026d7242adab60a13c8722206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f586e182f6d814663482e64e4fb1aacbd6990bf9","datavalue":{"value":{"amount":"+0.7220004796981812","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":"Q5419214$64BB3FEE-D87E-424A-92AC-B7143C6105BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7715d37aa83c72d0cc85449b40f0f2827adb54","datavalue":{"value":{"entity-type":"item","numeric-id":3352995,"id":"Q3352995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485a2c90ed152a3c4ca6a4fbfc77d300c38f6d94","datavalue":{"value":{"amount":"+0.7185472249984741","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":"Q5419214$A6BE87E7-92DC-4E43-A7B3-1CD7BB9DE9A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5419214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5419214"}}}}}