{"entities":{"Q3751556":{"pageid":5781462,"ns":120,"title":"Item:Q3751556","lastrevid":51674942,"modified":"2026-01-19T10:13:49Z","type":"item","id":"Q3751556","labels":{"en":{"language":"en","value":"Proof Theories for Semilattice Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3987250"}},"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":"Q3751556$21264C66-F930-4A8D-97B9-18A6510A58F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2084f0f934b21b74dcd0986824a8a0d18e3a99e","datavalue":{"value":{"text":"Proof Theories for Semilattice Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3751556$AE1A86B4-1444-490C-8101-55A44B0602A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96bbf3a2ad2413aec1bc95fc056a2c5ea09802c2","datavalue":{"value":"0611.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751556$BF106849-2677-4564-AA01-FA1985A7711F","rank":"normal"}],"P16":[{"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":"Q3751556$DDA62726-4768-487B-B5B1-E1F638BCF1D6","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":"Q3751556$28B54037-24D2-4207-AE6B-D9E76333DD19","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":"Q3751556$606DA13A-A2C3-4B72-89BF-AB2815BCF486","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3751556$5D49370E-E054-4338-9122-8BAE1EECD562","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751556$5463891C-12BE-4CAE-9DBE-8E43D69E645F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"777e9a13a0edc934d74930055cada98a8b937050","datavalue":{"value":"3987250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751556$5337E98D-ECAA-437F-8E7E-0FDA84BF41FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f35f4aa93cd316c44f91582fd894214212689e","datavalue":{"value":"contractionless logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751556$70FFD1B9-BCF9-409F-B500-085FD9ACAE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751556$FE74261F-B908-4C70-8CFB-B7004EB8567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc5fc0eec3620918cebcda749c48985c055ab39","datavalue":{"value":"semilattice relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751556$63B26556-4C28-443A-97D7-3897432C023B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751556$5CEC6F1D-C97D-4B54-9518-8FF9FE965933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e177af08ab7c95f85ddd2d4ae4082193e11324a","datavalue":{"value":"Gentzen Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751556$1D61146B-1CC4-4559-8F4D-B9125D71F4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c32271f67732d87cb6062b30ff0ea523edf060ee","datavalue":{"value":"commutative monoid semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751556$D9C0F703-9B9E-475B-8772-A0D0A1272D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7405cf31e8701d523c9ae8eaf075ac343474bb","datavalue":{"value":"semilattice semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751556$84BCFF2B-B1C1-4C8D-92A4-1A951B55F660","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":"Q3751556$5F37E502-2B9A-45F4-8797-C7B832DE8495","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36a85b26af26ca219d253cfa4a6207b1faf61672","datavalue":{"value":"https://doi.org/10.1002/malq.19870330507","type":"string"},"datatype":"url"},"type":"statement","id":"Q3751556$1A02657F-5DC4-4DC9-BF49-79B2FB640427","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b2cdd93625b808da9272df65aad71fb84ffc74f","datavalue":{"value":"W1995007089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751556$7557FEBF-D71F-4001-827C-77E46A50115B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa3a37ea9c989bef513f31174ee78aec5ff3d719","datavalue":{"value":"10.1002/MALQ.19870330507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751556$FEC69B9A-E353-4F6E-95F0-DDA4CFB60195","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4b9de7e40c5958ef6e20e8d0fc196dc47d40cb","datavalue":{"value":{"entity-type":"item","numeric-id":3030795,"id":"Q3030795"},"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":"Q3751556$E7A0BAA9-BE96-4EC5-910B-3161932703F3","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":"aa8ef429b5f120108b96c9ef1187665194b6b3cf","datavalue":{"value":{"amount":"+0.866584837436676","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":"Q3751556$1AEDE2E9-572A-49B7-9BEA-EB6E6B30C0DC","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":"ff32a3608572c82826fa055833a6733e267b85c5","datavalue":{"value":{"amount":"+0.8267048597335815","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":"Q3751556$39E872D0-9879-4E43-AE72-CDD0CF6FD952","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":"f24d4c71c686f7d545d37aecf29d0df83200e85a","datavalue":{"value":{"amount":"+0.81087726354599","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":"Q3751556$96C92125-0570-40E1-8E8F-ABBA961EB013","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":"0e9ba9cff6fc06b60673cb96939be64c75795543","datavalue":{"value":{"amount":"+0.7903313040733337","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":"Q3751556$8F2A4D03-5825-44AD-B1DE-45AC554BCC98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3751556","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3751556"}}}}}