{"entities":{"Q4930585":{"pageid":6960167,"ns":120,"title":"Item:Q4930585","lastrevid":51093266,"modified":"2026-01-16T15:31:18Z","type":"item","id":"Q4930585","labels":{"en":{"language":"en","value":"SAT solving with reference points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793452"}},"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":"Q4930585$73AEA8E0-82C5-4675-B18A-AAC8BBD07F3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d572a62e47dc6af7b9bd0cca35d6c5c87df5cd68","datavalue":{"value":{"text":"SAT Solving with Reference Points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930585$B7138BE0-E7A5-4707-93C7-75978F51FF15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a947c9cd0834a3f4adc00ff6d46a8f0afc5b756a","datavalue":{"value":"1306.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930585$440B2500-4910-4B91-96B5-AC4C12E061F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d64792ef6d9c16e8b5c0a281edc1e03522f9253","datavalue":{"value":"10.1007/978-3-642-14186-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930585$A69184D0-EE3C-4E2B-BD17-53015E1D5BBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b5f61af7867478d9209c13471cce5731e79992","datavalue":{"value":{"entity-type":"item","numeric-id":3502703,"id":"Q3502703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930585$F2DA8649-20B7-4113-B875-C4C734514432","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930585$72910CC9-EC96-40D9-84A5-A2555C054DB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930585$5B3812B4-C6C3-41FE-BD8B-F8F3C949ECB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930585$B1E9D116-5DC8-4388-B142-C24152585C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930585$7E199D49-7AE7-4FFA-B65A-0596709CFA81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"696063eafe60e22900bc3bc5949811dacbe8183c","datavalue":{"value":"5793452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930585$B63F34C4-410D-4466-BB80-1B8F1E8A41F3","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":"Q4930585$FE5B62A2-C573-4AAB-B8C8-0DA156CB5DBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f7b4feb124c1fb95c8c833860d966d73a67a15e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930585$48D0EBB8-7BEF-457A-81EA-AF7825533FD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8da12e99cac194a3c1300dcd4651cf7e9dc1f58f","datavalue":{"value":"W1578900789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930585$60570082-9042-4E85-901B-0A8784C9BFE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df07242b0caace58208b32a9a26351298b9d6624","datavalue":{"value":{"entity-type":"item","numeric-id":3502699,"id":"Q3502699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e080c826d5f46e28aeae986e1c252433d8577bd3","datavalue":{"value":{"amount":"+0.847478985786438","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":"Q4930585$CAF1223C-1223-459D-86BA-44EBB1FEE1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e8b676e4df73b916e8709fcdd73767eda5020e","datavalue":{"value":{"entity-type":"item","numeric-id":5713744,"id":"Q5713744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb596444129f1d9c55734bc0ad0a263fe2bb5c3","datavalue":{"value":{"amount":"+0.7568277716636658","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":"Q4930585$E65EDA6A-487F-4957-A5C2-75E00442EEA8","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":"7b6607bb394efc1ec65a54ed2923afd98f9f1f57","datavalue":{"value":{"amount":"+0.7510479688644409","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":"Q4930585$06F7F54C-DC8E-49A1-8CE4-9F1E159FEF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e15248e8c160c741e80f6219ad00a22813d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3502714,"id":"Q3502714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980539e7670cc94822953da6763f75be239cbec7","datavalue":{"value":{"amount":"+0.7509296536445618","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":"Q4930585$95F3B29E-4CD9-4A3B-99B6-C887F71F4AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84f06ac3a7abeadfb612136a42a1caae170a355","datavalue":{"value":{"entity-type":"item","numeric-id":3453243,"id":"Q3453243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231efe9a9c3617f21d3273446e5b3bad8ed43201","datavalue":{"value":{"amount":"+0.7476426959037781","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":"Q4930585$7C5B66EE-FE7D-46FD-AB01-CD46A25252CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930585"}}}}}