{"entities":{"Q6535367":{"pageid":14146510,"ns":120,"title":"Item:Q6535367","lastrevid":57344265,"modified":"2026-03-30T14:07:41Z","type":"item","id":"Q6535367","labels":{"en":{"language":"en","value":"Unsatisfiability proofs for distributed clause-sharing SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777313"}},"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":"Q6535367$0863741C-CAA7-4693-9D9F-F3B6687F4428","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dd2912bac1548b771dc98aa65641619be7b35b8","datavalue":{"value":{"text":"Unsatisfiability proofs for distributed clause-sharing SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535367$FD33D739-B610-4879-965E-51ADADB01CBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee7470863cb136ecb900a1ce09b36dac2a062849","datavalue":{"value":"1543.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535367$DC020EE0-1880-4BDD-B976-E97F0A381591","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91f7465493b86545bf05196a524f9ad85b2f23c1","datavalue":{"value":"10.1007/978-3-031-30823-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535367$5DD2A2C4-28FD-4094-9DB8-60E7AF0ADE46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0c8330a4b879883ca5c73ff9597518a76159a54","datavalue":{"value":{"entity-type":"item","numeric-id":6535366,"id":"Q6535366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$5E4407F8-4958-446B-8A66-B8FE32A62577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"027199b026f9abf199f45358e0a212ab76e02318","datavalue":{"value":{"entity-type":"item","numeric-id":2118344,"id":"Q2118344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$276E9603-7ED5-46A3-B5E7-6CFB9DABA442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$46432EA2-8B9E-41DF-B854-F877C6E8C808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9afcc482ca2a503836b4b22d76e89c71dc77cae3","datavalue":{"value":{"entity-type":"item","numeric-id":6535364,"id":"Q6535364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$5222F429-1E2F-474A-8875-A27B6FEA3211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65191862b1e49d35d5ac78419fb25bec955bf14e","datavalue":{"value":{"entity-type":"item","numeric-id":1694025,"id":"Q1694025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$4C549D9B-1E0A-4A48-8D76-9C79C77EA065","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370dd048328bd35e66746fcb16650fb884273700","datavalue":{"value":{"time":"+2023-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535367$6FAD1DE0-ECA5-4FEE-B8CB-3CBC3A17F7A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535367$BB151C45-0F2E-47E7-AF3F-2DB46B13F9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535367$C9D3ABF8-F021-409E-B399-1810EF735EF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28a530a94506017858040eb429bbba8177a2b677","datavalue":{"value":"7777313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535367$C23DF31D-6E07-47BA-96EE-6FFBAE2ED5D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535367$68F9D9F6-6F67-4FF5-859A-4A1F55FE06A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535367$DDA72459-7E75-4A79-B71B-147E5E4CFADE","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":"Q6535367$2E925C9F-8AE1-47CD-8503-68B8808586F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7d9c89646f8223557790cb05a8f48d182384af","datavalue":{"value":{"entity-type":"item","numeric-id":3192066,"id":"Q3192066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$16BB1ACD-910E-4E11-BBF8-D9EC1EF00509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd91d0f75d460b40c4f5e874c6f021488cdb98e","datavalue":{"value":{"entity-type":"item","numeric-id":2060693,"id":"Q2060693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$25767D72-0850-4470-9983-382D54049CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55abd3cb726d920bced8b1d2940097a0e68510b8","datavalue":{"value":{"entity-type":"item","numeric-id":3453220,"id":"Q3453220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$DBBFD0C2-17D6-45BD-A2E2-AA5281566636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$E76879DF-6974-4728-92E2-ED8154102103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d7d3ccc3684bd24073efc75ecbe050838f84f1","datavalue":{"value":{"entity-type":"item","numeric-id":5591930,"id":"Q5591930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$CC75A7CA-6B12-4CCC-840C-F3E5D3EFCB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f86bfbb124f6a8581b22889d804be9da470078","datavalue":{"value":{"entity-type":"item","numeric-id":5918545,"id":"Q5918545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$FD9392DB-0DCC-47C1-BBD1-62FC16979587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$DE665094-7A17-4A6E-A1A0-4241AD19AFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b217ff11cf9dd359dae45e5255020c44b6d7e2","datavalue":{"value":{"entity-type":"item","numeric-id":5940819,"id":"Q5940819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$73363B86-E748-44E8-B212-50810F1C92B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7822b32c270c4bed5a3c343d0bc07d27a793e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3639756,"id":"Q3639756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$03691FA4-4C33-4EC5-BF88-A78DF39F0318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d43182de98d159f0ebb543c5126e0ae385036ba","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$DA7237C0-BA66-4E32-9837-A827BB0E1589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$BCA4F13F-09A4-453D-A5C9-DACE2F339828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$73E82055-3B71-4ABE-A5C7-069FB7F7C6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1951f16d4fe8a611f755a4887c35002e0149e28","datavalue":{"value":{"entity-type":"item","numeric-id":5919480,"id":"Q5919480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$3577B9CA-7546-4F13-BF43-60115360B27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9655213898b1b95cdf71db95e3bf0d93dc9d1e","datavalue":{"value":{"entity-type":"item","numeric-id":6487361,"id":"Q6487361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$7D11C638-1A41-4FB5-A771-502199BCF37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca64ffb3f397674160ee2f2d4b28cbfbd6479bd","datavalue":{"value":{"entity-type":"item","numeric-id":2118345,"id":"Q2118345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$C885C31E-F01B-494C-9F69-16B56A8BDFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c8d5eddf468fb9caaf115078e71237f2f3f1a8","datavalue":{"value":{"entity-type":"item","numeric-id":3639754,"id":"Q3639754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$10CD541A-5312-4A4C-B80C-DE27DDACF450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99741ea86af8e3fe4690d90c224835231a7ef4d","datavalue":{"value":{"entity-type":"item","numeric-id":2233509,"id":"Q2233509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$89D44359-0E4E-4416-B640-209D10625540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667127ff7e04fad7bf3f88432b6dcb7791cab15","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$90EE499A-A841-4B4C-898A-DA01AF4FD6A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d667ba3690d6fbf0d534052921487ce35ebc418","datavalue":{"value":{"entity-type":"item","numeric-id":4933318,"id":"Q4933318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4fcc3404982f606c852a36ba4c9946f491243b","datavalue":{"value":{"amount":"+0.7385620474815369","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":"Q6535367$C4F4606D-3D5D-4093-B3C0-92A255FF55A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33dd1692066300adc39b389ed3ac46a189b10008","datavalue":{"value":{"entity-type":"item","numeric-id":3460074,"id":"Q3460074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86df4449b2f3ffb6eb435af085ea93ed95cc2af","datavalue":{"value":{"amount":"+0.7329318523406982","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":"Q6535367$6CE0C374-85A2-4E4F-9900-85F64A96B957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acbd0a14169ff5659bcfc39098953790a8ba2676","datavalue":{"value":{"entity-type":"item","numeric-id":5326451,"id":"Q5326451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addbbb1fea6836e944c16128b7ad851d775c7d83","datavalue":{"value":{"amount":"+0.7287929654121399","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":"Q6535367$1B4C16D3-FAD2-4878-AAA6-A323FB41ED1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e9642ab3fce5d0fa355ae3de2fba2090b53fa7","datavalue":{"value":{"entity-type":"item","numeric-id":2964456,"id":"Q2964456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8580d64086ae1ccdf60f7ecb6c662ab7227a363c","datavalue":{"value":{"amount":"+0.7230679392814636","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":"Q6535367$3D065DAF-C2DB-48E0-A47D-333A6394F6B1","rank":"normal"},{"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":"5377ebf5e2be51dde2300c84288ff1716445d330","datavalue":{"value":{"amount":"+0.7228620648384094","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":"Q6535367$EF1866A4-C881-4E19-85B7-DE0E7F4B7ACC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535367$7CCDACE4-D790-4059-884B-E47BA4529B0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535367"}}}}}