{"entities":{"Q5412177":{"pageid":7441751,"ns":120,"title":"Item:Q5412177","lastrevid":51985997,"modified":"2026-01-20T16:52:41Z","type":"item","id":"Q5412177","labels":{"en":{"language":"en","value":"A lattice of implicative extensions of regular Kleene's logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6288740"}},"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":"Q5412177$F74BB2AA-B587-4104-84B4-4F314991F4C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c43f9af489b8ec728b4f62101085e5a4dd96d7bd","datavalue":{"value":"1308.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412177$DB8281D2-451D-4899-B703-32D59CF6C659","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"228b32ec0e1f2582b874605514478b5e8f6298fd","datavalue":{"value":"10.4467/20842589RM.12.008.0689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412177$8DD2FF7F-64C5-4C78-BC53-C1763838082B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93d911ee8dcc508616bc351c9c243c31f352e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2804045,"id":"Q2804045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5412177$29C0F3D4-6734-4432-853E-D5ADF46888C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07323bd4d87d7b63802000e5f173e59ae08b7683","datavalue":{"value":{"time":"+2014-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5412177$AD6B3C4D-1137-47C6-8899-749E65DC7CF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412177$CCE1128B-B771-4BB9-9C4E-256531BCD25B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5cc0627415ef4df36afa7ce74a78ce34f3888a7","datavalue":{"value":"6288740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412177$014CC3BC-A717-4F9E-A7F1-DC193753395A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a0ff8c32958866c8802a26e0ad8674cbda54a8","datavalue":{"value":"three-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412177$4B30F0B9-834A-4D94-96D8-8152266D71AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"865fcad60675178c0b2e8222b48438e56d7fe157","datavalue":{"value":"extensions of regular logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412177$5C70005D-C4CE-4878-A78A-430C45ED9C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053ec1f297d7cad262e869f4ed637486f322b3c8","datavalue":{"value":"lattice of three-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412177$558B5A51-94F3-423C-A842-118AB4C04657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee52456d706b55371f38568eb4ab302c73ee3ed1","datavalue":{"value":"Kleene logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412177$3A67D76B-5648-4551-9FB2-B7C92A2F7C27","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":"Q5412177$26BA1C9C-ADD2-4D34-BE1E-D5A90996898A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0462d86ca438557aa9a579446f93588120314782","datavalue":{"value":"https://dblp.uni-trier.de/db/journals/rml/rml47.html#Tomova12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5412177$243125D7-038C-490F-A11E-0527EAFBA8DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5086a14c15b7174d907c37dc590dd9a5204428b4","datavalue":{"value":"W1559874856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412177$289942B9-DA76-414E-BA72-95127AAAD747","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4668a4df2c9def910fb20213461e8fa3fea28ed","datavalue":{"value":{"text":"A Lattice of Implicative Extensions of Regular Kleene's Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5412177$126C0F3A-0A00-4314-BC77-68FBA38B7EF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4ac4658e482cadc5853772cbd21e9571c7992e","datavalue":{"value":{"entity-type":"item","numeric-id":3081828,"id":"Q3081828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645d58c1d5e5f5b05bfb5a0e9d061686607f2597","datavalue":{"value":{"amount":"+0.9180632829666138","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":"Q5412177$16B7C3C6-58A4-4C90-8336-F3C59021F9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f8c277943599c54fc7585e97f9a20518f9e87b","datavalue":{"value":{"entity-type":"item","numeric-id":2209169,"id":"Q2209169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd9af4a776138fa4e66507c11e151c1d8060938","datavalue":{"value":{"amount":"+0.8293883204460144","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":"Q5412177$6A6C24A4-4137-45F0-9439-001742019F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52193dd850c75ee354374acf5100579c10b57a81","datavalue":{"value":{"entity-type":"item","numeric-id":3606930,"id":"Q3606930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8035f7ae2724d85a29162f66dced2754092e8fe4","datavalue":{"value":{"amount":"+0.8188968896865845","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":"Q5412177$1E86F92A-CB2F-4969-9C75-DFAFCC6F4961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdfdfac758ed1d954834907a9396c2dda4607ec","datavalue":{"value":{"entity-type":"item","numeric-id":5240589,"id":"Q5240589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c281081dfc457f9a9078c99af4fe2bcf3cef3f","datavalue":{"value":{"amount":"+0.8024935126304626","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":"Q5412177$1C50D0B8-75D5-41C8-AA26-F5D0617CAA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58e15df1155baf6a188ffd4b79cb693403c3af0","datavalue":{"value":{"entity-type":"item","numeric-id":4683206,"id":"Q4683206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c1870320ed472ac6ea885582849bdc232acc5e","datavalue":{"value":{"amount":"+0.8010254502296448","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":"Q5412177$CDAB05D9-35C6-4F35-95CD-FEC6A63E21AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5412177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5412177"}}}}}