{"entities":{"Q6487337":{"pageid":14066106,"ns":120,"title":"Item:Q6487337","lastrevid":99598562,"modified":"2026-06-05T20:21:13Z","type":"item","id":"Q6487337","labels":{"en":{"language":"en","value":"Even Faster Conflicts and\u00a0Lazier Reductions for\u00a0String Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628147"}},"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":"Q6487337$DD0623E2-B5CC-4219-BE3D-4E607D5900F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"658c60a9aa9479346b593ea1cbb67342581a30ca","datavalue":{"value":{"text":"Even Faster Conflicts and\u00a0Lazier Reductions for\u00a0String Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487337$4C80C2BD-FEBD-4928-96D3-06B035C8402D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"511ad84ebb7a0b0bb1a40c99200e0d63f93bc791","datavalue":{"value":"1514.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487337$EB1816D0-2253-4D82-BAB9-18347BC80E12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04c29136af26817717699d264e2b5e7708f0dfcd","datavalue":{"value":"10.1007/978-3-031-13188-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487337$2F3DDD52-14A0-441B-A384-47BDFCE12B2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8ceba2af8407f73c1c8392c4b03430422efa49","datavalue":{"value":{"entity-type":"item","numeric-id":2096447,"id":"Q2096447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$EAEC142E-6209-4E23-A3B0-D72A320B3877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$F1A04AD3-5E5A-4F3C-8CA5-CFBD971AF179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20dd65c281e6e985b6ecebe81cd888c922b7f37c","datavalue":{"value":{"entity-type":"item","numeric-id":1799120,"id":"Q1799120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$5FBE6047-2F24-4A90-9E3A-FFDFA3CCE412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$D9A952EB-618D-4E46-B9A1-D139C67ABEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$A18B1CE7-1ABD-4A88-8D31-0ABA8919D569","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-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":"Q6487337$F14024F7-257E-4756-B40D-3A924EE110EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487337$2AFE2155-8F09-4551-902A-1CBD45C0A618","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bb982e3d4e43f288ac9a7e162cefdd6fdc1c19b","datavalue":{"value":"7628147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487337$90D558C5-8152-445C-AFCE-04D04D2461DA","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":"Q6487337$939F3E78-8E95-44BC-96E0-7511CD2255A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"083ed94af9ab41918cae58f62afa93d57ce0305a","datavalue":{"value":{"entity-type":"item","numeric-id":2225096,"id":"Q2225096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$061C7C4D-3113-4CD4-9C8C-54EA84C40F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67737023899dd2252d79885f477a3601bda6d265","datavalue":{"value":{"entity-type":"item","numeric-id":6114261,"id":"Q6114261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$F55C4283-2FE8-44F9-82DD-74CE2CE0BA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$176C17FE-1D42-41CA-B766-F5D86A21590E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad897287445407ee795edd97d0959f0fb9be3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$A62A5675-272D-42D3-95FA-466157A62966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$333560D7-F294-428E-A4A5-23BB4119D922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4d91de204feb5edcace878be2e177a0321303f","datavalue":{"value":{"entity-type":"item","numeric-id":3075486,"id":"Q3075486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$764F8B55-23DD-4573-93F4-1935F81A2116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72a24ab38e8fafa6fbae1839d4df37aee0396ef","datavalue":{"value":{"entity-type":"item","numeric-id":2828250,"id":"Q2828250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$7B40A5D2-8997-489F-82CE-CF1549140910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$7B6B96E7-E851-4B69-8DB8-33FA56933E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730ba05bbf0433a1a497a7552c55d2bc239d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$A2E4943E-6B22-43E3-A184-2AC4193D6421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$549382C7-8432-476A-A0F2-FC48AC6D9BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea55efa8381dda049f5e08991aabf0c69feabca","datavalue":{"value":{"entity-type":"item","numeric-id":6154871,"id":"Q6154871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$B500834F-44F7-4CDB-9283-A4C0B7A691AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fa78d199c1a45949047edb73ab94398f608b93","datavalue":{"value":{"entity-type":"item","numeric-id":2164248,"id":"Q2164248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$F3D4B9CF-584C-44B4-873F-083220B176C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6511f2ab28b1ab2433e56820834e0e4329a2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$55A62579-A35C-4AE2-B328-207451B4AD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d59bb4561d0e0bbbb65019d830ad4fbb9c0fe5","datavalue":{"value":{"entity-type":"item","numeric-id":3066111,"id":"Q3066111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$39C4F581-DD05-4B22-9A6C-374D89CC98F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b2e08f73f62e28259e395453e917e84bed531b","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d3ed096fb2f3522c1c739987f6abff17d145f4","datavalue":{"value":{"amount":"+0.8353128433227539","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":"Q6487337$5F15BE92-C400-454B-A033-9C3C4BBD79E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1094c88d03a598347d4c045c01fcc76beff211ce","datavalue":{"value":{"entity-type":"item","numeric-id":526767,"id":"Q526767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e8e801cb7f5c1dc672fd756fd55ccf697f8e29","datavalue":{"value":{"amount":"+0.831427276134491","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":"Q6487337$73B26474-0AF9-4533-87F6-4A83ACBB1065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef22f9fa114e4387b275e4bdb3e00349e411201","datavalue":{"value":{"entity-type":"item","numeric-id":2164248,"id":"Q2164248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201bfecb440b7819c4460d6ed5d29227b4683d4f","datavalue":{"value":{"amount":"+0.8196748495101929","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":"Q6487337$0A045E67-DEC4-4611-8A9D-FE48848B01C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb0c6616d1745f1d93685a9149fdaeb54ab56075","datavalue":{"value":{"entity-type":"item","numeric-id":2680985,"id":"Q2680985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfe8c461617f6e295ceb99e356f6841041d6480","datavalue":{"value":{"amount":"+0.7926207780838013","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":"Q6487337$65757FF9-D1FD-4F82-942E-9A40906108B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9d58c522eb3ae8e464ae76bc74118cda7d4a23","datavalue":{"value":{"entity-type":"item","numeric-id":1687536,"id":"Q1687536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b137448976c52570ed07d1875ae5550d93f2d5","datavalue":{"value":{"amount":"+0.7855162024497986","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":"Q6487337$6EA78336-389E-46D8-B6DB-173FDFD914A5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487337$B6F5A8F3-54F6-4C0A-90C4-B16758858C03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Even Faster Conflicts and Lazier Reductions for String Solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Even_Faster_Conflicts_and_Lazier_Reductions_for_String_Solvers"}}}}}