{"entities":{"Q682374":{"pageid":684223,"ns":120,"title":"Item:Q682374","lastrevid":63775017,"modified":"2026-04-11T15:27:52Z","type":"item","id":"Q682374","labels":{"en":{"language":"en","value":"Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833777"}},"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":"Q682374$815F710F-E9C9-4BFA-9457-14A2A12E181D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"049185def4100b855a5fb8912913d8b2c3062909","datavalue":{"value":{"text":"Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q682374$EC5B46CF-E5F5-46B0-8DE1-A30E5D327A13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f3b8616b9a313a1704641f62e3889532850e4cb","datavalue":{"value":"1425.68379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682374$71F17745-6E27-429B-A623-75C7E8339E5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$9F16B330-D5D8-4368-A15E-54C750019363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bcf20fbd6e518d6ec705e75c1250ec189c8029f","datavalue":{"value":{"entity-type":"item","numeric-id":689215,"id":"Q689215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$79E803AF-7F96-4172-BC3F-7343D4C37EA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$EF3D8C10-0461-4490-A689-B4D5E9159316","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q682374$1ED440CA-2A9A-46B6-B337-9ABD5E922505","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a590a84192a95e1b1a8d5f4364096da480b36f44","datavalue":{"value":"https://arxiv.org/abs/1602.04568","type":"string"},"datatype":"url"},"type":"statement","id":"Q682374$2A1D279C-7FA6-4CA5-9E73-DF38DB87DC77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682374$7EF03DEF-1B86-491B-BD6B-0D93A6640942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682374$A80C866E-0564-4BB0-BE36-443E83F59E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682374$C58DDFEF-CBAB-4C3E-B880-467CEA100013","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1332442e739a8b486a708567099e127f03cacbdf","datavalue":{"value":"6833777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682374$BB553552-1C14-469F-A208-F9DE544D0837","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q682374$0FF2BB10-4200-421A-8B8F-3F64090252B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q682374$E54342D8-73D4-40E6-AFDB-3EA471B35A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q682374$59E88480-6F76-4A8F-8B70-40F8DD4C9A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q682374$56840298-0EE1-49F6-889A-2FD665DB368D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q682374$565E08F5-310B-4A78-B0C9-C427C1943D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1188b7877d7d3a78f45d7a55396969e6748423a7","datavalue":{"value":"conflict-driven clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q682374$49BF3388-63AB-404A-B0BE-97E557179AE7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$E2201516-645D-4613-BCDC-D6A8235ECBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$A8F2904E-6C12-46D3-A373-9A2EA4045813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$29281E4D-4DC9-47E1-8407-2DA442118920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$1827773A-1D40-4AD8-8243-E21A6E56FBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea1b2cb84bb47ca577fcebf0f42420b207179eb","datavalue":{"value":{"entity-type":"item","numeric-id":16359,"id":"Q16359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$C2E4AC5B-E7E9-4CCC-8898-9F2E82456AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$B828E4E3-70FE-415E-A97D-46C237935D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$08AE5BB1-721F-4CD3-9720-A4D08905D855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$00C52DB5-6D40-44E0-A49C-4A17FCBD22F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca37d23394d43cf3346e3cba5435d60627074101","datavalue":{"value":{"entity-type":"item","numeric-id":21747,"id":"Q21747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$A34D5117-8978-4148-A207-A8C5F99401E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$C7EE0E80-A75E-452E-8D93-97E0FC403325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c7c18880caa813a6bdace0f373d3dec3147690","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$2AC4D9D7-1A7D-4A3A-8AB5-6B00DD65B057","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":"Q682374$1465DCC3-F945-416D-A640-9DA005B3F9C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33964afe145ab69d05abb065799189e0311b7978","datavalue":{"value":"W2952307256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682374$F61C06F5-1C7E-4019-99A3-1A7FBAF30E59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add01291c95ebcb031afac6fc8c8b1659115c10","datavalue":{"value":{"entity-type":"item","numeric-id":1229761,"id":"Q1229761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$4E3BAD4B-8188-4A41-8508-6D2AD7908D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a867cdc6d3f0743de280448ecffc7a317c12f81d","datavalue":{"value":{"entity-type":"item","numeric-id":5881276,"id":"Q5881276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$B903C3AC-962B-425B-9FC1-7176E04E5C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$57B15213-CFCB-4FD5-95D5-402941DEAEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6721be9751bbd7d2f2ed196912b01f292059134d","datavalue":{"value":{"entity-type":"item","numeric-id":2723420,"id":"Q2723420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$14462F0E-21BC-4938-930E-EFBC51AD7E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b07bee7e03caec103786e5014f6d4794b8bbdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5900727,"id":"Q5900727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$512A3984-84CD-4BF3-B0B3-8941C6BB142F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b850b043885273916728e7ea46c854030ea9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5387921,"id":"Q5387921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$2A020991-1FF1-46DF-AFB2-224552FD676A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$5B7BBD3D-B5D4-4D54-BDFE-C38B7A1355E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71bb4372ac220a7ec1437bb213ad649a7c9548d1","datavalue":{"value":{"entity-type":"item","numeric-id":287333,"id":"Q287333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$6AD937D1-6887-4F40-AE30-7A8BEB21CB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$804D0F4F-ED34-448D-B389-A1829937EBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"981b322b800f12891beed18d9218a5203bf47bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2351156,"id":"Q2351156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$74656129-7FA2-4447-94EF-ACE791C12AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639e4d3e007bfb22f251b0ad491de9317a0aaa55","datavalue":{"value":{"entity-type":"item","numeric-id":5200011,"id":"Q5200011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$BE468C78-3002-4861-AC92-9DB61065DBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$2A04BDC0-5FB6-4714-ABE6-92B99C5CD4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$45979539-4298-4E9C-8112-17652FC173E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf54fd52b3ae148a01d4229df0c1b5a1e68af7f","datavalue":{"value":{"entity-type":"item","numeric-id":3613415,"id":"Q3613415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$4DE0438F-C7F2-4B1B-A458-3AB60957A359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$47F05ACB-4FBC-465D-BA24-ADBB11F1E8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$40657A23-466A-4DBB-A856-02E0E77E7573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$A260F221-0A43-4FBF-BB21-F8A1550F631B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd7c21ad90e0dd8485a1544cb35dfb6ee469ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$D9E65339-16DE-43BA-A59D-0697F39A7CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$091864DF-A791-4BDC-B393-7F1F5CCA549E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$A2AE6BFB-0C63-4042-BBF9-6DFE8E846D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$9D89B8E5-14E9-413C-BD66-7CF8A3BBC320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$269767E4-79F2-4E51-8F1C-D96B9A839E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa6750f3149d248c4e232f6fdbdc36d7bc86e39","datavalue":{"value":{"entity-type":"item","numeric-id":2920991,"id":"Q2920991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$FAD833B2-876F-4A5F-A05E-D89BACFF0298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$32C13B70-A31D-42CE-988E-0578534B1487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bddd3d8758939d2c56cea336fa15d4d01af13","datavalue":{"value":{"entity-type":"item","numeric-id":4809064,"id":"Q4809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$25B9111A-3557-4732-BDF2-6FBF94693DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682374$DFB268DF-E187-460C-85CA-8F654C9BA5C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9870efcd0d20596b8fc2f0cb64b679b3f11bba7","datavalue":{"value":"10.1007/S10817-017-9408-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682374$D8544D89-D183-4FF2-B02E-BEBBBA243DDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1346aa2a7e426c940101b30920f590fdf402f9","datavalue":{"value":{"entity-type":"item","numeric-id":2694586,"id":"Q2694586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72edd140c61478e86e506cce6fff82303dbe3ec2","datavalue":{"value":{"amount":"+0.85109884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682374$9813819B-FDCE-490A-B82F-4663F35A96C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4c5d1b7ff4af78a4c65e8e9cd5545ab4b18bb2","datavalue":{"value":{"entity-type":"item","numeric-id":427560,"id":"Q427560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a74205497f26429109f2ed1abf674238cc93ec","datavalue":{"value":{"amount":"+0.8494296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682374$EB347969-7365-44E4-A4E7-2F1CE052B431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d2e4aa384392b962c3b93b9808e939a78cbcc3","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f75790f8112284deaeb2b7fc7dc241c27f77932","datavalue":{"value":{"amount":"+0.8482299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682374$63B4401D-0C6C-42A7-876C-613BDF193469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d57bcf9471815e2258a616bf608af71dfdc8316","datavalue":{"value":{"entity-type":"item","numeric-id":4420771,"id":"Q4420771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb8bd24af3178d084f043e51eb3fa0c36b58273","datavalue":{"value":{"amount":"+0.8376651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682374$2063C605-410F-4E36-AE06-E5C3359F2841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be22579210ecce9ecb2a66244468fd32f76c98","datavalue":{"value":{"entity-type":"item","numeric-id":2843818,"id":"Q2843818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa45a95da2a48b4945587257618661bda40c456","datavalue":{"value":{"amount":"+0.8372303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682374$FD8E5A22-739E-4224-A497-0A25E170FB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1703b32a2b77d0843308ad39e4abb09b5e4bc888","datavalue":{"value":{"entity-type":"item","numeric-id":2829269,"id":"Q2829269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bed0bc8200ec49153ba4fb172cc0806db33cac","datavalue":{"value":{"amount":"+0.8355613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682374$3236A803-08E2-4563-809F-99EBD8CB4C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbaec2746b1bccca32932fae8a20b45338558eab","datavalue":{"value":{"entity-type":"item","numeric-id":1663242,"id":"Q1663242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bed0bc8200ec49153ba4fb172cc0806db33cac","datavalue":{"value":{"amount":"+0.8355613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682374$F9449E4E-FC56-4BD5-81F5-767F37C79C2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conflict_resolution:_a_first-order_resolution_calculus_with_decision_literals_and_conflict-driven_clause_learning"}}}}}