{"entities":{"Q1190510":{"pageid":1201259,"ns":120,"title":"Item:Q1190510","lastrevid":66518019,"modified":"2026-04-12T10:37:06Z","type":"item","id":"Q1190510","labels":{"en":{"language":"en","value":"Solving the satisfiability problem by using randomized approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55561"}},"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":"Q1190510$77FF3359-ED8B-4397-9E04-A37A25F0030E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12f2703a820f96b1326b57aab7a8d33dd9d0fd74","datavalue":{"value":{"text":"Solving the satisfiability problem by using randomized approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190510$A1E48485-7D07-4996-B328-1FD46E015DE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cbc671f6f55192049e05b3881b0d9104abffe59","datavalue":{"value":"0748.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190510$1648BCB7-64DB-4DBE-86AD-19CFCF1C1A9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68b22f2d2344321ab0e7408178fe683e4bfd7342","datavalue":{"value":"10.1016/0020-0190(92)90177-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190510$81CFC38A-205B-4489-93BA-FFB4DFF32CA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$01B35529-DF67-4AC0-ABAB-F92996752C74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$15BED004-9ABF-414F-AD01-3F820B77CE2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1190510$6D568AFC-880B-4E83-B964-4F3523892A63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190510$408240B7-E52A-4C03-A409-3912D8C0B56D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f57107f7bef3445e64b2423a565d342e4ba1b230","datavalue":{"value":"55561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190510$8D308E64-03B9-4EBA-925D-FEC42AB4DE5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2832e5ae4fc414c772c86f6023e26d563dd35e6","datavalue":{"value":"randomized algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190510$4FAC2409-AAFA-4FD4-86D7-794426CC8D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190510$53C1B359-6883-45BF-91B3-68B826151567","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":"Q1190510$F993EDAD-3CAB-43FC-ABB7-00F408F5F1AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e64aa0c5bf2c7b512c35d95fb2f31defca5ebe6","datavalue":{"value":{"entity-type":"item","numeric-id":3832061,"id":"Q3832061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$5BB99774-D1F0-4BCD-A4AD-A08DF5E21E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$7D0E75CE-FBDD-462D-9DDD-BBB47AE6C982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdba1223236d3ea6ca7b9f5750fa0af8e45003f0","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$43D9C4E4-73F0-4106-A9ED-BE5663BA89AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ab7e41845f95d630a116a9b143665ad309e566","datavalue":{"value":{"entity-type":"item","numeric-id":4040055,"id":"Q4040055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$D8AED78A-0EE9-4117-B713-4AE3B84357FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789c9b261b79882661741dd01add5c380b8a4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":787685,"id":"Q787685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$BC6EBFD5-F1B3-46D6-934C-93AB1F30EFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"177a7d47cc8c5146975c01a6d6ffdd67ee8efafc","datavalue":{"value":{"entity-type":"item","numeric-id":1353997,"id":"Q1353997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$6420E77A-4D00-4A49-BAA9-30B12AD7BDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$F23F742D-657A-4F75-9177-77C083F1B82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08d698348eb856e79e6d633751285caeaf7da96","datavalue":{"value":{"entity-type":"item","numeric-id":3985347,"id":"Q3985347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$15930B98-1390-4F4A-9C61-CB2118D476CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c1a7c08104d2aedd244f7b11b210cc611ba801","datavalue":{"value":{"entity-type":"item","numeric-id":3036695,"id":"Q3036695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$E60D33D8-65A4-4646-9745-58791DCE9784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48106796b5aeba9405f93282266cdda293337657","datavalue":{"value":{"entity-type":"item","numeric-id":1095678,"id":"Q1095678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$AD2CDDE4-CEF5-4CAF-B92A-9CF9782D9A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865f082c2e39aa822f8117990360da77ecfea3aa","datavalue":{"value":{"entity-type":"item","numeric-id":3694704,"id":"Q3694704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190510$E4C1EC8E-5757-4F0D-BA3B-F491715B83B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2116010ccb23b9c1be3712ac147d4b795c289d93","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90177-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q1190510$B20256A5-CF08-402F-A6DB-A29EEB47A991","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0890c5a1e47ec37d5bbe03f336ee87cfc31192e6","datavalue":{"value":"W1972240672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190510$E9CC1939-D1BD-4995-AC94-6036433875ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2068748f59fd6e2e2a72df0bd8ccdea859c138","datavalue":{"value":{"entity-type":"item","numeric-id":2747196,"id":"Q2747196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b353a14cf6d74ba34bb55fcab9a077f32e43caa","datavalue":{"value":{"amount":"+0.8650767803192139","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":"Q1190510$4CBB3143-1EE0-4700-B574-553A3622352B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5b4926b5671081b8f698737b70c88ffd28369d","datavalue":{"value":{"amount":"+0.8359718918800354","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":"Q1190510$A2471D65-6137-4397-8D76-FCF04D74A6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541151ac26e9d8891b56677c481a45bd38475259","datavalue":{"value":{"entity-type":"item","numeric-id":870448,"id":"Q870448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6182504469288d731ecd2285307100c55255ec88","datavalue":{"value":{"amount":"+0.8232049942016602","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":"Q1190510$3B71DDF6-BEA5-421C-A89E-C4C3CDD8C773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651006af4f64a7c4bbcbdf5718f802833b4f6a47","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71f9126beb23c5b25df531b5535a32e34e7cf3b","datavalue":{"value":{"amount":"+0.8154958486557007","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":"Q1190510$BE0F6DC7-5053-4F32-B193-5781D1450B58","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":"39ea3669d34a31cdab9deeae5fe77dafdb24d6de","datavalue":{"value":{"amount":"+0.8079882860183716","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":"Q1190510$8AB8317B-C69D-4899-8A31-277F2F409746","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving the satisfiability problem by using randomized approach","badges":[]}}}}}