{"entities":{"Q1777406":{"pageid":1788148,"ns":120,"title":"Item:Q1777406","lastrevid":68933943,"modified":"2026-04-13T03:12:36Z","type":"item","id":"Q1777406","labels":{"en":{"language":"en","value":"Toward leaner binary-clause reasoning in a satisfiability solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168196"}},"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":"Q1777406$C6EFFCD5-D3FE-4B52-9542-FBD52D1BB0ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ae9f88a0874acafbfda19f9adc0772c1c9a10a1","datavalue":{"value":{"text":"Toward leaner binary-clause reasoning in a satisfiability solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777406$16AD0848-D2C5-4E31-A787-4A801EA5807B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"391fac3d6f5fc2a6127aa2ea5604d43f40b807b1","datavalue":{"value":"1099.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777406$6DA76414-5F07-4D70-B742-506401C4F319","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$C08A1494-73B6-43D5-9654-F39D5DB18599","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c64595f4f39ba5aa8c317730455f9500451c9c2e","datavalue":{"value":{"time":"+2005-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777406$E8466DE3-AEB9-443D-B63C-DB4F2F813BBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777406$8804849E-C9C1-4495-B09B-7DC93EE9C019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777406$1F616262-DA41-4542-8B98-8C0E01055AC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a92aefd5164b65c1209e95b6b075cba200a0b4fe","datavalue":{"value":"2168196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777406$DFCD844B-E1E8-4F3A-A55B-141706B0C8AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$71197F2D-F72A-467B-96ED-32D8AADF74B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$C3ED147C-0A52-4A91-9D37-1B0344A09E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$5365DAD2-7FCE-4F75-A315-5753E7E91C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$1E2B5F04-6EC3-40C1-9853-6540C6537275","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":"Q1777406$03676296-F38C-4735-A8B0-4CF370FBC980","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07bbc5a62a78e8abebd411703a54b1df9c10bf36","datavalue":{"value":"https://doi.org/10.1007/s10472-005-0433-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777406$B1954B2A-D6A1-4D02-A0CD-1B0D2534E261","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28efc843d41d865cd21836dfbef969235e7be403","datavalue":{"value":"W4248922942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777406$A859FD6C-4BCF-4A64-8238-5A5CDDD24929","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$DF3BF761-8863-40A0-805F-32B872770288","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":"Q1777406$7012AC66-672E-42F7-8180-0E9BEBD19BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd710567ea32101f4f565557411a471e90460b23","datavalue":{"value":{"entity-type":"item","numeric-id":1144380,"id":"Q1144380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$D4334AC3-068A-411A-BE37-F253D9977F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f389c73aaebe35365daa9fdc48339b97d432f8","datavalue":{"value":{"entity-type":"item","numeric-id":1200758,"id":"Q1200758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$6B770865-FA25-48AF-ACE1-790332EEB729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$82C1BF96-C3B6-48E8-8EE9-1526478F1A29","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":"Q1777406$4E47E17A-8060-4BBF-9D76-47B85090FC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fba5a1fdfac74b8e0dcefe0e56f5b10792486d","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$C07384B1-73C9-465C-9769-9037D51731F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1478273e0e33a79d374260ca5dc8c9927268f336","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$A5B0F53C-4AA6-4616-8AB2-E005660CE088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777406$419E58E0-B667-45EB-88C8-1C74A79B1386","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5f78b115cce4fcbec27e7748ef97e039ee4c944","datavalue":{"value":"10.1007/S10472-005-0433-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777406$8BD498DB-7A3A-41BE-B032-BA6E1DE61D94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebdfce5d5fb41df86adce5898086bb435446e2fc","datavalue":{"value":{"entity-type":"item","numeric-id":2741518,"id":"Q2741518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07321167b200f632f63923e989f562f64751a09e","datavalue":{"value":{"amount":"+0.7705526351928711","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":"Q1777406$95AAAF5B-2F14-4A35-BF24-62EAA4A5E1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35984a5402e5ff5dca6ea85c3fa9b042c093ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07321167b200f632f63923e989f562f64751a09e","datavalue":{"value":{"amount":"+0.7705526351928711","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":"Q1777406$6DB365B9-D26A-458E-8088-6B1A352C5CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b73397962e3bbe17fd423695941350ac40f3926","datavalue":{"value":{"entity-type":"item","numeric-id":5756571,"id":"Q5756571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16fd5c30990695a899c8d2cd024ebe6d968ca64","datavalue":{"value":{"amount":"+0.7648425698280334","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":"Q1777406$17BD996F-BA73-4F9E-A4F9-2D6C5C9F22DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e28feaf12f4609856aaaeb07149be9e66cc1ea8","datavalue":{"value":{"entity-type":"item","numeric-id":2996178,"id":"Q2996178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48a68239dc7e99ff0ffa367ac01b0da50e254f9","datavalue":{"value":{"amount":"+0.76371830701828","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":"Q1777406$6249B639-1227-442F-8C70-75B1B1F59E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e050f30d7185276802f36abdec5347610a74e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06feed771f4ba8498ebe2086d5104381372550ca","datavalue":{"value":{"amount":"+0.7513887286186218","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":"Q1777406$026A64FD-1D76-4493-AC9D-FE5E8D29B332","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward leaner binary-clause reasoning in a satisfiability solver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toward_leaner_binary-clause_reasoning_in_a_satisfiability_solver"}}}}}