{"entities":{"Q853473":{"pageid":855321,"ns":120,"title":"Item:Q853473","lastrevid":64906899,"modified":"2026-04-11T23:01:17Z","type":"item","id":"Q853473","labels":{"en":{"language":"en","value":"Binary resolution over Boolean lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073337"}},"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":"Q853473$35932D2C-4F70-49AD-8EEF-5E6835BA4640","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9639a420613235818e19c0a8ea03db144b8d09c3","datavalue":{"value":{"text":"Binary resolution over Boolean lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853473$CD68957C-467B-4B58-91C0-B3ED3EAF9799","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0832206d8b606eb8b319626628c6537c8386e06","datavalue":{"value":"1117.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853473$E059F1D8-A825-4336-AA7D-14C9D00F9730","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de1f06867ed597d52009da561394aa1479da7ae4","datavalue":{"value":{"entity-type":"item","numeric-id":835102,"id":"Q835102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$F8AA54D3-0483-4E9D-82F8-2EEAF874B50C","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":"Q853473$3BF5D19C-6872-4B62-B5A0-178C23D861CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e0e5bf6d0a9be8dc3d53decc24225862e3e6f9c","datavalue":{"value":{"time":"+2006-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853473$5568C57E-E3D3-4788-A2B4-BEB4355E2A19","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dada197bb11e7081e493ae0c22b381a042b238d5","datavalue":{"value":"The author presents a binary resolution system over complete Boolean lattices with the condition that their supremum operators are infinitely distributive over the infimum ones.   He utilizes inference techniques developed in classical two-valued logic for many-valued ones. He considers many-valued logics \\({\\mathbf L}\\) whose truth values form a Boolean algebra. He avoids any limitation to the finite case where the set of truth values or a given set of clauses are finite.   The refutational soundness and completeness of binary \\({\\mathbf L}\\)-resolution is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q853473$CAC475A7-8910-4395-8A9D-753C0975AD27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853473$281EED62-20E7-4FDD-8382-21EB4A6ACF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853473$468D6FC0-742D-4DFB-A13E-76AAEB4026D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853473$C58D82CC-4FEC-4EBF-A6CD-E96DFCEFCC2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfc53456c0c8bcbc6bd2382b11af2b4c2826918f","datavalue":{"value":"5073337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853473$B291AA38-6D6E-4712-B707-345ECC673DB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q853473$7CFAD8B3-4278-454C-8DFC-BE9616D06B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d55817c4ec2c065ce3dee814929e55ffa5f8af","datavalue":{"value":"resolution proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q853473$1BF69A44-B3C9-4BBD-A271-732D479CE0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q853473$FB553FAB-CB5F-477C-89F1-B20CF55BD711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q853473$0335D316-4F7A-4740-966C-3FAB17A4A2A3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$E0047524-D357-4335-85EA-906B480C48CC","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":"Q853473$E36A9E09-10D3-49B6-8D1F-AF19E41DD0D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b074622326ad3a5a63b62e829d4ecf30c47edc4","datavalue":{"value":"https://doi.org/10.1016/j.fss.2006.02.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q853473$5E3D7BA4-6D6E-4EF5-84E7-AC033BC40343","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d34e36c8e25f026597598cb05dc675dbd2513b7a","datavalue":{"value":"W2000732792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853473$73A57A4B-F03E-413C-B27A-2B6DA6843C26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75695a8beeb327509bdf451e6c8d3a3f23213ec0","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$71635FAF-2E20-4D97-B7DC-C815DEC66F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$FE1C8C4D-680A-43C6-ABE0-F16C0969F388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9989951ff92c915f90cbf709c10f8e9530978961","datavalue":{"value":{"entity-type":"item","numeric-id":2701980,"id":"Q2701980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$7997E342-C1F2-49AB-A735-D9F8FD839F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25d11c486252da51cb3e5760df69769f848be6f","datavalue":{"value":{"entity-type":"item","numeric-id":4207887,"id":"Q4207887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$1614FADE-7FAA-44DD-B6D6-BDED845B7F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcf020d6a1333d5159033f6bb5c1eedf35fb3e9","datavalue":{"value":{"entity-type":"item","numeric-id":1262746,"id":"Q1262746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$371B1083-68DF-445D-8146-9FAF56955FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$8584F439-AC77-4BCE-B8B4-D3D804C8890F","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":"Q853473$8A7C2EA6-51A5-4BAC-BF64-987AF2B97540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e415d93859e96c8de17a64905976929d6efd57c8","datavalue":{"value":{"entity-type":"item","numeric-id":1889737,"id":"Q1889737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$51D68DCD-02B2-4771-9A0D-D90665FFAB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894a726d38017dcebd287aa2e92de0e26e04dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4323008,"id":"Q4323008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$73310231-38C7-4701-8824-B79B9590B18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae14e5d7ccd9d401edc3ddca1d5fdde08ca7bbfd","datavalue":{"value":{"entity-type":"item","numeric-id":1580665,"id":"Q1580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$F6A7404C-1FCF-46DF-AC72-5FD34EB61EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d09ec2dc7ee4da2e64df5d181baa6647a98522e","datavalue":{"value":{"entity-type":"item","numeric-id":4789457,"id":"Q4789457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$2417292E-B088-4473-ADCD-0C3E12331629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00170af4442605a1b4cc730ce70e6e0cbae4d54","datavalue":{"value":{"entity-type":"item","numeric-id":4360106,"id":"Q4360106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$EE6B063F-FE89-490C-B303-7CEEA1F73009","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":"Q853473$438F3D34-C116-48AB-B685-E8F2E3BE5803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0383596c7821a999d1b94718b8988596046380f7","datavalue":{"value":{"entity-type":"item","numeric-id":688558,"id":"Q688558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$F9CA6843-F9EC-47E2-9D1F-13DBDD34C159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30817b2562b53563610c69609663c46e7d81a3a4","datavalue":{"value":{"entity-type":"item","numeric-id":4003525,"id":"Q4003525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$622EC627-5034-41AE-BA49-8DB26C915C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a1b73bf12c12cc7c57d027a8f18d1b18a2a5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3046854,"id":"Q3046854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$1326A357-A8FC-4BF2-936E-ED6D9BB92997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f302ec958b0d15349e6e6048eb4175e963ace8e6","datavalue":{"value":{"entity-type":"item","numeric-id":1272603,"id":"Q1272603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$58CCE54D-8D3A-4252-A482-B220173AC339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$653A5D1B-5803-4F6D-B6C1-54EBEBFB89B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f082ed9bc15ac3da627dda65862acaf18f8bcd","datavalue":{"value":{"entity-type":"item","numeric-id":4314600,"id":"Q4314600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$03B82D96-3B27-471E-89D0-1B2CD8E426D3","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":"Q853473$18C91E4C-68D4-4C5D-99C1-3BDC433855FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5777ceefdcbff13af8c170a6b9cebc37296c9181","datavalue":{"value":{"entity-type":"item","numeric-id":4647557,"id":"Q4647557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$BB2080DE-9E17-4429-A53E-F312D2BFF368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57729f6ee9a1f999acb7815861d5aa85e688cc42","datavalue":{"value":{"entity-type":"item","numeric-id":1854378,"id":"Q1854378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$6938A069-814D-450A-B27C-942BAEB76D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5229d696d527cfe1359505376127f0108f9f7d11","datavalue":{"value":{"entity-type":"item","numeric-id":4544342,"id":"Q4544342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$7EBBF173-9DB8-40C5-8CBE-C9646CEB2425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5157c2dfee1d9f65f0c22f7f6ce0c49453df8ab1","datavalue":{"value":{"entity-type":"item","numeric-id":4450440,"id":"Q4450440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$C32880E7-B4E6-4BB0-8894-1FDDC2F0F51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedbdde8921c48c61c8e3311964f39fa1e97d368","datavalue":{"value":{"entity-type":"item","numeric-id":1432885,"id":"Q1432885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$3408438D-7CAA-4FD9-B506-69C0DCE10B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$A76CA1A9-6635-4C04-B061-B1EA3D8F8BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f89ea61c5486400cb5592e47e9465a80b854f96","datavalue":{"value":{"entity-type":"item","numeric-id":1222643,"id":"Q1222643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$32A397A3-3EBB-4A9E-A30F-C3AE3456827E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d5164705b2ec44d9aa92abf1879b766a354d79","datavalue":{"value":{"entity-type":"item","numeric-id":3997786,"id":"Q3997786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853473$027AD598-EADC-455F-9761-D5835CA4660D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1e1a26f901003fac27a5d3c5d3b9c71acd45708","datavalue":{"value":"10.1016/J.FSS.2006.02.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853473$DE00AF41-631F-4A4B-9E42-C400B7CF8E79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1fe965ed09bcc45bcf7afbb7d13d5c779a833e","datavalue":{"value":{"entity-type":"item","numeric-id":835103,"id":"Q835103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492c019678810a20e8bee1397e9d8d186cd38aa1","datavalue":{"value":{"amount":"+0.8462474942207336","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":"Q853473$C96E7D50-39CF-41FF-9459-B707067EA598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e3ffa3fd618efeeedddd9a02c6590c4f39bb00","datavalue":{"value":{"entity-type":"item","numeric-id":1037933,"id":"Q1037933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c518fab69360d4f91cee9a70fdc1a9a580e5f160","datavalue":{"value":{"amount":"+0.7755319476127625","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":"Q853473$C12CAF6A-DECE-4D8D-8D21-88CC0FB293FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e5bb7ea79d58c5271f1615cc3d8d9d8d59fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2860d6cc39829a1ae3dcd118508ceb7337ac02e","datavalue":{"value":{"amount":"+0.7464327812194824","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":"Q853473$EA9D2166-A4CE-4E79-B8A1-1FAA447DA6F5","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":"e75289c416f1c6e7c0c1027e4991b6de9add3a5a","datavalue":{"value":{"amount":"+0.7264182567596436","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":"Q853473$50B876EB-62C3-47E0-A2F0-6EC5B4CD4026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584c0655ed67813c2f27fead975ea1db4de54a33","datavalue":{"value":{"entity-type":"item","numeric-id":1428680,"id":"Q1428680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75289c416f1c6e7c0c1027e4991b6de9add3a5a","datavalue":{"value":{"amount":"+0.7264182567596436","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":"Q853473$068F6A33-4ACB-463B-A243-8B659DC27508","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binary resolution over Boolean lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Binary_resolution_over_Boolean_lattices"}}}}}