{"entities":{"Q3172891":{"pageid":3183601,"ns":120,"title":"Item:Q3172891","lastrevid":51341903,"modified":"2026-01-17T20:25:33Z","type":"item","id":"Q3172891","labels":{"en":{"language":"en","value":"Stochastic local search for SMT: combining theory solvers with WalkSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954768"}},"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":"Q3172891$41F03932-AE95-4126-84E6-4E5B14603612","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ead52e24724240f02b0b646020a3e75939d6c2ac","datavalue":{"value":{"text":"Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172891$AF727EEE-530C-4C58-B33A-0D7BCA234563","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a68949d3fef7f53c68eb922921de1f1ef3ef0ffe","datavalue":{"value":"1348.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172891$3F0693AD-4E76-47E6-86E6-7EB717EB4BD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c26d6e5bc6a894a703b404851397004e38434386","datavalue":{"value":"10.1007/978-3-642-24364-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172891$23B31A7A-A50A-41E0-AA6C-897F70E56F4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$CF55FA44-D9CF-4387-A070-6AE5E51AA9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77096859e8a7f1298963e1dc98f5367759e32cbd","datavalue":{"value":{"entity-type":"item","numeric-id":3172890,"id":"Q3172890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$97FF15C2-474D-4CE7-8A74-5D236F61413C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$0FDE5FAA-53B3-4893-9A2F-653DDB824859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a052d89ca7d2958eec5b1d3fed06fdd927bf3ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2908519,"id":"Q2908519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$E0628627-1F67-4F17-A588-D8B0A3DD3861","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$68A96608-DFF2-4364-826F-B71BEB5D7071","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-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":"Q3172891$3FF368A2-B9A8-4A79-8B78-3698018FB475","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"552b82f6165f0df1d223706b4773a0edf1cf12b1","datavalue":{"value":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/6099","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172891$87420243-1C8C-4CA1-B1C9-06860479092E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172891$575C04EE-B520-4249-835F-922023AB4E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172891$D64E8029-AEF3-459C-B906-74717568C63B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b6aa6204bcd8682c01f04ed8c7ad8266709460c","datavalue":{"value":"5954768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172891$8495EC93-AB4D-4BCD-BD17-5AE5B51B3769","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$AFE85DF0-29D7-4585-BA2D-D09F27AAAF6A","rank":"normal"},{"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":"Q3172891$0E20ABF5-DE94-470E-9BA2-436A7856C609","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":"Q3172891$0BA216ED-C0BD-4A1F-ADF8-E0E2A29D0D12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bf812360baf44911ee3bf5dd41044d44ffc2a0b","datavalue":{"value":"W1601158010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172891$3B7017F9-E0EA-41E2-B9E1-DDDA50308BEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca6a116cda218a5a5ba933b4a80a76fb1eeb6a2","datavalue":{"value":{"entity-type":"item","numeric-id":5717462,"id":"Q5717462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$DF9A66B0-E19C-4B09-BDEE-24D64CA15B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71dd5571a3c1c99537e11b357ad1449f45692c1","datavalue":{"value":{"entity-type":"item","numeric-id":4809056,"id":"Q4809056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$8BE61526-261F-4F46-B5C3-92473D2E5A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6cd97e3f82ac331b5c35418e85b8f31de94ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4933326,"id":"Q4933326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$C5EAA434-862E-4FFF-A2F0-BA79414DE98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1c9b30d63dba402510d5838237495966fbe464","datavalue":{"value":{"entity-type":"item","numeric-id":5756581,"id":"Q5756581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$C1EF9480-BE19-40CC-A451-B85E6A201CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f673ba67ae0b39162d16f3da67f8d71ee6d9989","datavalue":{"value":{"entity-type":"item","numeric-id":1581848,"id":"Q1581848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$0616FF05-A527-4F24-B60E-248C6797350E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebb8efdaf042166b86074274f53b03830ea6799","datavalue":{"value":{"entity-type":"item","numeric-id":1204869,"id":"Q1204869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$8A0E01B4-5020-4A69-A468-9C3D110629F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1ef4c8566673a8a5c94d00ea3fc5ee04078d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$D2E9CA3D-26D6-4E41-A523-A6663F068E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$F9B51C08-00FA-4FAA-8B1E-FB60300D8E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00dd0320d9bdceb5dec8ac5adab43168acb12d4e","datavalue":{"value":{"entity-type":"item","numeric-id":5714764,"id":"Q5714764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172891$7BAE38D8-1D45-4E9E-9C93-68EDB08D9599","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318b52e8fc5bc5dd8bc5aa6336a138b14031ba2c","datavalue":{"value":{"entity-type":"item","numeric-id":6487338,"id":"Q6487338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97c672459d522bd74fc50cf0c737b7584613aaa","datavalue":{"value":{"amount":"+0.7664060592651367","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":"Q3172891$1963FFD4-5141-4D8C-A880-647B7EE701B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a27d644bc37c8513cc96e390f432ba6042278a","datavalue":{"value":{"entity-type":"item","numeric-id":2432765,"id":"Q2432765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e8ea42c5cedb5f6ff6544d05d0b006dc5fcaa3","datavalue":{"value":{"amount":"+0.765666663646698","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":"Q3172891$53D0B2D8-398F-4021-8F1D-5FEA13D16C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e71bfb5b68d2283442ce2c6ed865faa5ef3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5756564,"id":"Q5756564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1616498e125d14bcfa11f92679c217b729488c","datavalue":{"value":{"amount":"+0.7625427842140198","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":"Q3172891$EEC02674-9B35-4A63-9E71-48A6E4D9BAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27427d94544fbed6b09670faadb2c32c27c3869","datavalue":{"value":{"amount":"+0.7606697678565979","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":"Q3172891$720F26C2-7ED0-4F13-B3D1-D3749B684E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74edf49ec6d0c85b53a0662673c7338a4a960f4f","datavalue":{"value":{"amount":"+0.7580711245536804","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":"Q3172891$07DED8AA-EBD2-4794-B589-C42971A4C335","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172891"}}}}}