{"entities":{"Q835103":{"pageid":836951,"ns":120,"title":"Item:Q835103","lastrevid":64695654,"modified":"2026-04-11T21:37:07Z","type":"item","id":"Q835103","labels":{"en":{"language":"en","value":"Binary resolution over complete residuated Stone lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5599382"}},"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":"Q835103$69B156AD-D49A-49E1-9846-4BA4BEFA7A13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"891acd5a042091df97d099ff49d4f3d2e1d51f7b","datavalue":{"value":{"text":"Binary resolution over complete residuated Stone lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q835103$DF23FF32-19D2-4881-BEEA-A762D6CE903C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"729480beb347e594823fedf437830f9ef227bb93","datavalue":{"value":"1176.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835103$284CCE55-3D99-48F8-9D09-06F54FD56B60","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":"Q835103$BDE8CD73-8E26-4A8B-89F6-876163EA82BF","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":"Q835103$5EC237B9-9DC2-4091-93AC-8E641BC63B02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c0611717ef71ee46573031df81985c2de92e547","datavalue":{"value":{"time":"+2009-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q835103$C533B17F-439B-4BE8-9ED1-C2A7BDC99932","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835103$DDBD4507-4A47-46A2-8394-CBCC70CA0E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835103$820A04F3-65AC-48F7-A0F6-BD67B3C63C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835103$848DC65E-0425-4F34-8611-3B23189EE583","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2b991def05652ec037b0357b4d9af983b955ac9","datavalue":{"value":"5599382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835103$06AF7FE8-F700-4AFF-BAFD-5F11458DD89F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b98a529e66773d595b6355e276727a34f3b65a10","datavalue":{"value":"resolution proof methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q835103$AE50AB08-3B66-415F-A594-F8EDBD239772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q835103$A5033669-983F-4BE1-A866-F76648BA036E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q835103$4A98660A-90BF-4D03-809E-A5A3D967882D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e463b9da3c84cac663d2284dafb56253b13d1e","datavalue":{"value":"knowledge representation and reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q835103$7D1F0793-B613-4A53-A80E-A0AB0BDFAAFF","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":"Q835103$6BEFA4CA-3146-4B8B-8005-3C396E931958","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"527a8336900a180367e7c01b16641cc16972d058","datavalue":{"value":"https://doi.org/10.1016/j.fss.2007.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q835103$14C8247B-66B4-43E5-A60B-DE1DA2DF05D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cef4239bb531974b65fa0f5ac090835d7a1470a6","datavalue":{"value":"W2035759493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835103$E16C8042-21D8-4978-897B-E6959644F1E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cdec34fa64c4fe94079af9a70deb0327c75541","datavalue":{"value":{"entity-type":"item","numeric-id":1201346,"id":"Q1201346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835103$0B9DA1FE-1BCF-421E-B0BB-94C273418081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4028d316e862b2c91f146a64cbe9b8ace6bf66af","datavalue":{"value":{"entity-type":"item","numeric-id":853473,"id":"Q853473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835103$2EA64DA0-13A6-4ED3-9B9F-A1A99AE4CD88","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":"Q835103$7B5FDF53-AFF7-4290-8D10-FBAC8385AED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704aa6a93e08ad86249a712577f6e2a837a14490","datavalue":{"value":{"entity-type":"item","numeric-id":4249904,"id":"Q4249904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835103$99EE2D40-69EC-4A67-9ECB-EC7A0811E07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835103$0E0FA618-EE76-4EF8-A63C-D7863315E364","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1aebbabad2af7338fc194bcba24d6335f647399f","datavalue":{"value":"10.1016/J.FSS.2007.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835103$6937D3F3-7D4D-4BA6-9936-B951F004BF15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b6ec85b3c6900d34aaeda9cbfaedae79297e57","datavalue":{"value":{"entity-type":"item","numeric-id":853473,"id":"Q853473"},"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":"Q835103$9FE60F38-399E-49A7-862A-82ABE48DCB0D","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":"b76cb4e67bf7544dbdf6fb2e234f52f16ec639aa","datavalue":{"value":{"amount":"+0.7461855411529541","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":"Q835103$71DB01AC-C4DF-4C22-A543-1DA842FDD77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d02befc63d29a40d4a60ef888b8a52f4dfd558","datavalue":{"value":{"entity-type":"item","numeric-id":4925424,"id":"Q4925424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687b87bdcbd73aa4996f60dcf42bb5d7a1231a27","datavalue":{"value":{"amount":"+0.7391754388809204","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":"Q835103$0E0F6538-A742-49BD-8630-2F5CA6DE9271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9d327eb9b8007165a16a23127e3883b3e9229e","datavalue":{"value":{"entity-type":"item","numeric-id":4778508,"id":"Q4778508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ca03ca9551d28ea9e9d78c04b1efa6e7e40488","datavalue":{"value":{"amount":"+0.7372856140136719","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":"Q835103$705E9498-2AE1-49C8-B21D-5C1EF4D959F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c23f095b67f0b15b2107d65a3228ac9d99bbec","datavalue":{"value":{"entity-type":"item","numeric-id":1913910,"id":"Q1913910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1901754c05045a466966eec52e1549c97666a73","datavalue":{"value":{"amount":"+0.7370895743370056","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":"Q835103$53C82021-9F0A-4808-BF28-58136AEF7DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binary resolution over complete residuated Stone lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Binary_resolution_over_complete_residuated_Stone_lattices"}}}}}