{"entities":{"Q4933318":{"pageid":6962900,"ns":120,"title":"Item:Q4933318","lastrevid":51101789,"modified":"2026-01-16T16:33:36Z","type":"item","id":"Q4933318","labels":{"en":{"language":"en","value":"Partitioning SAT instances for distributed solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798909"}},"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":"Q4933318$0225032F-F9A7-4E19-AC14-F18C64BA9B24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b813ef198d901aa3f5cf51bbefe8c885509986a","datavalue":{"value":{"text":"Partitioning SAT Instances for Distributed Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933318$FED80C95-C697-4A4D-AB8A-7CAA8B442664","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce6e021f7f8da0c283a11bd84f5b334a28c449db","datavalue":{"value":"1306.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933318$A67F7528-C40E-40D7-A3F8-C9D8FCDB9F19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96db946cdf77856487bf07855164f7cdf64fb064","datavalue":{"value":"10.1007/978-3-642-16242-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933318$434A0A83-BC7A-4466-81D0-C097CD5600C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfd430f823a6478294286ff8c6d38b91b1861a","datavalue":{"value":{"entity-type":"item","numeric-id":784138,"id":"Q784138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933318$0EA64465-F54A-49F8-849C-EE0BA4A599F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933318$5C803112-5EE4-40CA-895E-CE4420AFEA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933318$0183809C-F7E3-4BAC-BF10-B51777939AB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933318$4350021C-C077-4B97-A27E-A8989DF2BBE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933318$90FAEC06-CFD7-47F1-A386-46335845685D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933318$1F8D27B0-24E1-48F1-BAC4-3B5EC43B2BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933318$3A6100C3-3ABF-4A49-A8D7-3F8D9DD5FC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933318$5F24D816-757E-42B2-A944-AF348F25651C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cad422b8139f5726c95505ca25a37fd2b9b6b2b5","datavalue":{"value":"5798909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933318$CF2CDC87-8700-4DA0-AFF9-C3A08BF5DB02","rank":"normal"}],"P1463":[{"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":"Q4933318$7894577D-739C-4A92-8A2F-866AC1ADD317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8ebd0d95437221445cb2bfed9bc4709cec91c80","datavalue":{"value":{"entity-type":"item","numeric-id":13303,"id":"Q13303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933318$F8739BBA-8813-4B16-B448-2732E2B129F9","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":"Q4933318$6D800691-CF80-45B9-B5A8-706714C2CDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933318$4FD7548A-CA23-4B53-A340-9F4FF394377C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4471d74dba0f082d6eb87b9d0e3918e9ef420175","datavalue":{"value":{"entity-type":"item","numeric-id":13299,"id":"Q13299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933318$09B8D2C3-49F9-473F-9B51-07B8D45BD278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71a80c8d86a299205c3fb7c2d9469eb3eb7657d4","datavalue":{"value":{"entity-type":"item","numeric-id":19848,"id":"Q19848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933318$CEFD94F4-5877-46BC-B6DB-89BD79F04CC1","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":"Q4933318$C3A3AE18-61AE-4493-8FB1-A0BB5DD0E003","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":"Q4933318$F88C3CF7-3F35-44FE-A09D-D5478F4C7B57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5738b7e6c63a6b8387404a2539d0cd88e5586db","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933318$0D5F36E8-AEDD-4F90-9972-FE61C0877894","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c432722eceb9c1a74d3f7ba5f50a079d279722b6","datavalue":{"value":"W1594033426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933318$967D89C7-B43A-4122-A3E1-517DD3E2D64A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c1463ff992799d92b8362f7e598f662f129b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3100181,"id":"Q3100181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f386c5af428d3593e681070760abe982489acf5","datavalue":{"value":{"amount":"+0.8090595602989197","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":"Q4933318$ED8630AD-2D27-44FA-A346-19FC24FCFE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb3814261415aa774ea241f540f56609eb5a714","datavalue":{"value":{"entity-type":"item","numeric-id":3453241,"id":"Q3453241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd1856f0d3ad07eae57e4bfb135882b431a32b2","datavalue":{"value":{"amount":"+0.8085424304008484","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":"Q4933318$36FC7907-2B79-4AA2-8B29-D0D196BAD90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca7070ee27625a2139a9cd47fdcddf167143a27","datavalue":{"value":{"entity-type":"item","numeric-id":4647562,"id":"Q4647562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0168269e077e0ff2f0eb15df86269c0d3598cf","datavalue":{"value":{"amount":"+0.7918298244476318","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":"Q4933318$944FCEEA-34CE-4976-8BEE-7F639CD35EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c49abc4a13ef19f943f7b2dbc86c148e892974","datavalue":{"value":{"entity-type":"item","numeric-id":3534664,"id":"Q3534664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a946009f713b966b244974b98154be18af4e5250","datavalue":{"value":{"amount":"+0.7889642119407654","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":"Q4933318$4EE06F8A-B54A-4420-BBF8-9AD9EF7DC508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9618ffa3fe81eee5657224bd397c79cb3d3f86cc","datavalue":{"value":{"entity-type":"item","numeric-id":2299084,"id":"Q2299084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d642d1628beb70c1c47281e659389c406d7957","datavalue":{"value":{"amount":"+0.7867936491966248","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":"Q4933318$3BF68D41-0D4B-4C15-B47F-B3B30049D8F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933318"}}}}}