{"entities":{"Q4930595":{"pageid":6960177,"ns":120,"title":"Item:Q4930595","lastrevid":51093287,"modified":"2026-01-16T15:31:20Z","type":"item","id":"Q4930595","labels":{"en":{"language":"en","value":"Dynamic scoring functions with variable expressions: new SLS methods for solving SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793462"}},"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":"Q4930595$0896681F-A5C9-4C6F-973A-7483854A0B25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84c3e0b21557b84132046b2220a6ad506fd10399","datavalue":{"value":{"text":"Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930595$22A7B5BD-23E2-423B-A322-81E28B55DC8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b0a2e6bcfc6b344cf6c9787128ec3c0cf47b22b","datavalue":{"value":"1306.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930595$A1CE63D0-E8ED-4B23-BF21-3A5F4C245441","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47208513ca9357ed31ad2ebb924d56a75e8739df","datavalue":{"value":"10.1007/978-3-642-14186-7_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930595$DBD764BE-9763-4DB2-B3BE-5F3C5B08F330","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb64b33dafa07c5f5075653b182f8d13c448bca8","datavalue":{"value":{"entity-type":"item","numeric-id":3007691,"id":"Q3007691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930595$DC2B9178-38C5-4250-92C9-C55C381C5B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6a2bf440466d8935822f643d297ea8f3ef3e2b","datavalue":{"value":{"entity-type":"item","numeric-id":98777,"id":"Q98777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930595$BA345879-22A6-465E-B464-F0B67924DEE4","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":"Q4930595$D11A3DE2-698F-4336-B9B2-F02A7C672A29","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":"Q4930595$73F7E9E3-1C9B-4B6E-BF60-25B8715F70F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930595$53E5F9D4-E28D-4019-A5C4-D0CACC26F3D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a509f43777aa4d523f237ee4b48108b2788e46b","datavalue":{"value":"5793462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930595$DCEC629B-97A2-46C0-B216-E586418FB31F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff2d5d5cda41d7572712528175edb4defca67610","datavalue":{"value":{"entity-type":"item","numeric-id":15153,"id":"Q15153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930595$111220CF-17F4-4305-95E4-925C8F72C056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b607ed63de0262a5bfbd451f92dec1ed2e08de79","datavalue":{"value":{"entity-type":"item","numeric-id":26138,"id":"Q26138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930595$A4FF06E1-E6E4-4434-9373-6B3334C2ED63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a3128c90e03896ee0d98cf8f52b2e52fa0a4d4e","datavalue":{"value":{"entity-type":"item","numeric-id":13432,"id":"Q13432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930595$9D9379C1-1A1E-4451-8681-D6725AF64BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930595$188AA5C3-9E5F-4A93-9859-51071FA318C1","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":"Q4930595$D27A1050-0695-43FA-8DE5-CB428B377AF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9998187013e3547570270c148ca7f7e3e5920127","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930595$CBBB4527-77E8-48CC-8163-E441A352C759","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2d52627cd8209bad932c7533349befb1826f764","datavalue":{"value":"W1551380792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930595$DE46C440-5590-410D-B409-DBCBCFB7A082","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2286fbea96793d363f95c5b507743d7fdf2874","datavalue":{"value":{"entity-type":"item","numeric-id":3604003,"id":"Q3604003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daba9ec5a6f38831d209ea477da2b14ef29a8ce9","datavalue":{"value":{"amount":"+0.8062379956245422","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":"Q4930595$EF6904AD-51D7-438D-B128-69F519145A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d804c4d42ff9c398f873f98cc0a64ef3c7365","datavalue":{"value":{"entity-type":"item","numeric-id":3007692,"id":"Q3007692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fed1e59e16bd1e611e479b656c90eb2cd7a3cdf","datavalue":{"value":{"amount":"+0.801747739315033","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":"Q4930595$D4B18FB3-C895-4B55-A833-24C6EA5945F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9156c547f9e4dcaa41b713dd7c24243717580c6","datavalue":{"value":{"entity-type":"item","numeric-id":2634473,"id":"Q2634473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a693afdf53de89e23d3411c70fde998ff7a037d9","datavalue":{"value":{"amount":"+0.7955144643783569","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":"Q4930595$5292D7ED-3AFB-46E9-AB9E-05E1154C1479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2091400fca8f39d9ccd579ebd1adeca5c03085","datavalue":{"value":{"entity-type":"item","numeric-id":5714764,"id":"Q5714764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08ecd912da687f7be04e1485fdd9c96f595383d","datavalue":{"value":{"amount":"+0.7954137921333313","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":"Q4930595$8B4F1504-1883-4275-8832-88D14F29CE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d045913713bfe1bf202fdbc1d63eb5d2ac912cc2","datavalue":{"value":{"entity-type":"item","numeric-id":2726305,"id":"Q2726305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc5faa74c629c297fc428dfc5262e6c4edd16ae","datavalue":{"value":{"amount":"+0.7589792609214783","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":"Q4930595$BBB0C9C1-5023-4081-9DC0-F8D0B311DFD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930595"}}}}}