{"entities":{"Q5377330":{"pageid":7406904,"ns":120,"title":"Item:Q5377330","lastrevid":53432270,"modified":"2026-01-24T23:06:22Z","type":"item","id":"Q5377330","labels":{"en":{"language":"en","value":"Applying modern SAT-solvers to solving hard problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7058608"}},"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":"Q5377330$03F39865-1FBC-4C32-8A4D-3E428450ABDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8dd3d49920aa50c02ddf94794a7ee6c792a15e0","datavalue":{"value":{"text":"Applying Modern SAT-solvers to Solving Hard Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5377330$3638E346-65FD-4A20-A94F-39478959AB18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6bc1ee931e06dcf991f1d28ad74cde6fcbe31f2","datavalue":{"value":"1412.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377330$1D178CC8-8F59-4092-9FAC-8D5687ACD121","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"520175c19a2b1b9a50ca3a15d6983f685982163a","datavalue":{"value":"10.3233/FI-2019-1788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377330$9F1E66A8-9189-46DA-ACE3-C6BEC9B65206","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f8702780907862d22fb68b03ee907a25b3573f","datavalue":{"value":{"entity-type":"item","numeric-id":2309217,"id":"Q2309217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377330$8EF0D7FB-19C7-4CAF-8253-5A9302136F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45eebfcebe6d530052e3ce7c6ac4933912892740","datavalue":{"value":{"entity-type":"item","numeric-id":600837,"id":"Q600837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377330$B5DC5AB9-4CCA-490B-A16D-67668B595575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7cf020bdb2112a2b4297eda24fb1e8a7f519eb7","datavalue":{"value":{"entity-type":"item","numeric-id":4621225,"id":"Q4621225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377330$C1C6B9C4-E053-4AA2-9CDF-5C9110674094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377330$DF7C8D56-AB1A-4244-AC17-55C7C93D5D5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377330$6DA0C8A9-70AF-444A-90C5-BB1260214B4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d38dfc661f60012b57cbd71c3932ffe0b466b646","datavalue":{"value":{"time":"+2019-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5377330$BA787D94-7136-4E21-8D48-F8EB8745173E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377330$8FC8BFF0-B259-4619-8C50-D48C6BBDF73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377330$F88CE6E0-6885-47FE-8B8B-9124696EC0A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e3cd116360d813d165dfa23b8900ffd0cc18d50","datavalue":{"value":"7058608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377330$1748B98C-739A-4851-806E-0707C17BDE7F","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":"Q5377330$2688991A-50A4-4249-BD41-A49087C423B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0548ec608da8b0b01b55d62423c526da932472f0","datavalue":{"value":"https://doi.org/10.3233/fi-2019-1788","type":"string"},"datatype":"url"},"type":"statement","id":"Q5377330$AFEAFDBF-4D40-46EC-BD8A-283C7738F53E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a496123afaebc2c5bcc61e90d9856a6a7166b73","datavalue":{"value":"W2934772558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377330$53331884-54B7-477A-8468-721EB5B99543","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9e726bd5aa892fe9bdcc72a53ba475b3e09ec050","datavalue":{"value":"Q128167982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377330$93A2757B-B872-49DB-B667-ACD7C029A8DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02e916a4295d108c2e735da9044d9bb806b47dd","datavalue":{"value":{"entity-type":"item","numeric-id":4621226,"id":"Q4621226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f9abb0e8fccfcc07daa87b605675d86ea07cc6","datavalue":{"value":{"amount":"+0.8222142457962036","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":"Q5377330$DA1E250F-1BD6-473C-A67D-2B652F8C4D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa20a403e3086793eeefa974c2d02108a4d71","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d96c959c77209e9788a3b4c5d711ec59f027f9","datavalue":{"value":{"amount":"+0.7701258659362793","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":"Q5377330$350A92DB-5A4E-4B5C-AC32-D4DDA1EED73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f362c7a2e50f062210e403cd84cec2f36188cc","datavalue":{"value":{"amount":"+0.7696309685707092","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":"Q5377330$E6CB3AD9-BE33-492F-8F7D-6E3D7FADA837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea49af491734bb1eae9415b843e3fb6e2b96365","datavalue":{"value":{"entity-type":"item","numeric-id":5504707,"id":"Q5504707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e5e54eb88fc4386abfcf8f44549c4db05cd690","datavalue":{"value":{"amount":"+0.7673736810684204","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":"Q5377330$DA95BE93-DE2A-4EB3-8DFC-FD9174295DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35984a5402e5ff5dca6ea85c3fa9b042c093ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e78b1a8c03379f28bb98315fb84bbf2e59f200","datavalue":{"value":{"amount":"+0.7671232223510742","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":"Q5377330$1BFED334-3994-4A3D-AA66-4E04C2768D59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5377330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5377330"}}}}}