{"entities":{"Q1380435":{"pageid":1391175,"ns":120,"title":"Item:Q1380435","lastrevid":46960338,"modified":"2025-12-25T22:43:40Z","type":"item","id":"Q1380435","labels":{"en":{"language":"en","value":"A fast parallel SAT-solver -- efficient workload balancing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123702"}},"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":"Q1380435$FE48AD5F-2E36-4D69-B95F-92E094D702E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"390fe3adbb6f170141fd3aaf346b1a5ce2257ceb","datavalue":{"value":{"text":"A fast parallel SAT-solver -- efficient workload balancing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380435$B58DD55C-C381-4CD9-9E8F-B8811627982C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c40cfd6e8988f81b77464c498c367e15753f740","datavalue":{"value":"0891.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380435$04E88E02-C506-41DA-A98C-056426ED4BBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5178674ee36adac95c203c8504a60f62123f467","datavalue":{"value":"10.1007/BF02127976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380435$0F5B586D-883C-4722-94B2-5066B11A20E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65d06d0cf5d24d0f9f170565f29bca767cea14af","datavalue":{"value":{"entity-type":"item","numeric-id":1380434,"id":"Q1380434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$08C4E09E-FE83-4226-969A-23393945A828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a52c13955159b7796643777df723759736e16f2","datavalue":{"value":{"entity-type":"item","numeric-id":714018,"id":"Q714018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$0ADEB88D-39CC-47A6-BBA8-B2C45E87BD63","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":"Q1380435$8A972A24-173F-4C46-9E34-BE62557CAE5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9d6f5a9f715374e026f7d9de7084a499dad06e8","datavalue":{"value":{"time":"+1998-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380435$B5682F79-CDC1-4454-A49C-5BDF2E625FFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380435$D13347BE-7929-463A-825A-51878D525003","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d84a816d7c0e17167fab3efe85c003b0a13f7e0c","datavalue":{"value":"1123702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380435$C5D3B9B0-A303-4607-BED1-9C148BB6B3DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f230c47ce693e1ef568cdbf7a69f561dbd91484a","datavalue":{"value":"SAT-solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380435$A64E9A0C-A3FA-4DB3-A24D-742F00878C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a0f27b18dc1338d7d44f4b4f85538f63ac331a","datavalue":{"value":"MIMD machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380435$1FF24DD3-DF74-4A32-BFFD-9AA133EA7727","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":"Q1380435$B4318B70-6E91-4585-A798-149858A9E185","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c460f983de9e6a420aef566a3398a70e655aa7d","datavalue":{"value":{"entity-type":"item","numeric-id":4876696,"id":"Q4876696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$C51440DC-DBAA-4C9A-96D7-37D67812CC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3600a0afe71e9b9c22e19ee4b5b7bb726dd22d1","datavalue":{"value":{"entity-type":"item","numeric-id":4240602,"id":"Q4240602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$4D37F101-F7A2-4E54-918D-FCAEE5DE5D89","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":"Q1380435$DC5265E9-F807-40AA-8601-F7CB9058729F","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":"Q1380435$5D115DD2-120A-45A7-9810-5F5312E9D0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$3D8A124F-8B36-4C51-B597-45F2248E5623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8163f0dc83e8f1fe9e0cc5e7e79f1b38bc55ee0","datavalue":{"value":{"entity-type":"item","numeric-id":3985811,"id":"Q3985811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$F4B4F85E-EDD9-49E1-AF24-AECF39DEF445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31924ed1ff225544f564ea6fac23d6b168acfce0","datavalue":{"value":{"entity-type":"item","numeric-id":4386921,"id":"Q4386921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$B4CF5678-2EBE-4870-B92D-9C7C3397C2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$32D37495-964A-4FAC-B6FB-58DC3E64C2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$1BABB132-8CB9-4B03-9B56-2C4B3BA5CBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931b806c13bf3431c77d9c32e6a822faa91a3795","datavalue":{"value":{"entity-type":"item","numeric-id":4375758,"id":"Q4375758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$1D6E2ECD-5375-405C-8E28-C75D60987306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44c7d67b30b9c222fc5bc8f604c783b23576537","datavalue":{"value":{"entity-type":"item","numeric-id":3201761,"id":"Q3201761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380435$EB5CB900-274E-4DF3-A5CA-1CB6D9CC3D58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d642a19b231cd1d9a9bcb8327e29cc596b46ba80","datavalue":{"value":"https://doi.org/10.1007/bf02127976","type":"string"},"datatype":"url"},"type":"statement","id":"Q1380435$34062351-2278-427F-8F0B-22EF83D3E2CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"531d97656b7204fb0d846bae44f7ff0ad03d2932","datavalue":{"value":"W2046612382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380435$EDAA2867-601E-4487-BBDE-705942ADB7B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5de04df1aec7e8fea407ceeb0c31ea1528b90e","datavalue":{"value":{"entity-type":"item","numeric-id":812442,"id":"Q812442"},"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":"Q1380435$95185B92-31C3-42E7-BA0B-900F83EAC13E","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":"41a6ea9245de9cc94b46bfcd0207d833a50c3c78","datavalue":{"value":{"amount":"+0.8082504868507385","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":"Q1380435$3173C1AC-E2DC-49F2-BB91-79786EDA655C","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":"9a284b43fe87f570b46e188acaa0f5ae2abd3a6f","datavalue":{"value":{"amount":"+0.792156457901001","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":"Q1380435$A7291B42-9BB5-48AD-9625-2C241EE9B9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb80b282a0e61a87fb275ee18765834afdc4d96a","datavalue":{"value":{"entity-type":"item","numeric-id":3604001,"id":"Q3604001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d92b1e2f49d474c1e64865ff219c4eaf4fa4863","datavalue":{"value":{"amount":"+0.792130708694458","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":"Q1380435$FF2F5DC4-4EA7-4F26-9869-B40541549D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd8c765d7e77fe9e2cb3857d86f76b81e06b474","datavalue":{"value":{"entity-type":"item","numeric-id":2365127,"id":"Q2365127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664af80136afe1010e374c0aae77a6eea0855276","datavalue":{"value":{"amount":"+0.7818758487701416","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":"Q1380435$3C863D21-A5B0-499B-85A9-929E80354A1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1380435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1380435"}}}}}