{"entities":{"Q812442":{"pageid":814290,"ns":120,"title":"Item:Q812442","lastrevid":64526121,"modified":"2026-04-11T20:29:26Z","type":"item","id":"Q812442","labels":{"en":{"language":"en","value":"A parallelization scheme based on work stealing for a class of SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000718"}},"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":"Q812442$3ED4432A-0EFA-47BE-BEE0-96542E680231","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1929cdc70ec5465aa17d418adc0b790c0553e34f","datavalue":{"value":{"text":"A parallelization scheme based on work stealing for a class of SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812442$62E8D6B0-EB91-4D62-9696-6D1FFCE55626","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"905d14a5da482e6ddda8ffa9887986897fb46377","datavalue":{"value":"1086.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812442$E542779C-E827-40DC-8C1F-DF8F8F16E656","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1036395a441b4a9bf97652fbc2dd88c30013c49","datavalue":{"value":{"entity-type":"item","numeric-id":812440,"id":"Q812440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$9FD48A96-F210-40B6-974C-67D6A7A96EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55ee0c810e71848e1783bb0b42812d86fcec47e1","datavalue":{"value":{"entity-type":"item","numeric-id":812441,"id":"Q812441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$333C70FA-2D3F-4C07-99EF-84CE3CE297D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$626FA944-BEE9-47F5-B5D5-98BD0E1F64C7","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":"Q812442$61ED5BDD-743D-4150-BE60-204F4A3B0EFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6610cb28786ccc6a9ecdb40c1345499030b519d5","datavalue":{"value":{"time":"+2006-01-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":"Q812442$E4B06DE8-DC6B-4746-BBBC-91B978874CA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812442$4845BDD8-BF23-435B-99B7-F554178B4795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812442$284B23C0-31FE-485A-96F6-D243F26B8210","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6bd3869457adaa4e5a5fead00f8ca8f5f046161","datavalue":{"value":"5000718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812442$D30BB156-73A8-4730-8E7E-EEAFC68E630C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q812442$87953439-F00D-411C-AA1C-34C1600BD0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508def3536da451aaa16ab7a21353869c1e5bdc9","datavalue":{"value":"SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q812442$45F2F948-465F-4415-A3C9-FA0E206BFC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q812442$60B0833F-F716-4F4D-AA70-C3090EC9D81C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1c049c95971e8991981fd54637baa189e7c3e942","datavalue":{"value":{"entity-type":"item","numeric-id":23356,"id":"Q23356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$01188A75-4DF1-4ABF-BA28-4FBCAF88145B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$F1F3AA3F-54AC-4013-BD94-CD2AD37B2817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$9233E6B2-B89A-40AA-854D-E72EEE0D2E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$EA649CC5-DE5A-490D-8AE5-48EE9BC2E799","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":"Q812442$6258B297-98F9-47FC-8BFA-8C2FAFC80FAD","rank":"normal"},{"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":"Q812442$217475D6-2BC9-4E5D-B2DC-D50BD5B0387E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"593225e35565bc9b6cbd92dadddd5563d424d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":14294,"id":"Q14294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$9E6EA350-B40A-41C3-A06F-014E1E4BED3B","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":"Q812442$04D1E5F4-ACA8-4E0E-BB15-01CB919996FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$22B2CCE4-8873-4012-AC57-FC5D845F0D74","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":"Q812442$A9C8246A-4A90-4BCD-B154-95EB832D6F3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1eef6a8cee37d4967667058ee9f0f64bd91bb77","datavalue":{"value":"https://doi.org/10.1007/s10817-005-1970-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q812442$9F9C1ED5-D5EC-4CDB-B84D-8199B08A8909","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc76440a77f62febae7dcbcae213f6c93a211dad","datavalue":{"value":"W2079547519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812442$D963885A-427F-42D1-BF42-51941F8DB579","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132f197eba1642379bbe97f1fd2389daaa6c6a4","datavalue":{"value":{"entity-type":"item","numeric-id":1380435,"id":"Q1380435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$F8CB77B7-66F1-4569-A221-7A81541DD3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$8F2A0E9E-B070-402C-B5EE-69A99855E1C4","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":"Q812442$A3AF914D-E2D7-47FF-890D-770E69F41D58","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":"Q812442$EE44D4D5-CA3D-4D1D-8EC8-E320A1EA70CF","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":"Q812442$631CA744-A000-4E78-A900-EE36C2ED7367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc877b42f4324f220c66a0727f2695f21979a84","datavalue":{"value":{"entity-type":"item","numeric-id":1777395,"id":"Q1777395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$DD4F363A-B9B7-4DEF-94FB-0360F99D4C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$DDA8A5E7-EE6D-47F1-A0BB-87756C993D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cdc2fe3bce243bc51ce7f7c5352a61af8250b7","datavalue":{"value":{"entity-type":"item","numeric-id":2741522,"id":"Q2741522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$4CCE1647-48D9-4F58-AB7A-1E93BF9E97A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd524f1e61633bfe329e378d309ab98916cb9c83","datavalue":{"value":{"entity-type":"item","numeric-id":2741514,"id":"Q2741514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$CDD6C743-ABEE-4874-8A2E-2D749BD01C1F","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":"Q812442$A7071BB8-9448-4EE2-A9FA-6196EF7473FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41cf14f8478ab6d30eabb325cda30329edd96c1","datavalue":{"value":{"entity-type":"item","numeric-id":2741526,"id":"Q2741526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$99026F54-0089-4F96-847A-F052A6BAD026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afb8a7b1264ad098693dc209cb94eaeb10b9d37","datavalue":{"value":{"entity-type":"item","numeric-id":2754092,"id":"Q2754092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$C73BF2AE-CE98-466B-BCFD-EA901B1076E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aeafb9ac2f2609d33e0e02fb8c95752a23334d9","datavalue":{"value":{"entity-type":"item","numeric-id":2365127,"id":"Q2365127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812442$9FCBCE79-3B27-485D-A450-874D6C5D620F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66c50edc357ef6e80d7d81550555c31a1bb9d63a","datavalue":{"value":"10.1007/S10817-005-1970-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812442$EE09D028-254F-4B84-B68E-37719C36A622","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e2c60303a204597f85bd4841abf3fd581d0c09","datavalue":{"value":{"entity-type":"item","numeric-id":1380435,"id":"Q1380435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68bbbb7108b548cc58b06ef84df1368509c5a5e","datavalue":{"value":{"amount":"+0.8528222441673279","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":"Q812442$6A07F124-7F8D-4C1C-8ED6-FFD40CC6BAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9207489476694c82f4a8ce4d02d666d28c13d0","datavalue":{"value":{"entity-type":"item","numeric-id":4708203,"id":"Q4708203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fad87044089dba1a9df59e5939633327ca7f98c","datavalue":{"value":{"amount":"+0.8452346920967102","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":"Q812442$352C8C58-3DB7-4D20-A28F-77E4289E27ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32293bf21e103206a1238852ada3eb0fa2d75741","datavalue":{"value":{"entity-type":"item","numeric-id":2741522,"id":"Q2741522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545d8a9e17f4ac8193d5dbf6b68a865a0598d8d9","datavalue":{"value":{"amount":"+0.8376187086105347","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":"Q812442$129BB7F7-9EF9-480F-B3F9-85596AE58B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13df1c526b1c317938277e04d92af8f7fcbf9e60","datavalue":{"value":{"entity-type":"item","numeric-id":3639756,"id":"Q3639756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6dbacc998497c9641f56dd0e3db186615cbe5f","datavalue":{"value":{"amount":"+0.8023128509521484","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":"Q812442$4DC5F8B4-31CB-435E-BCDC-67E51638EF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8787fc36fd4f9fd376425e5bc677184a2d52b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2741526,"id":"Q2741526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f13ec3d32c0803a53c5a5cec1d91f090dea21e","datavalue":{"value":{"amount":"+0.7883418798446655","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":"Q812442$B96070AD-8F8E-4D6A-9E98-1A2834773235","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A parallelization scheme based on work stealing for a class of SAT solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_parallelization_scheme_based_on_work_stealing_for_a_class_of_SAT_solvers"}}}}}