{"entities":{"Q1199880":{"pageid":1210629,"ns":120,"title":"Item:Q1199880","lastrevid":66855300,"modified":"2026-04-12T13:18:42Z","type":"item","id":"Q1199880","labels":{"en":{"language":"en","value":"A fast and efficient parallel algorithm for finding a satisfying truth assignment to a 2-CNF formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96212"}},"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":"Q1199880$23D481B3-977D-4DEB-A6E4-F5513CE7EF16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b908e97c929b4f52f74352125707d46d2ddf899f","datavalue":{"value":{"text":"A fast and efficient parallel algorithm for finding a satisfying truth assignment to a 2-CNF formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199880$6ABD9DF3-E191-46B4-AD47-7C439A7CA5D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73678daed28d94b61f66ed81c2288dc6411e3632","datavalue":{"value":"0763.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199880$61C00F05-59DE-4124-AF95-4F3D5479FA9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ada1e1d6652f4df968426f5b495f5677a22b1a14","datavalue":{"value":"10.1016/0020-0190(92)90199-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199880$1CE1C9C7-86EB-4629-B156-B5B7FACA5B58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7393b0207d0f3dd972850e1d9213c6ad15bad741","datavalue":{"value":{"entity-type":"item","numeric-id":261380,"id":"Q261380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199880$FB12A44B-AC7B-4B19-819A-34A10E1C1DF7","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":"Q1199880$58E8DE3D-573C-45C6-91F6-9A83262E9073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199880$50F473BC-FDE6-4840-848F-B24F6951CC25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199880$01A6C6EC-5062-432A-9342-D0300F4AA467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199880$EC879628-0537-4E8E-9788-C01325AFC2CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a35ad081456ad47decdb63f04d5099ee928a93f","datavalue":{"value":"96212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199880$DAC3330C-6D9D-46FC-93CE-6C7D5165490D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199880$869CF17C-4E6A-48FF-8E7F-BA61EC39BA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f49f54c308c6e373256c0a8a1a5c2f906b1d8e9e","datavalue":{"value":"2-CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199880$8D2542F8-1F83-463C-814C-C83BD14C8A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0460a0356485c287af14e0288dac62f7c6b389e4","datavalue":{"value":"CRCW PRAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199880$0F40A204-F080-41BF-AAA3-8465DA506874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0de1c9f116b71d20e00b93e07300eed544fdd8","datavalue":{"value":"EREW PRAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199880$C38C568A-46D2-4057-B75E-805CBF8A10DC","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":"Q1199880$97110255-108E-4A08-8D70-0E7A212A5723","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a4889277eff5ab6bee624ec7eabd45e0cb8db3e","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90199-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199880$0E333BEE-CA3B-4A31-887B-EE9D788FA95A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d7dd8b4a5a98ad9e2b9af296b024c5514941102","datavalue":{"value":"W1985141379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199880$BBF75797-65E1-49C3-9BEE-27A28FD7D08A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a7cfeece8562a9ac87120b107e2b528967937","datavalue":{"value":{"entity-type":"item","numeric-id":4773298,"id":"Q4773298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199880$2CC22C0F-3D2B-4CE7-83B1-503B2C4B069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d570fdacf4c7d2efb35c532c73713e0011233a38","datavalue":{"value":{"entity-type":"item","numeric-id":1111392,"id":"Q1111392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199880$0633D737-7627-4FAD-BBCD-7423C0FD3FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee77505f29649c24a657424f3dfd6852fee0eca1","datavalue":{"value":{"entity-type":"item","numeric-id":3771607,"id":"Q3771607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199880$B02F429C-9253-4ECB-831D-726E2DC96984","rank":"normal"}],"P1643":[{"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":"632e1dc3227f0bdba5e62101b2636f508c32b889","datavalue":{"value":{"amount":"+0.7897163033485413","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":"Q1199880$AB8D1FEB-F952-4A6D-B77E-CAFB6D6AF5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e0f07d9ba7d9fa37bb464ec8119fa4168ee236","datavalue":{"value":{"entity-type":"item","numeric-id":3979516,"id":"Q3979516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f052c94f82fc92852cda9cff0591aa8f4a23e8","datavalue":{"value":{"amount":"+0.7871221899986267","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":"Q1199880$1611E82F-7013-4E0B-BCC7-9BE10990079C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692cbe50a2c080af0831461ddcdf939a6eb30321","datavalue":{"value":{"entity-type":"item","numeric-id":4380447,"id":"Q4380447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f052c94f82fc92852cda9cff0591aa8f4a23e8","datavalue":{"value":{"amount":"+0.7871221899986267","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":"Q1199880$13AFCA90-A009-43B5-B994-F3F7B111EEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617c47ba904acc210e7270c8207d15e18218734d","datavalue":{"value":{"entity-type":"item","numeric-id":931750,"id":"Q931750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f13612c8e4295704df9496960177126b376035","datavalue":{"value":{"amount":"+0.7747673988342285","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":"Q1199880$3CC28BE6-623F-40E5-AD0E-A054C7180398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85307005f9aa7b14e41627295230e50fdc5b2df7","datavalue":{"value":{"entity-type":"item","numeric-id":4808676,"id":"Q4808676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27364b262e2ea5bb3ca24f0c3f21d36e13e5fde6","datavalue":{"value":{"amount":"+0.7674601674079895","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":"Q1199880$1CD32EFA-601C-43C8-B4B2-652D01C8FA98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fast and efficient parallel algorithm for finding a satisfying truth assignment to a 2-CNF formula","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fast_and_efficient_parallel_algorithm_for_finding_a_satisfying_truth_assignment_to_a_2-CNF_formula"}}}}}