{"entities":{"Q818519":{"pageid":820367,"ns":120,"title":"Item:Q818519","lastrevid":64570536,"modified":"2026-04-11T20:47:09Z","type":"item","id":"Q818519","labels":{"en":{"language":"en","value":"Fuzzy Horn logic. II. Implicationally defined classes."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013638"}},"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":"Q818519$2422A380-F426-4D42-BE74-72B851D63A21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b141c3722678bda17a0051087e22951a22281cf","datavalue":{"value":{"text":"Fuzzy Horn logic. II. Implicationally defined classes.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818519$D4892740-FF96-43CB-8182-5EE058546597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd10fc9e8efdfe7700bc1e31940ab0a66c4d355f","datavalue":{"value":"1099.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818519$E78C7480-7890-45A1-82D3-DAA571C6E165","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dedf5ac4920c49d1b1f5ba71ec39cf19a7fb7ed0","datavalue":{"value":{"entity-type":"item","numeric-id":192274,"id":"Q192274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$60E4B1F6-BA54-4546-8575-E36D5692320D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d01507ba9ab9da3529543c28a9ea5f4e0abb1590","datavalue":{"value":{"entity-type":"item","numeric-id":246591,"id":"Q246591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$9872960F-93C2-4D08-ABB7-60FEA1583748","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$AD6CE346-A4D2-40A4-97B5-9891B4CB49F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"772948f2487b02c578217863cb0a65a1011ee253","datavalue":{"value":{"time":"+2006-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818519$8FA1A92E-039A-4BED-8B45-490465973126","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59d462403968d272c566fdaa975680f24c8310cb","datavalue":{"value":"Based upon the first part of the paper [Arch. Math. Logic 45, 3--51 (2006; Zbl 1095.03014)] the authors develop here, for algebraic structures with graded identity relations, within the realm of a many-valued logic with truth degrees in residuated lattices equipped with a truth stresser, a suitable generalization of classical logical and algebraic characterizations of quasivarieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q818519$9100A875-8D60-4747-8344-F71D5A034761","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818519$71BE62DF-C9BE-40CA-81AC-DDAD5FF9D26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818519$76C5CC80-1232-41B9-B52B-F72A1AA17428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818519$7D516EFE-CBE1-4729-9931-BE731BE9C4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818519$42501A77-20A9-403B-8F6A-E14CAD75682F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f315114bda520f32970f07c038b7f01adc0fd386","datavalue":{"value":"08A72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818519$A37BA52E-71EE-4F9C-9758-18065E25E579","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70661df10ad5c3d9d05007f01627d1ea35716c5c","datavalue":{"value":"5013638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818519$4F082494-2DB2-40E9-AC66-CDACFE9DBC5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q818519$55F5F3D4-68F2-43AE-9DEA-80A3B765C5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q818519$1B3DF73D-D2AD-4B57-86DF-EA8CD69D7BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q818519$024D7159-F24A-46CC-9F7C-07FC21F969B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd9b5de2ee42a41627d21e837ed26000fe6cc2cb","datavalue":{"value":"graded identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q818519$2A68EBB6-D05B-4D96-B30F-0A35C49C2764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q818519$B8CE2962-6075-42A1-B73D-66DF0CC65E83","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$A6E1F64A-06D9-4D37-B350-837676482F04","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":"Q818519$2C69ACAE-D6C7-4589-87FB-3615FB6B1BF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3340c2ccffaa28384798fdafdd91c1382017e74f","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0303-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q818519$641CD113-911A-4BAC-AB4D-0BB2F0BCDEE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f73f6af418ce22636c1945e1484cff2dbc7521a6","datavalue":{"value":"W4250979335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818519$7BDDF681-C094-4151-9E77-5CB99A4D2E77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd2be50a7cc075a5a7c679f5c85f55f0fcef2c6","datavalue":{"value":{"entity-type":"item","numeric-id":583258,"id":"Q583258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$BFAF551B-4189-49CC-B4CF-D74A8EDA8D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7bc15f249726e286830d3ad1d34138fb5e2e3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4893133,"id":"Q4893133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$27733A76-AF55-4382-929E-8291D7A7EF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df78e87fac3bc29a9432355ad3ae1c01f7435c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4111746,"id":"Q4111746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$CC664775-B438-4352-A0D6-E8E2F241BA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4695fcbae03697efb06bf4948e048b7e9d7cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":5953082,"id":"Q5953082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$359968B6-AE48-48FB-AB2C-C8F14758958E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fba8c8bcf9ef3834539d01514db1e1860c77a50","datavalue":{"value":{"entity-type":"item","numeric-id":1403100,"id":"Q1403100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$33D6060C-11EC-4924-AD25-B1B29E69E791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f2ac95cdd18c2a5e703d33bae2ca021f02b95d","datavalue":{"value":{"entity-type":"item","numeric-id":5906996,"id":"Q5906996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$B99C0A0D-DDA1-4F4A-BD50-7C3B815F0F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a93b0ea651c5caa39f147b5eb2c1f1c2d616ac","datavalue":{"value":{"entity-type":"item","numeric-id":1423635,"id":"Q1423635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$A686ADDA-CCC2-495C-A8C0-E9DED2A13E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14f757e4b66a172345e8cf308d44ad5b318e220","datavalue":{"value":{"entity-type":"item","numeric-id":1168414,"id":"Q1168414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$4DFF6AD7-1B67-428E-BE69-FC04725546ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4879572d0fcac07436cc347c26868c7149e969","datavalue":{"value":{"entity-type":"item","numeric-id":2561620,"id":"Q2561620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$A8508A79-5EF7-4FBA-B9C9-BCE2FB8DBAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$82EE42BD-0A29-47FF-9548-CF495D77E4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f010e894f7ae9f6822bb04f252b0242f22b1b8ca","datavalue":{"value":{"entity-type":"item","numeric-id":2535673,"id":"Q2535673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$560F7BED-BEE1-4A83-83F0-EE3F257A1131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$463EDF23-2F59-46E9-8DC4-DC160064832B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$4A2C9E54-72D4-4C28-9B2A-9B8540E701F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ddd92f36070c2eae18b4369cc5e7fd184d29dd","datavalue":{"value":{"entity-type":"item","numeric-id":1349204,"id":"Q1349204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$43D4970A-E682-48D3-BCA3-1A6882AF61BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa99dcc26109a28df283661201563bf8c4b9642","datavalue":{"value":{"entity-type":"item","numeric-id":1922962,"id":"Q1922962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$8DD118BB-847D-4E89-AD39-D67F0EDCA8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4971710e4358cd9ca63b9a295e880af2959f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4269081,"id":"Q4269081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$455428CD-3CBC-4F75-BB94-7BED80BFEF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$10F85905-56FB-4F19-97C1-8B473E97D217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348c3cca13d6350ca59547312259f123bcbd1b05","datavalue":{"value":{"entity-type":"item","numeric-id":2556880,"id":"Q2556880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$A139D199-B9AA-4FB6-8349-619E7BDAC7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919d5232793ecfe740e82355ea229d16248f620d","datavalue":{"value":{"entity-type":"item","numeric-id":1095903,"id":"Q1095903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$012D005B-D15D-4607-A579-78332A9DF019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7590f24ffa35ee05f0e03d5f8206ce9dc1af112b","datavalue":{"value":{"entity-type":"item","numeric-id":5439794,"id":"Q5439794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$25555474-AD09-4D60-A8FC-9144C7FB3E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818519$FA84009F-E4CC-432D-A244-6943FE34ECC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0d8f39020a614516145044ead7e24563c05ec25","datavalue":{"value":"10.1007/S00153-005-0303-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818519$D65594D2-C793-4A1B-80AF-5D2734C8FF34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf0ffc30299993a6429ba5cca209b3d9fb5341d","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d67112d04c33a65b5cb12198095ebf9ccf377b8","datavalue":{"value":{"amount":"+0.8071687817573547","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":"Q818519$5F945D22-15A8-44BE-8198-A4DC48903D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d0477bc9ee647bc5ab1ea06275c456a520675b","datavalue":{"value":{"entity-type":"item","numeric-id":2580956,"id":"Q2580956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b858958cc7aa708181332544c7af98b7534d2d56","datavalue":{"value":{"amount":"+0.8019642233848572","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":"Q818519$BFEB6535-3E11-4C62-BC63-C64C4273D694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa85307c0dd0712c877407480231a7f3a6505d0","datavalue":{"value":{"entity-type":"item","numeric-id":805267,"id":"Q805267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4883535d18751dce5a9698ff7d72ac810b17048b","datavalue":{"value":{"amount":"+0.7979116439819336","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":"Q818519$6F94D367-A0A8-4574-844A-F466BB9A0A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0fbc18e88058f7b4fa0a1543eacc5143183ee96","datavalue":{"value":{"entity-type":"item","numeric-id":5469109,"id":"Q5469109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a48c65423c1070ef3b6fdd17453364f84d08c9","datavalue":{"value":{"amount":"+0.7891722917556763","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":"Q818519$C81A8A1E-766D-4833-9AD3-CD7AF2F2F3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31975f20d13cfe3252ffbb1bbaea0e8661ab3449","datavalue":{"value":{"entity-type":"item","numeric-id":4946088,"id":"Q4946088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74596cc9b13ff58cfc9cc073abe098013804e11","datavalue":{"value":{"amount":"+0.7746195197105408","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":"Q818519$17675093-FAE5-45F4-8861-D9D256CB9A8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fuzzy Horn logic. II. Implicationally defined classes.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fuzzy_Horn_logic._II._Implicationally_defined_classes."}}}}}