{"entities":{"Q1428680":{"pageid":1439420,"ns":120,"title":"Item:Q1428680","lastrevid":71182107,"modified":"2026-04-13T20:06:33Z","type":"item","id":"Q1428680","labels":{"en":{"language":"en","value":"Graded many-valued resolution with aggregation."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2062912"}},"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":"Q1428680$C09916DE-EF06-41B6-B37D-9167620EFD9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96a747417d9a8985c572480b37efd665f59dfd81","datavalue":{"value":{"text":"Graded many-valued resolution with aggregation.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1428680$85CC79E5-7983-449F-B9D2-9E7A4D28215C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00fd7f92c0671bf8d354b38f175491c015455104","datavalue":{"value":"1054.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428680$AB00D175-332D-45FC-B297-D217ADFB4AA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a25f045ad40b0a6d851a512586436d3754b957d5","datavalue":{"value":{"entity-type":"item","numeric-id":1428679,"id":"Q1428679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$A7EA2D22-7F2A-4A26-A3DC-388CDBD72346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83da6a48b2f8baf1822e4dd8d8c6763cbd15b96","datavalue":{"value":{"entity-type":"item","numeric-id":1201241,"id":"Q1201241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$D869D773-EC49-4AB9-95FC-4D375BC76E83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$4C2EF432-08DE-4C03-8F3A-A5E7C1261F38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1cd9bf3779f6c23821bcce79ad403c8df2b71c8","datavalue":{"value":{"time":"+2004-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1428680$ECFF0EAA-9576-468F-886B-9CB16638D93C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0b0a7b5d5bdcc0ea6afae7dbae90a9c2c40ee98","datavalue":{"value":"The aim of the paper is to define a resolution truth function \\(f_\\lor(x,y)\\), \\(x,y\\in[0,1]\\), for using it in a many-valued resolution procedure. This function \\(f_\\lor(x,y)\\) provides a truth value \\(z\\) of a resolvent \\([(C\\lor B), z]\\) of a pair of signed many-valued clauses \\([(C\\lor A), x]\\) and \\([(B\\lor\\neg A), y]\\), i.e. clauses which are true with respect to some truth values \\(x\\) and \\(y\\) from the unit interval \\([0,1]\\).  The goal of the paper is achieved by algebraic analysis of such many-valued operators as t-(semi)conorms. The authors introduce a notion of aggregation deficit which is based on the construction of conjunction from residuated implication proposed by \\textit{D. Dubois} and \\textit{H. Prade} [Stochastica 8, 267--279 (1984; Zbl 0581.03016)].     There exist highly related papers that are not cited here:     (*) ``Automated deduction for many-valued logics'', by \\textit{M. Baaz}, \\textit{F. Ferm\u00fcller} and \\textit{G. Salzer} [in: A. Robinson et al. (eds.), Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/Elsevier. 1355--1402 (2001; Zbl 0992.03015)];     (**) ``\\(\\alpha\\)-resolution principle based on first-order lattice-valued logic \\(\\text{LF}(X)\\)'', by \\textit{Y. Xu, D. Ruan, E. Kerre} and \\textit{J. Liu} [Inf. Sci. 132, 221--239 (2001; Zbl 0997.03006)].     For instance, in (**) the authors develop a resolution calculus for first-order logic having a lattice-ordered set of truth values. It would be very interesting to establish wether this earlier paper by Xu et al. contains a more general result than the present paper.     The authors obtain a sufficient result which could be applied in many-valued theorem proving. However, they use algebraic notation which is not common among logicians, see e.g. (*). Of course it is not a defect of the paper, but it shows that the authors work in a very particular branch of many-valued logic without knowing important results concerning many-valued logic. Also it testifies the lack of commonly adopted symbolic notation and terminology among many-valued logic researchers in general. That constitutes the main methodological problem at the present stage of development of many-valued logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428680$CCCBED69-64C5-4BC3-8960-8D71331950D8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$E3E2A6E9-606D-40D4-ADF9-B4B903A15EF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428680$D1E03460-D27E-4EC5-B315-C317BEC73F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428680$8E343411-812A-4439-BD5F-8C978FA3CCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428680$15EEF6C7-C9DB-4894-A396-EC402372076F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428680$A5BA7826-CB80-4A1E-A3C6-55881D81842D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abf0b348ad0027d63b0f4def3731a9af54c8abe0","datavalue":{"value":"2062912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428680$D2B61E76-A7EE-43B8-AC5F-C4C11F6D49B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a64abe4187fbcc2ee7c49958dfc69b81b5f8418","datavalue":{"value":"aggregation operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428680$4BFC706F-EC58-4C0F-B3E0-741A4EF9F6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b95a07764b57d00201bb891b487ff9ba2ec43e0","datavalue":{"value":"triangular norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428680$874A04CF-95C9-4F3F-853C-0BFD14BE2A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef68b540ab863f7671932e3923ec15b073b132d1","datavalue":{"value":"additive generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428680$1C42644C-B32D-4817-8DBE-E51BA5D8293D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc6f82448a81d7344f5b0d4aa255a449f1a0280d","datavalue":{"value":"residual complicators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428680$C938AEA6-429B-40DB-9BD6-F2793F4AC9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a675a4b3c7ad8fd81c8a023c8bbcbe3b00970f8","datavalue":{"value":"many-valued resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428680$155896B5-59F6-4244-96CC-B23C1DCF6B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"750166616e9765e6b5ba533a3ec70d8eb375cf3c","datavalue":{"value":"truth-functional fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428680$ED0D1CD7-5C1E-4A67-A6E4-E4751A13D77F","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":"Q1428680$B1977C3A-7F9A-410D-85FE-211D7E34A96E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49089da772c88c9d78a17ead69f075302f933bca","datavalue":{"value":"https://doi.org/10.1016/j.fss.2003.06.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1428680$1BE4ED78-2331-4034-A36D-0A379F2659F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b170bcb72e16f0f7d1b6d431b7076ac6c7019b3c","datavalue":{"value":"W2004627245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428680$30D66D66-D3A9-408D-8D73-FAF580E6292D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbc9ba1b87433d96e8c087b19663ac306c976fb","datavalue":{"value":{"entity-type":"item","numeric-id":1914464,"id":"Q1914464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$754F57B1-AE6B-48F0-8F47-F188584B5791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3a777a1e7494edd3d6aa7197f1edf7a7d923c0","datavalue":{"value":{"entity-type":"item","numeric-id":4509109,"id":"Q4509109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$BE1F2176-817A-4545-B9CA-42D3CE001756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431e06942f4c8c9528da03dd12e2c03c5bf98e7c","datavalue":{"value":{"entity-type":"item","numeric-id":2641292,"id":"Q2641292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$BD102AA8-0503-424A-9DB1-58F7C98E1E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f6ecb2a266fb1b2d0eef13670e15803cf905f7","datavalue":{"value":{"entity-type":"item","numeric-id":3703871,"id":"Q3703871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$D52470D8-4090-4B8E-AF41-8962FFE8DD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886ed8a108735027e0dea112628523913ff683b5","datavalue":{"value":{"entity-type":"item","numeric-id":1177687,"id":"Q1177687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$E4ADF574-0260-4AF4-B5FF-3640DA1D66C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c1a79d380773cb8c7614cf932aa71136aaa7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1914454,"id":"Q1914454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$B2C8AD23-8BE9-4574-BC3A-792E42FB7006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c63705391fbc59721587c4c8ae49ce37d3419c9","datavalue":{"value":{"entity-type":"item","numeric-id":3135091,"id":"Q3135091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$F99219CE-53A3-4BFF-A745-A9666B4CA3B7","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":"Q1428680$9E5932CD-D603-4625-AEC8-90C40192002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$88ED8035-F059-4456-B7BA-4FDCAA17E607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d138b7b309d07661da7bad2c01c7e4192d916252","datavalue":{"value":{"entity-type":"item","numeric-id":1299619,"id":"Q1299619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$A498BAA2-CE3B-4EDD-B95B-2A773AD37A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e748ff6f9e53b6d422dd6177e8d0ff6b11b9a9db","datavalue":{"value":{"entity-type":"item","numeric-id":5656745,"id":"Q5656745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$D82547C3-8467-4ADA-8139-30C2D6726639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc5d45da6cc5a721668e782aafb633876581237","datavalue":{"value":{"entity-type":"item","numeric-id":1276262,"id":"Q1276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$CE8FD7C9-AA75-4E8F-9606-CD97A869338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da60412b2bb205ba30e754dd2e4533dcf71458a","datavalue":{"value":{"entity-type":"item","numeric-id":4955575,"id":"Q4955575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$49178BF9-8C51-4559-9005-FA234C02EE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00fc24df3f6b45134f398c5aa634cf9a5d3ffa7","datavalue":{"value":{"entity-type":"item","numeric-id":2775981,"id":"Q2775981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428680$1927315E-A975-42D4-82DC-C1F26B6B1A70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43553d6674e0e2bb0901d8e6ae7c0ee5b0c4c708","datavalue":{"value":"10.1016/J.FSS.2003.06.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428680$5B0BC2D5-FF10-4576-B255-4338C044FD59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb6e7534b4c7227d8a47b3ce7e7cc34b1f4bb50f","datavalue":{"value":{"entity-type":"item","numeric-id":5946327,"id":"Q5946327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dce1f57df3a7576db11e56517647fdde4d98fc7","datavalue":{"value":{"amount":"+0.85269874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1428680$93352A84-6C8E-491F-B453-829428B26395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf5f543461214e891033d1a956489ca87abee89b","datavalue":{"value":{"entity-type":"item","numeric-id":2440194,"id":"Q2440194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d70d35c31a80faa18242de6e1c1bcfaf789adda","datavalue":{"value":{"amount":"+0.8176444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1428680$A3243195-EF31-4DA3-9D03-1BBAD924CB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf5c5390b116544bf1fda0489be16525f82e589","datavalue":{"value":{"entity-type":"item","numeric-id":2988491,"id":"Q2988491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3a6e9135dcaf0704c80b86c4256ce8486ffe9f","datavalue":{"value":{"amount":"+0.80906284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1428680$B3B34F92-EF70-44C3-8D9E-0BE9D034AB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68a81cd3bbed284927d6404bab1190e9cc0efcc8","datavalue":{"value":{"entity-type":"item","numeric-id":5946276,"id":"Q5946276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58211d990827e9af5e3d013f8871f0717b6866bd","datavalue":{"value":{"amount":"+0.80581284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1428680$07BCCCE6-E2FF-46B9-B8DB-2527B221D3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00042c233b81b4279dce4622b40467a06d7d3495","datavalue":{"value":{"entity-type":"item","numeric-id":545319,"id":"Q545319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a3c0b651908d371fadb905e555dd04745f6b79","datavalue":{"value":{"amount":"+0.80303055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1428680$9484EACE-D1A9-46DC-A0D3-45C9730F7C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffaee73e9313a2b8366d8c6266d1a97b4369f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3090178,"id":"Q3090178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43674d2942d273e3388da6c79975154aa3f2ce3","datavalue":{"value":{"amount":"+0.78895193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1428680$ECCDB45B-6E0B-451C-88C0-072ED0DE249B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a042c4981412855ace19614269ea5a439a0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4932304,"id":"Q4932304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32eb1840bbe340e72148166643f4b23fb398548d","datavalue":{"value":{"amount":"+0.77953815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1428680$44AFA24E-C5AA-46D8-B010-F266D65EFFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44e89d7181d63cc7f2b29ed472efb7aba3e5629","datavalue":{"value":{"entity-type":"item","numeric-id":1375832,"id":"Q1375832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d612b47f44ac4e04b983adf1cb046e1c5933522","datavalue":{"value":{"amount":"+0.77920276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1428680$E011D69D-258D-412C-BA7B-9FE06E8F86B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d4566d3b505f542234fb248e11a16b563932c5","datavalue":{"value":{"entity-type":"item","numeric-id":867665,"id":"Q867665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b7605b85c48964dfe2e60dce0def33a4432fd5","datavalue":{"value":{"amount":"+0.77475953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1428680$A90E490F-7F6C-48C4-B04C-75BF749DB65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9866f4991bec3cecbb572d128c06ff0e46a0ff95","datavalue":{"value":{"entity-type":"item","numeric-id":4467737,"id":"Q4467737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e90ba6beda00368288ffeb502d850bf1a4724cf","datavalue":{"value":{"amount":"+0.7686291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1428680$9AD131A3-8BF0-4911-AE67-F251474912D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graded many-valued resolution with aggregation.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Graded_many-valued_resolution_with_aggregation."}}}}}