{"entities":{"Q3093655":{"pageid":3104370,"ns":120,"title":"Item:Q3093655","lastrevid":58105065,"modified":"2026-04-03T20:01:52Z","type":"item","id":"Q3093655","labels":{"en":{"language":"en","value":"On the link between partial meet, kernel, and infra contraction and its application to Horn logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5959973"}},"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":"Q3093655$D951D673-9E2A-4C28-9626-44A7BAA3A2D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b24a838d4d4522f267f7ba30b2c526b9593ebd1b","datavalue":{"value":"1237.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093655$9DD6F8B7-C225-4897-A6DD-F35A8139CD3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c4cd006a840b02e65632d821386bc4f730c051a","datavalue":{"value":{"entity-type":"item","numeric-id":204132,"id":"Q204132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3093655$6826156A-6C16-48A4-8AF3-389FF32493C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecdaacd6970e3d9780b4251e78dc7b1c7553fe00","datavalue":{"value":{"entity-type":"item","numeric-id":1028965,"id":"Q1028965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3093655$2EC578FE-8003-4824-A106-02B62BE1EBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64768e880dabc12577ee9ac582aaca1ac21d612e","datavalue":{"value":{"entity-type":"item","numeric-id":490419,"id":"Q490419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3093655$C5544F3B-7F06-48CA-9158-3E661A98C927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d605bf636092c6de0dea1a69b2e6f518667bba3","datavalue":{"value":{"entity-type":"item","numeric-id":1582324,"id":"Q1582324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3093655$202BD936-0751-472F-9A9B-32527EF7AC50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9767fe8dd1d6f9791ae763e9a67550b5f9aa27e1","datavalue":{"value":{"time":"+2011-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3093655$E296A998-1982-4185-977B-38D4BB34F255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9b3801dfcba8b178d557008da5731d4d7c85b3f","datavalue":{"value":"https://arxiv.org/abs/1401.3902","type":"string"},"datatype":"url"},"type":"statement","id":"Q3093655$312E48A8-4BDC-411B-92B1-039FE62FB8BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093655$9D4945BD-95B0-4269-B0E9-F80232F1CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093655$16EA409F-BBF5-4E54-9AFD-51A57F89574A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00d50cd6133fe39dc90e6efadf7f3684bb08be1f","datavalue":{"value":"5959973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093655$603EEC6E-17EA-4783-97C3-79E4AD2B6241","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86331598f0f274ca5d6a7a6a3bfe37fab405b11","datavalue":{"value":"partial meet contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093655$1393AC25-4AA4-4C27-B325-D56D4E07ADF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82074d85e4d5eb50b7ca016ddb9380b0f3518cf7","datavalue":{"value":"infra contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093655$088F2BBE-AFF1-42BF-98BF-08907A81CDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4aeb5c029a8cbb02fbf80e553e7c37ec35ac99","datavalue":{"value":"kernel contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093655$BCE04933-C99E-45BE-BAAA-E68EBA1A9F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30717d312bef68cc270a3c4b3e17862513c65af7","datavalue":{"value":"belief set contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093655$05878BA6-3667-493B-B8ED-A34B8350B678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97de8d0a41afae03b5319cf7dc53680cf3c5f718","datavalue":{"value":"Horn set contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093655$888E9725-981D-4FF6-8F08-381595D9E6BC","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":"Q3093655$41F5CE65-FCBD-4C00-B83F-82DD74B9717A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6f4a99fc60db734af4eb9b0b89496d20bd2f79","datavalue":{"value":{"entity-type":"item","numeric-id":4930776,"id":"Q4930776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d031fb29d3c5651baeec0b39abfeb6a652f8d8","datavalue":{"value":{"amount":"+0.8941575884819031","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":"Q3093655$5F04255C-55C3-4FBF-B36D-9C0F6890F491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7994e0409b9d93472f0547337e181ea26aa9fe","datavalue":{"value":{"entity-type":"item","numeric-id":2865010,"id":"Q2865010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911e67c25d24233aeaea7c57e05f13942b057861","datavalue":{"value":{"amount":"+0.8860340118408203","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":"Q3093655$A8CA94C7-7436-4194-A65A-CDB0936177EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f11c592aa38a46f611b135618a1ab0168db7ad","datavalue":{"value":{"entity-type":"item","numeric-id":2922397,"id":"Q2922397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03d11db752d0c9485065cce0ac53f335134e32b","datavalue":{"value":{"amount":"+0.860545814037323","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":"Q3093655$3E51C560-42C7-41B0-A705-468B9E324699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfe961baa46dbd52b003d028dd7ebe4c8f5a4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4314675,"id":"Q4314675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27571b6728ba7ec9b223e63099af8280911eb575","datavalue":{"value":{"amount":"+0.8274974226951599","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":"Q3093655$7CDD0FEB-D70D-4AD3-A307-924CCFDDE52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa67fc7d14596b6842b369d8ed795d70b5044254","datavalue":{"value":{"entity-type":"item","numeric-id":2512985,"id":"Q2512985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abacfc43d9cdcf3c090eda4bb840aa54edc587f","datavalue":{"value":{"amount":"+0.8267848491668701","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":"Q3093655$667A5997-3C2B-42B7-A279-342ACDDC5A68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3093655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3093655"}}}}}