{"entities":{"Q931750":{"pageid":933598,"ns":120,"title":"Item:Q931750","lastrevid":65436897,"modified":"2026-04-12T02:35:10Z","type":"item","id":"Q931750","labels":{"en":{"language":"en","value":"Formula dissection: A parallel algorithm for constraint satisfaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5293413"}},"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":"Q931750$AD3A4A90-5E60-4C9E-A784-352D4A0D0B9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad8df66cbd1f480fef5f85f9cd98c640d0a99287","datavalue":{"value":{"text":"Formula dissection: A parallel algorithm for constraint satisfaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931750$B3242450-D0D2-4308-8336-668D68256168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a9c21db8fdec34fd2828cb98462b9240a7429b8","datavalue":{"value":"1149.68415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931750$BE559543-E521-47D6-96C2-2B2928B19A24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cdf21d0e331a47790f86a0203b4b15950c2a72f","datavalue":{"value":{"entity-type":"item","numeric-id":537850,"id":"Q537850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$82458EB5-6078-49FC-9D13-7B9772DDB5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5e9000692cd81ede42b133422e51184c0b887e0","datavalue":{"value":{"entity-type":"item","numeric-id":688581,"id":"Q688581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$EBE135D0-8096-489A-A322-160307ABE91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85ab376140a522dce85720524d1746d5cdb6ba44","datavalue":{"value":{"entity-type":"item","numeric-id":931749,"id":"Q931749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$9B129372-56CE-4B40-ADE5-FB4E0F6F9239","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05cae1768d84afecba5ae48e5205e16d448a27f6","datavalue":{"value":{"time":"+2008-06-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":"Q931750$FFC85863-F9C8-4761-8DA2-85BA1B214442","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931750$1C6A1F2F-2A2F-400B-8794-99C394321F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931750$6C75749F-8142-44A7-8C53-7FCFE9492A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931750$9293C628-659C-4C0D-962C-E9164C4C6955","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97b75013e3e85245c3994d3648eb69388786e348","datavalue":{"value":"5293413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931750$742C78A7-3577-4F4E-BA1B-6056294CE9C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c97778fbb68f4b3d21d002e4e8a64c7d17bf","datavalue":{"value":"Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q931750$14B4FFA2-0D84-4F45-B1DC-CD20AE87BCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3b1798ebcbca280a76974b8f25dac6572b4e5a","datavalue":{"value":"combinatorial search","type":"string"},"datatype":"string"},"type":"statement","id":"Q931750$8CCC803F-9DF5-4A0E-B622-7CF03737565D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0967c5f93d36d6aa18ee008d77ee288965d952b9","datavalue":{"value":"parallel algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q931750$4C7CA9D4-EEEC-472F-9516-E58BDDFB58F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q931750$FAB37E76-FC85-4B10-8857-0F13C1182E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc13ba4d8a744d2a7419d993af8f1b43517c039","datavalue":{"value":"dissection","type":"string"},"datatype":"string"},"type":"statement","id":"Q931750$B5C04EC2-459B-4563-A991-7749F02C9218","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":"Q931750$1C0D75FD-FCCD-4A87-B9F0-AE30C4CB53B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2075c1fdf4993b07d4cb1fa601ef06f464c3e28e","datavalue":{"value":"https://doi.org/10.1016/j.camwa.2007.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q931750$267E7534-1EE4-4A70-82C1-7523BF10672D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c2ed3d00eaf4c274a791817e47d8957cfaac89e","datavalue":{"value":"W2044212376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931750$24D1DD90-EE1D-4E98-A28D-E45AFE8192AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d04800089a50be71ae129fd64747fa94ad4d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3559281,"id":"Q3559281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$268226CB-8860-42ED-8FCD-0316A872303F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b266c721655122dbe400bbee292733bb46b20d","datavalue":{"value":{"entity-type":"item","numeric-id":1244202,"id":"Q1244202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$EEF3AC4E-5519-4ECE-86A3-A392F5201C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc7b0f82e42c56ee306811b6c3df8af19432e03","datavalue":{"value":{"entity-type":"item","numeric-id":1231783,"id":"Q1231783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$8C86ADB4-C02F-40F2-AE9B-F33C70042C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25c562c825fd1ac106be295d8e2340b5e2a8dc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102773,"id":"Q4102773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$B0BD1526-B18E-4F95-B4FF-E213F998C7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$5D5C0C3F-B93B-445E-91F3-CBC2DF0A6EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88f68f00b67b3ec852183680b729fcd76ab1db3","datavalue":{"value":{"entity-type":"item","numeric-id":4302462,"id":"Q4302462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$6B0D766F-C3C9-4792-A288-32DB609FBDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$E46B7951-ACD8-4C5E-9085-975CC8EB9991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138dc705bd4f010512c1d697fdd2fd47a3c05fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1109582,"id":"Q1109582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$3DA866E3-B0CF-41C5-AC8F-992FDC8F343C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2628ffb9e59aa19553582ac944ed7dc8d827a3a","datavalue":{"value":{"entity-type":"item","numeric-id":5402548,"id":"Q5402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$59AA08FE-863A-4838-8CFA-5ED177FB0DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176f92be0a5c8084cbea32a162c15c6e5a582bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3936195,"id":"Q3936195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$8D6A52B8-F5D3-4C62-9EF9-8BCB71789799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2a57b475ae76d5a53ffe9b99df300f7fdeea33","datavalue":{"value":{"entity-type":"item","numeric-id":3906439,"id":"Q3906439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$6CC2DE5E-1530-49AB-AF01-AACF69ADE208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d1d1cb66d27d2e53aba37392ad47b61e11f859","datavalue":{"value":{"entity-type":"item","numeric-id":3326832,"id":"Q3326832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$1A302393-B43D-483A-92D6-F01066F6AE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bb518407806a0775e238de3cb997abdfa1f23","datavalue":{"value":{"entity-type":"item","numeric-id":1324287,"id":"Q1324287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$9154A898-2C8E-4F88-88BF-ADCB6DF1CB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ff8a807471958a38eef5720fd27b64677c1d24","datavalue":{"value":{"entity-type":"item","numeric-id":3869371,"id":"Q3869371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$6207E97F-2D4A-475A-9226-E6D60B8A1BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd3a0b1f135c6dac172b52625070bb225752915","datavalue":{"value":{"entity-type":"item","numeric-id":3968972,"id":"Q3968972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$7B4B3F5C-2E2F-4D76-970C-B380FF1F3EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668ede22aaf0f582cd852b85766ea7ff07a98da5","datavalue":{"value":{"entity-type":"item","numeric-id":3957959,"id":"Q3957959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$FAA4E150-7D4E-4A10-A70C-45F2D498647B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a5dd87f9b47ea169d77fccc0d3b1ab0e65eb8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3756533,"id":"Q3756533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$B2F78F4F-D74D-4DB1-9EC6-C8F5E9755FF9","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":"Q931750$EDEE9E2F-C24A-4718-B705-C77D0DDC194D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6845c5691f8bc5ec1c83bca43b67772b611dbc7","datavalue":{"value":{"entity-type":"item","numeric-id":1137877,"id":"Q1137877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$4B2FE0F8-8456-4020-B67F-5635B3E03303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45ed88c84c30a799c478233e266ce605894b324","datavalue":{"value":{"entity-type":"item","numeric-id":4133168,"id":"Q4133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$A4C41943-ED64-4ED7-A8FD-E1032AE7C4F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33dccbd5ff51c8789cffdb24cf1bbf83bd63abf6","datavalue":{"value":"10.1016/J.CAMWA.2007.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931750$6EF65782-C06D-414B-B95F-3FBB8FAF900D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931750$0509D914-F1E1-4019-9400-5542B01810A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d988a44a99f79909548ed1bfb76da9cfaca66d91","datavalue":{"value":{"entity-type":"item","numeric-id":4251078,"id":"Q4251078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c2b81164dde1d269aa57457e170d3f24b3272a","datavalue":{"value":{"amount":"+0.8233906626701355","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":"Q931750$B626855E-9C6B-4135-BC00-250B584234AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc82022e7d8b08e56662ce23a79228afb6a4f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4859227,"id":"Q4859227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1198f8ef4b378c77d440fb97847ced3ac7dc1713","datavalue":{"value":{"amount":"+0.813460648059845","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":"Q931750$661A342F-7F82-4E6C-819B-E992254A6A4E","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":"b29a2880ff4d84540a18cf9c7cba5d4e4b3c1346","datavalue":{"value":{"amount":"+0.7939468026161194","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":"Q931750$F3D00026-8D97-418A-98EA-38E513A48545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70347476cc8ff5f2cfb70fc660508bb2a4a3caa3","datavalue":{"value":{"amount":"+0.7829418182373047","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":"Q931750$BE2652E2-3C95-4A1E-9BAA-5352FB3F0431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1df90438e5e788a24f7b48c032f04e55e60515","datavalue":{"value":{"amount":"+0.7821449041366577","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":"Q931750$9BC8EF88-0444-4801-9B4D-ABE2131EE854","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formula dissection: A parallel algorithm for constraint satisfaction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formula_dissection:_A_parallel_algorithm_for_constraint_satisfaction"}}}}}