{"entities":{"Q3030795":{"pageid":3041511,"ns":120,"title":"Item:Q3030795","lastrevid":49097320,"modified":"2026-01-06T14:28:38Z","type":"item","id":"Q3030795","labels":{"en":{"language":"en","value":"Further Results on Proof Theories For Semilattice Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4019022"}},"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":"Q3030795$94F6B3A9-E247-4A34-8899-632C2FA31F4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4ae2b9806f52cdeb43d864acb85037208deb6cf","datavalue":{"value":{"text":"Further Results on Proof Theories For Semilattice Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3030795$F0F8910E-4714-4BD8-B7CB-145A02BCB08F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a940551bc9916fdf0eb4982e1c6220b1503da0a8","datavalue":{"value":"0627.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030795$C81D4638-3542-4FBF-8496-1D6BF720FFB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56eee76cc68923f40cf5d662eafe557e3cda46d","datavalue":{"value":{"entity-type":"item","numeric-id":452354,"id":"Q452354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030795$AC60DA80-C64F-47BA-9CBE-B17B4D0BA031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e62d60f2e17586005b7dc7743e95e67fb7e55a6c","datavalue":{"value":{"entity-type":"item","numeric-id":579233,"id":"Q579233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030795$DA3F6556-67AD-40AB-AFCF-277779412C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030795$556E73D9-19E3-4449-BF81-023D721406FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d68912820ab8e54b3231e83dbc3458ecb647e3e","datavalue":{"value":{"entity-type":"item","numeric-id":792999,"id":"Q792999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030795$BC60F04D-A416-48FE-9524-A6A409C00280","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030795$6F0498AB-BE6C-4680-85FB-54648DE4BE4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3030795$472981C6-13BC-4678-9B3C-3A290ECD6F2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030795$7DB88285-2B34-430D-B511-0F574A10E077","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9730b997418da3c0927471a5317c48da4df6c1f","datavalue":{"value":"4019022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030795$5FCF5B8B-7F00-4571-BC0D-D9E50C473044","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f35f4aa93cd316c44f91582fd894214212689e","datavalue":{"value":"contractionless logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030795$6B0C502B-910C-4EB2-979A-069EE891528F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1d2f5dbd9cbfcc9a21f624c082fd0615390ea8","datavalue":{"value":"distributive semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030795$78644A8B-9B5F-4F54-BD1D-8D2DB788B5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc5fc0eec3620918cebcda749c48985c055ab39","datavalue":{"value":"semilattice relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030795$B861A9C7-7D78-4046-938E-711A224EDE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cce6d341d819e09322510961aab563a2fb1bcf8","datavalue":{"value":"commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030795$92ABCE38-762A-4011-9106-422C170AF7FF","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":"Q3030795$9C996155-167E-423D-A5E0-78165914A206","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5d56f243c3ab3712618a10b19c6aee1b4e5f320","datavalue":{"value":"https://doi.org/10.1002/malq.19880340404","type":"string"},"datatype":"url"},"type":"statement","id":"Q3030795$0FCB30AE-90CE-4A2D-83B2-C674FEC35C1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91b1eda4a6b093879b24573876b7decee73ff5ce","datavalue":{"value":"W2030967759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030795$84C8E386-ED9F-44F9-B569-7D04F1DE1852","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17366f02b9fad0f1de33944158eb9705e6bb585a","datavalue":{"value":"10.1002/MALQ.19880340404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030795$93BB8CF4-2814-4A81-B5BF-008DA427003F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cf3c2764fce7ae9474469700927a05246eb73f","datavalue":{"value":{"entity-type":"item","numeric-id":3751556,"id":"Q3751556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ddeaea413c1bc7d999fa4811f1cbd83661f030","datavalue":{"value":{"amount":"+0.9399418830871582","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":"Q3030795$0ABB772D-F74C-4B70-AB02-46DC6B16BEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ad32d01bc695040fe116a259e50c5c28840f60","datavalue":{"value":{"entity-type":"item","numeric-id":3762287,"id":"Q3762287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5b8e809253830e46d9644df44a65d551c3b8e9","datavalue":{"value":{"amount":"+0.8567794561386108","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":"Q3030795$C97522EA-5D6C-49A2-855F-8FF9296F2779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c0a141dedfddc56b734f3996f4aacfbab631f9","datavalue":{"value":{"entity-type":"item","numeric-id":4419270,"id":"Q4419270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18661a94f76f7bc9cf7362a6ab9aa3c87a5f95c","datavalue":{"value":{"amount":"+0.8461401462554932","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":"Q3030795$E6176C32-20B1-4D62-B9E6-FDF5866AFFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f55252876260fa9200af39ed91805817a699ce","datavalue":{"value":{"entity-type":"item","numeric-id":4218025,"id":"Q4218025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e045e25b33cfa9e865134209b954bf3d83a9676","datavalue":{"value":{"amount":"+0.8326057195663452","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":"Q3030795$1159B949-E6AB-4176-951C-5FAF8375BFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc34376325fb7daac5469ccdca9af830e9ee176","datavalue":{"value":{"entity-type":"item","numeric-id":1115417,"id":"Q1115417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5053caa3b51e9a1ea70b994c8a89277eff20fcdd","datavalue":{"value":{"amount":"+0.7980209589004517","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":"Q3030795$EE22BF64-119F-4F68-AD57-588258C31F77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3030795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3030795"}}}}}