{"entities":{"Q3007694":{"pageid":3018418,"ns":120,"title":"Item:Q3007694","lastrevid":80157527,"modified":"2026-05-06T15:34:04Z","type":"item","id":"Q3007694","labels":{"en":{"language":"en","value":"Generalized conflict-clause strengthening for satisfiability solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908756"}},"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":"Q3007694$FE5CBB17-0872-4B0B-9AD8-85F1ABA18731","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8515908df85b0bb7522338ae1d19929e86afd39","datavalue":{"value":{"text":"Generalized Conflict-Clause Strengthening for Satisfiability Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007694$A59D617E-A89F-4799-B173-14BDC831EEBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9eb5277823fdfc6f0c7e7c635024a097fb828c7c","datavalue":{"value":"1330.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007694$B641C1E8-F826-4FF8-AE1B-F796118643D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3d67b9a3742a49d8267ab97819f5617c54fc1e4","datavalue":{"value":"10.1007/978-3-642-21581-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007694$6F870540-A28B-435D-8590-7D29A20981E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007694$001DE1A8-D8F9-4793-BA9B-606FB526735E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007694$8945BC1E-82E6-46A2-BB40-850888BEB15F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007694$FE62B2E4-259B-4A76-A97A-9605C6E028A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007694$D210B2E3-CEE7-487C-9162-9FB5068366D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08f9d1784bf35abb09d5f6bfe828b386e17add96","datavalue":{"value":"5908756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007694$3EDF7267-7E77-4FF8-9F50-11AF2D2021B1","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":"Q3007694$D47378EC-38E8-487E-9B7D-1597C48D179B","rank":"normal"}],"P1463":[{"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":"Q3007694$ADFC43BD-1731-40E5-A188-E12AC19DFF12","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":"Q3007694$52A25FF3-FF88-4894-9AB8-1573E4AEC7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007694$ADD70C59-12B3-4AFB-8338-969896A5A2BF","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":"Q3007694$BC4BA20F-A53A-49B1-A69D-918FB124B94D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c714ea5917b7e16aee497eb07d8ab8fd8ba92004","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007694$06CA3734-7119-42F5-B0BB-9E0CDDA7D7DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84f6df51b10dfc618058348b05df37ed3eb6af71","datavalue":{"value":"W16528894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007694$B62612B7-6F05-4E18-9064-84E3334D16C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ed378042883c33f78646cfc2e282152ec8d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3502689,"id":"Q3502689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007694$B8AA6597-D7B8-4984-B3B1-C4EBB85B150C","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":"Q3007694$D9F66970-07AA-46A6-B8AA-AF3AAB15479D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007694$B6F42E90-F802-4EBB-9C61-BCB992DA2D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007694$E595A64D-A8C3-4E97-A424-E0ABFA5DB557","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":"Q3007694$4B8F5E7A-FB09-464A-97DB-036FB2772601","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":"Q3007694$57C128AC-439C-4E35-BBEE-965F869CE675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007694$F1508832-D7F8-409F-A938-A43295A80D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007694$4379CF2C-81EC-4F65-96EF-1DBAC115D418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007694$92042F3D-EAE1-4B14-B6CC-1E5AE50E1ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007694$2CFBED6D-5984-49F2-A186-519375B531B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60cebe735f4393be0e1b1729b93b956caad5cdac","datavalue":{"value":{"amount":"+0.8206461071968079","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":"Q3007694$5C7EA413-D0F3-4228-A149-F4E637DF568A","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":"2b038e2aef890a1e89b241c6d04b33d493f96d64","datavalue":{"value":{"amount":"+0.8144142627716064","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":"Q3007694$ED4BA817-707A-43CF-92DC-332CDCDDFC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbd40e4696f0fd5ddfba1637da940af21d4683c","datavalue":{"value":{"entity-type":"item","numeric-id":2630816,"id":"Q2630816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c6f483408d6519cadc57963e3fec8d7fd7de28","datavalue":{"value":{"amount":"+0.8128961324691772","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":"Q3007694$0C02DF73-90D0-4EFF-A4AB-B7C6B14B28CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c2050bc82516944cd92bc8fcf1ba4c1bb6c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":3502689,"id":"Q3502689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ae81c4cd42377f36cba61c334a9809bdb43ba8","datavalue":{"value":{"amount":"+0.8032647371292114","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":"Q3007694$4BFA26A5-8FED-4B44-B451-C37956950AE5","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":"81125df0733c1be04c1040550c3f18426208dc84","datavalue":{"value":{"amount":"+0.802868664264679","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":"Q3007694$510264D3-23B8-4AFE-8B86-BCD4F3573B0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized conflict-clause strengthening for satisfiability solvers","badges":[]}}}}}