{"entities":{"Q2643301":{"pageid":2654044,"ns":120,"title":"Item:Q2643301","lastrevid":50150897,"modified":"2026-01-13T06:57:58Z","type":"item","id":"Q2643301","labels":{"en":{"language":"en","value":"BerkMin: A fast and robust SAT-solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182373"}},"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":"Q2643301$8EB603DA-6104-47ED-873B-BFB00E2D6F76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db2ca0399ee56b3f65bc80404c0a45af4d92860f","datavalue":{"value":{"text":"BerkMin: A fast and robust SAT-solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643301$2EC62FFF-7F8C-4E2A-9EE6-BE0FF7A99E00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b51a63903eba66975cc8ad2a14b58c90157edea1","datavalue":{"value":"1121.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643301$7A8256E9-8C5D-4E46-9FD6-F86270A4A138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea246280c5eb4245575c165ce4390137ed45ebc","datavalue":{"value":{"entity-type":"item","numeric-id":479821,"id":"Q479821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$02330F4D-941D-4684-B77C-4804A9C5F5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e1b5f2fe0d2446515dac4de7b129b1d01e3c079","datavalue":{"value":{"entity-type":"item","numeric-id":2643300,"id":"Q2643300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$6E6E7C11-B77B-475D-A9BE-4F7D564E2BAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$0998198B-3931-47C9-BFC0-C173BB79DAC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-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":"Q2643301$F6B6DB06-893F-49ED-B4D0-CCDAACCE52E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643301$D39F3F08-25E1-4BF4-9A75-B7976FC166D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc68bc3dd022b0ce94b69f9965251ef6eee23ff6","datavalue":{"value":"5182373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643301$250CF2C6-D57A-48FC-9B1F-8D13BE147104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d81d6971e005b6f4d22e5d988538f584446aa6da","datavalue":{"value":"satisfiability testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643301$FD50E6D4-BAF7-46A1-A1EB-0573833DBD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c35aacfcf0d610017cb3029f00c72e6ef0ec722","datavalue":{"value":"decision-making procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643301$EB09663D-5E38-42DE-83EB-849AF0A59F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02da104afcd78bd3207533c6baf1659546be3422","datavalue":{"value":"clause database management","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643301$79DE0C3E-AC33-4875-BB39-CAD1DE8C89D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$A2FC69BA-1518-4934-9010-49F000B709D5","rank":"normal"},{"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":"Q2643301$C7A27BFD-1DBD-46D8-BAB5-151AD5CEAE2B","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":"Q2643301$4A60AB10-A119-48B8-9242-225D254E76E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4990465d576db7b0ee111842d1533102d227a5e3","datavalue":{"value":{"entity-type":"item","numeric-id":23850,"id":"Q23850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$52738EF6-3A62-4B6D-B634-37F435AED9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"241376e7c8a7762a3ef5795f86895e1e03c6d11b","datavalue":{"value":{"entity-type":"item","numeric-id":23852,"id":"Q23852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$9433D622-8836-44D5-B0EA-6DA75542C501","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":"Q2643301$1365CBF4-AE38-4817-98B2-0758467531F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8898818658bde58b5422f2b25e3d68ee25b9ac31","datavalue":{"value":"https://doi.org/10.1016/j.dam.2006.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643301$016784FD-02E1-4D2D-8B2B-C277E3301871","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08b90bdb69c0c9aa52f205a265eeae7841a8ff12","datavalue":{"value":"W2143934828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643301$59CF9A6D-E984-4C2B-871D-39023D5D773F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06abc869dee57fcd899da7ce0facfa1d28b4c229","datavalue":{"value":{"entity-type":"item","numeric-id":4473048,"id":"Q4473048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$5B9E21C3-864D-4531-85B7-3F2998E699FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b70805b996ac71796cbf64a76b6ecca1430283","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$D6E7C0D7-9B7B-414B-B7DD-D2E1D228E3F0","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":"Q2643301$7BF88A7C-DDDD-458B-A82E-992A07BFF9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a384833facfee1bed7555c136a9c348cab3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$D0B2E7FA-279C-4B3D-8961-357148A7E536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$D5311695-2B2E-4AFC-9A79-7F7E9B022064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7248bca5c2b687d3ef261e8152721d8a7b152972","datavalue":{"value":{"entity-type":"item","numeric-id":1606970,"id":"Q1606970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$BA1FA9C9-4A5B-44F2-9805-69B48CD41879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643301$A488D1AC-4B02-42D2-8F30-46E0B1B53AC4","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":"Q2643301$C890D643-B1F1-4132-AD60-5A4934C6B5FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22b09e64f225b507c6a29dc0b3fd1005b03a14a8","datavalue":{"value":"10.1016/J.DAM.2006.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643301$4B5206D6-C9A1-4487-83B0-BDA99626689A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa20a403e3086793eeefa974c2d02108a4d71","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de12da0a97f2666730e6104aae78a5c42622bd1b","datavalue":{"value":{"amount":"+0.8786880970001221","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":"Q2643301$5F47A4C7-CDBB-43B1-B546-A69767DBA7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b2a937bce5baa1e44f54c9029c4c73e58425d9","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d7d662fd87b509e2facee50a2f40cd9accd1c3","datavalue":{"value":{"amount":"+0.8365181684494019","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":"Q2643301$363A907E-94F4-4247-B327-B48BE7C24E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e8b676e4df73b916e8709fcdd73767eda5020e","datavalue":{"value":{"entity-type":"item","numeric-id":5713744,"id":"Q5713744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd83ad8e841a67c52921c1cb9146cb011b213aa5","datavalue":{"value":{"amount":"+0.8337722420692444","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":"Q2643301$64183A07-0061-473B-B47F-5E76604EE728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616c62ab18f50e9064d7541b3e5f76a5738dbf25","datavalue":{"value":{"amount":"+0.8156048059463501","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":"Q2643301$21453383-B008-46B2-B12F-1BC4651C88D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1383ad4d8b4d5e10442ba1c696dcd1674eddf5de","datavalue":{"value":{"amount":"+0.8149705529212952","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":"Q2643301$6F9F1B2C-0C70-41D7-82A8-50000CB29B6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643301"}}}}}