{"entities":{"Q368472":{"pageid":370239,"ns":120,"title":"Item:Q368472","lastrevid":61302045,"modified":"2026-04-10T22:29:03Z","type":"item","id":"Q368472","labels":{"en":{"language":"en","value":"Bilattices with implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210411"}},"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":"Q368472$57E7C35F-EDF9-4F60-BFCC-D4001827F79D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a8af663345d3e2e93dc5af8879fb2e84294aa89","datavalue":{"value":{"text":"Bilattices with implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q368472$6BA5EFB0-EC7F-446A-A110-CB5D387C2637","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d10ccf3c6d113105fdeb26a2976aac7f8c92588","datavalue":{"value":"1291.03119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368472$B04071BD-4C90-4538-9892-65865EF73EBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e041094fb1f8ae65e1b67230811819ed7751fb44","datavalue":{"value":{"entity-type":"item","numeric-id":368470,"id":"Q368470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$2FFF2890-C096-49B6-8D91-48E8110D994E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9879957a0bd5fb892a3aeeaffc912b1252873dde","datavalue":{"value":{"entity-type":"item","numeric-id":368471,"id":"Q368471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$021EDC84-BF3C-4BC6-A6DF-95B0812013F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$93D87C9D-82C3-4FA4-B02C-DCC3B82DCCB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8fa67e57597c5d021d880560712cfcef304abf5","datavalue":{"value":{"time":"+2013-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q368472$AD45BB17-802E-48E8-8E7A-5ECE4DEBC0B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3df8cd88d3299ee3b7f9723f8e922bf25013732","datavalue":{"value":"A bilattice is an algebra \\(\\mathbf{B} = \\langle B, \\land,\\lor,\\otimes,\\oplus, \\neg \\rangle\\) such that the reducts \\(\\langle B,\\land, \\lor \\rangle\\) and \\(\\langle B,\\otimes,\\oplus, \\rangle\\) are both lattices and the negation \\(\\neg\\) is a unary operation anti-monotone relative to both orders and such that for every \\(a \\in B\\) we have \\(a = \\neg \\neg a\\). A Brouwerian bilattice is a bilattice endowed with an implication \\(\\supset\\) satisfying the following conditions:  (B1) \\((x \\supset x)\\supset y \\approx y\\)  (B2) \\(x \\supset (y \\supset z) \\approx (x \\land y) \\supset z \\approx (x \\otimes y) \\supset z\\)  (B3) \\((x \\lor y) \\supset z \\approx (x \\supset z) \\land (y \\supset z) \\approx (x \\oplus y) \\supset z\\)  (B4) \\(x \\land ((x \\supset y) \\supset (x \\otimes y)) \\approx x\\)  (B5) \\(\\neg (x \\supset y) \\supset z \\approx (x \\land \\neg y) \\supset z\\).  It is proved that a variety of Brouwerian bilattices forms an exact algebraic semantics of the logic \\(\\mathcal{B}\\), introduced in Section 1 of the paper by a Hilbert-style calculus.  Theorem 2.12 describes all reduced logical matrices that are models of the logic \\(\\mathcal{B}\\) in the following way:  A matrix \\(\\langle \\mathbf{A}, D \\rangle\\) is a reduced model of \\(\\mathcal{B}\\) (or of \\(\\mathcal{B}\\) plus Pierce's law) if and only if \\(\\mathbf{A}\\) is a Brouwerian (or a classical implicative) bilattice and \\(D = \\{ a \\in A: a = a \\supset a\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q368472$1B823EC8-BEBC-479C-8969-484AB5E34ACF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$2AA48824-02D7-4916-A85F-6A740C9AF4F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368472$63CAA3FA-B5B8-4890-AF93-1CD9533C7E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368472$C2EAE412-717C-48E8-A25D-A8D5B31A2247","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f23f91cff268130b551e991a1b3be792cc99909","datavalue":{"value":"6210411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368472$534AFE60-0D76-440D-9209-B54EA46BD02C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06cd8ff300bfc5e67c175046e42be9e5e351168","datavalue":{"value":"representation bilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q368472$0AA9610B-6002-4D06-8BE8-6FC474CFFD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82967ff1cdfecc17868780f2d98a5a8ecbb1769d","datavalue":{"value":"Brouwerian lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q368472$DC13EE01-975F-4B0C-8E67-DB035EC60D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdf235ffda465c3aeb4250850467deb824af4c8","datavalue":{"value":"disjunctive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q368472$CE40A1DF-15F6-46D4-A68F-1F875649EB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97fb60ef6e73cffdfad5310157401e9201dcdbc0","datavalue":{"value":"generalized Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q368472$20E4F8FE-4063-450B-8956-B250C6ED62A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f4a93fd90d3f8176e5ee52f0a6a3e6d2519ef4","datavalue":{"value":"category bilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q368472$F9EE998B-8FC6-43D5-B39B-CBE6FEA4AFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q368472$062BB8FE-9B95-4D00-928D-11F6D8FAD0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2da41ff931275d0fb77161d424edf4747e4bb47","datavalue":{"value":"implicative bilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q368472$3B31CD12-A46E-434B-92FA-2C46C89FA3E0","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":"Q368472$5733624F-3E28-4914-BE22-B6FFE2F688D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f4d6e1b59b40dbfb6cfd6d3084dd524e62be14b","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9494-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q368472$21708DFD-8505-4329-9830-16897069D75F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"306414011145604c5c19e3c26c1898a27ef9d216","datavalue":{"value":"W2117459082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368472$45F0EE9B-774D-4A7C-A513-3256FF47993F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$F321D6B7-A7A8-4318-875C-1B00451C04C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$3525C56D-B38E-44A7-9276-6148E22A5519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$B5A372C1-461C-424D-BE78-7268267AB1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e2aa3ce38c5bcab1d41bc763928711f07e9c8d","datavalue":{"value":{"entity-type":"item","numeric-id":4862766,"id":"Q4862766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$3ED81963-B5D1-4610-B1ED-14A67CC53341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2820ffef7eeb1d7e35a2e626ed78750ba52930","datavalue":{"value":{"entity-type":"item","numeric-id":4715676,"id":"Q4715676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$EB5F5FC9-F478-4598-99ED-9163E33ABF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd620d0008ba1f194a2223cc251ad2d22349c39","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$3FC08FFD-FC3F-4937-A614-CF7A38B3C40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$84BE6BC3-FD4F-401E-B1D7-6A3C5958FCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$EC2624A8-F569-420A-B813-104A387C9DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa7705e0d72ed3ab595bfee259624b8a9435710","datavalue":{"value":{"entity-type":"item","numeric-id":647327,"id":"Q647327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$E0677AC3-2FD4-4D5F-859A-E2DB6E95782E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da620e205c246dd3dcdacbb3d0520437d53d92db","datavalue":{"value":{"entity-type":"item","numeric-id":3081248,"id":"Q3081248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$2C58CE31-52EE-4261-B383-4706CC3F5DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ce915e9fb9fcb5e8df5975a60e72833afe713c","datavalue":{"value":{"entity-type":"item","numeric-id":2433099,"id":"Q2433099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$0BA0AE51-E031-4414-B7C1-10C9FFDA9407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f77fb9ea11891c6cf6c8eef4dce2bfb8eeedd70c","datavalue":{"value":{"entity-type":"item","numeric-id":1272950,"id":"Q1272950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$F360E723-E27A-4FED-AE52-82EAA247E0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1845121d7204a561acfbb8b55f7d2a361a55e0f1","datavalue":{"value":{"entity-type":"item","numeric-id":4178997,"id":"Q4178997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$AD50FCCB-8585-41D0-9EA0-0E9AA62A0B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$A523F216-A4F6-4ECA-9EE1-27E1E4B28625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ff4e412bf8854d9903378f7760ad489d0d0572","datavalue":{"value":{"entity-type":"item","numeric-id":4081295,"id":"Q4081295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$7BF44801-94D5-443D-9C74-995891F6BE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5703818301cfa4f873262165df497f2b38fb80c9","datavalue":{"value":{"entity-type":"item","numeric-id":1866803,"id":"Q1866803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$70DD4B3A-EFB4-4436-8672-B6F604EFD5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$D332ACB3-BB8B-4C78-A823-A294AD04391A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8552aa722aaf761b057b89312c0933e7cf82a99a","datavalue":{"value":{"entity-type":"item","numeric-id":3424000,"id":"Q3424000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$F1D3C0FB-58FD-4799-B984-91F5CF026754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f9deaac16cbc4472d399243672e85c54608853","datavalue":{"value":{"entity-type":"item","numeric-id":4434609,"id":"Q4434609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$6A869A3C-9A53-4B8C-BC3A-2F19B8B9A590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6208f9725b263ad7e5d62c106811a7525025f8c9","datavalue":{"value":{"entity-type":"item","numeric-id":1826936,"id":"Q1826936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$821F2504-09EE-437B-AAC2-E2444AB49589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"210a89e221973209a20ca40a5ceface4b0421bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4443421,"id":"Q4443421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$84864CCE-6EF5-457F-ADC8-8285EFD1D2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$6590EBCD-3C6E-4E68-BBD8-189A36C6AFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02067afe6fd3587cdf1119e19ae7f62837537d4f","datavalue":{"value":{"entity-type":"item","numeric-id":2449455,"id":"Q2449455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$EB2479EC-31CF-483D-A354-65310CBAFDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0358be6dcdc988b228d913b2d30037b34be4b102","datavalue":{"value":{"entity-type":"item","numeric-id":3979198,"id":"Q3979198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$E53D5813-DEB3-46D8-B935-E5AF22DA4EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368472$ACC181EE-19E4-4AC9-BBFC-F37A552F0DBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9555c056393e301bbfd30085ff3395001a12fb5","datavalue":{"value":"10.1007/S11225-013-9494-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368472$A8770CBD-9F6E-464E-9039-CCCC9C784895","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9208d0d9c731c104987fb7d32315a445f22a1342","datavalue":{"value":{"entity-type":"item","numeric-id":3081248,"id":"Q3081248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3595808fbbebc86bc277871f7052038346382ad","datavalue":{"value":{"amount":"+0.8688969612121582","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":"Q368472$E152B104-B13C-4CC9-9ABE-6C77177B5B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedc5df401a1b524a0d6eb3e7e2c1acf3f3cf7f3","datavalue":{"value":{"entity-type":"item","numeric-id":647327,"id":"Q647327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393f535094a4ef9a6e16c64960825d7dabf87d3b","datavalue":{"value":{"amount":"+0.8048797845840454","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":"Q368472$1F495B2B-01F9-4198-85CE-E36634DFEBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c8763baa015b8b932ff79370f8cc234b803752","datavalue":{"value":{"entity-type":"item","numeric-id":3979198,"id":"Q3979198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982eddd8afd4673aa8dbc6db16eebee937b435e3","datavalue":{"value":{"amount":"+0.7962998151779175","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":"Q368472$B91648D2-8E0A-4A24-9ECC-4CFC7D5678FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60396183932aef868077264410e6272237efad7a","datavalue":{"value":{"entity-type":"item","numeric-id":2510765,"id":"Q2510765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982eddd8afd4673aa8dbc6db16eebee937b435e3","datavalue":{"value":{"amount":"+0.7962998151779175","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":"Q368472$A2E33C31-CBDC-4C71-8275-94DA78CA1040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257a7e557625cba975a16c63424495e3e7a82799","datavalue":{"value":{"entity-type":"item","numeric-id":4415080,"id":"Q4415080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd55b9a5b8f83d4346295db48c2827820a91b60","datavalue":{"value":{"amount":"+0.7691406607627869","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":"Q368472$AFB29DAD-2713-4F2C-B5B9-6E1248923579","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bilattices with implications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bilattices_with_implications"}}}}}