{"entities":{"Q2661341":{"pageid":2672084,"ns":120,"title":"Item:Q2661341","lastrevid":44590443,"modified":"2025-11-24T04:19:46Z","type":"item","id":"Q2661341","labels":{"en":{"language":"en","value":"Reproducible efficient parallel SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7331017"}},"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":"Q2661341$71365688-8C6F-4499-95CF-FDA920053CD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7efa9d6bfcd8649dfe05bba22dc570c8594081d2","datavalue":{"value":{"text":"Reproducible efficient parallel SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2661341$E890EDF1-94B4-4E49-9A2A-671AD11632F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3425e9cb6b8d59155a752c7712d55bcba39906f","datavalue":{"value":"10.1007/978-3-030-51825-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661341$95943521-881B-4399-AA42-D095191225B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5addc80134eb39ecb67a3766ae23c1b7957f9de","datavalue":{"value":{"entity-type":"item","numeric-id":374192,"id":"Q374192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661341$0B19DB90-603F-4311-A67D-B00053C0590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661341$E420EF5C-BEF6-41DB-AF2D-2F1DC61E107B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d00bdcd19b4845662efa642e1e79b87a36e3395","datavalue":{"value":{"time":"+2021-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2661341$DCF61CC5-DD71-47F6-BE4C-A4022EDD78A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661341$C04C02D9-66CE-4A60-8707-50FC911C24E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661341$C5E0A980-4E85-417F-A2DA-69FDF16C9B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661341$23E0610A-C138-46CB-805E-0189D35A90D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63feb233807a184cec337cf90422aa1d12df38a1","datavalue":{"value":"7331017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661341$A738FFCC-B885-4511-9510-2197992ADAD0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d0eaa7271dc262875159efcca9390e8895e1ee5","datavalue":{"value":{"entity-type":"item","numeric-id":5973361,"id":"Q5973361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661341$CEF87AA5-E87F-4A3E-BD5A-C4077C41AB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06fb63ee8b5cc519b86aa2575f35b89b8d40445b","datavalue":{"value":{"entity-type":"item","numeric-id":5973601,"id":"Q5973601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661341$2C881699-A0FA-4DAA-9AFB-FD76D73AD10B","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":"Q2661341$D123FB45-D7E9-4DA4-831C-48B2530D6E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"deb481ab618b4313d2cc4e54da911d9eb08938c7","datavalue":{"value":{"entity-type":"item","numeric-id":33766,"id":"Q33766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661341$D15C34A1-699B-466A-80A7-F91756460239","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":"Q2661341$9FE5DFC6-6245-499A-8CB7-C15C7025CEDA","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":"Q2661341$A0612FD7-4C6B-4A23-808D-798335281F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661341$8D00058B-70AE-4F13-86F2-7A3C34FEF037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661341$8E07CA7C-2B74-4535-9705-142262A9A743","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":"Q2661341$B290CBD1-1F03-420B-B152-FAA74874B94F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecf013c8b7d5cad8f4d1d39a91633599c0a6795b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51825-7_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2661341$7A5A42E7-CEFC-4DB5-B167-850B187842A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"040c3c4cc3559f5668004ce583309f0665abf36a","datavalue":{"value":"W3039437247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661341$535C4591-87FD-40FC-8FB0-DC8AEE9F3E5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2661341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2661341"}}}}}