{"entities":{"Q845710":{"pageid":847558,"ns":120,"title":"Item:Q845710","lastrevid":64779084,"modified":"2026-04-11T22:10:18Z","type":"item","id":"Q845710","labels":{"en":{"language":"en","value":"On obtaining the Boyer-Moore string-matching algorithm by partial evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664477"}},"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":"Q845710$08FFD9B0-76EB-417A-B0BE-2C2635D8E5BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ed378963949aa4ee4215b8bf4d950a9196152f1","datavalue":{"value":{"text":"On obtaining the Boyer-Moore string-matching algorithm by partial evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845710$972D3978-E52C-409E-8A75-FC86123D7633","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb83ea1f76b7f1ff4891770c8d30b444b070a012","datavalue":{"value":"1185.68281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845710$C807AEF1-B827-4D1F-9A89-B7E40074B6D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7ebf08f82ce515e0740dc978f18c660e5f4735","datavalue":{"value":{"entity-type":"item","numeric-id":232933,"id":"Q232933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845710$15A5FE99-2BA3-4759-8248-39C39187791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbadaaf03b072e0aac197bee34727b1a9c65a34b","datavalue":{"value":{"entity-type":"item","numeric-id":845709,"id":"Q845709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845710$D0197566-E5BB-4E5D-B192-4ACECF15E310","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":"Q845710$4FB268CE-5FCE-40BE-9323-6CBEDC87CEBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845710$1E5248C4-1B4A-4C5B-8004-FB84C4C098BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845710$41EAF090-40FF-4F1F-A76B-4E45B6264438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845710$12E93423-DAA1-4786-8C9C-B668317509CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845710$3CB53BCA-7183-47A8-BB20-0D8BA10346C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f20fe0307cc761c6366175ee0cddcaaf5158da0","datavalue":{"value":"5664477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845710$59B64C0F-8B05-407D-A270-34CFF5527EB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$FFF825B3-6A58-438E-9F50-085BB65089C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d635acc2a82acab8aa3ca50c7a81ac83a53fa46","datavalue":{"value":"binding-time improvement","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$4BCD9416-372D-4BFA-BA4D-C22D7706AB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6475027c9c7ca265d1cf512516f90e644762ebbe","datavalue":{"value":"bounded static variation","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$FBCF129F-A2C2-473F-9885-E85A23C99485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22110bf75630fa4b557966144181b13fc3819fb0","datavalue":{"value":"horspool string-matching algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$997BF76C-A42B-4592-B273-0B4CBECF6A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f92bd177ef1a98c20381d32d45b8778c3a5e75d","datavalue":{"value":"Boyer-Moore string-matching algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$CB35E9ED-6DD8-430A-B60E-EA3D1AB6D2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$C2E37BE3-8B68-455D-97B5-8F32E26337A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$6B388233-7844-4B66-A7A3-EEDEBC1E5426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$4BB690D9-1960-4E02-B46E-A9942FBEFECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1bd7465da93426ea77250e10d8333e8ed59b611","datavalue":{"value":"design of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$2C0E9E40-3124-4F53-8D33-45298C98C584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$993EE672-3EA9-4C56-B3EC-E2A87CF454CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$67F699E2-9857-40F2-A21A-B29CAB34824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$29532FA1-B2DC-41C1-A50E-08CF3CB26EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$DDAA65D7-DFA9-458C-A6FF-D799836601BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$FBE77A05-C515-45D9-B1D6-B91F6655271F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e6e6153182c93405e31d7642ac5dbb386e7edc","datavalue":{"value":"software design and implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$43D348E0-674B-4763-834C-43E5CC32DCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q845710$3795794B-53CE-47CF-BEC4-2C956533EA90","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":"Q845710$D0BD5B55-0DE6-4D19-A5D8-2AF429229FDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0607d91037e4acc1859ac895828c95a865d80f3b","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q845710$B3B06A36-380B-455D-849C-A069D2988713","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"751acf0495769afc815135a5828e64bf9a144829","datavalue":{"value":"W2069820880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845710$288577A5-C121-42A4-B6DD-D7FF1DCFEA8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e620c2e4568fe2bc20bfeb0484b57f9e24b76e","datavalue":{"value":{"entity-type":"item","numeric-id":4414737,"id":"Q4414737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845710$CA3F4EAA-813E-4492-8CD1-F529EC0B3C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e200c4f897ac4cb0c5ae9f1bab6477c1d7e3dc","datavalue":{"value":{"entity-type":"item","numeric-id":3090391,"id":"Q3090391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845710$817BC193-06AE-4AB3-9996-777C64B81F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3112e2a0d4ed99cf157b04e24b278802f98ec00","datavalue":{"value":{"entity-type":"item","numeric-id":1014430,"id":"Q1014430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845710$FF8743BD-5FA4-429E-926E-FEEE1F7F9F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845710$8B468DA2-2BFF-433B-BC23-99E320E35499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7f741f9b1e3426d597355d63b43bdf762c36a","datavalue":{"value":{"entity-type":"item","numeric-id":4148937,"id":"Q4148937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845710$C7BD54CC-253F-4700-BAAA-CCD4AC200C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5700bddd5b497615cb8c41e6f2bbf5fb3735905","datavalue":{"value":{"entity-type":"item","numeric-id":4339016,"id":"Q4339016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845710$C0BDD57D-5D9C-417B-8B6A-E5A40A6CCCC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e266b7dcdb65cd29892f4a8cae4488bda6913066","datavalue":{"value":"10.1016/J.IPL.2006.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845710$F4F793A4-A812-4A74-8591-906D5BB4ED94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a8fa80e0b22172bb6e373814a0ff50641c27d3","datavalue":{"value":{"entity-type":"item","numeric-id":1014430,"id":"Q1014430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caa9338221454f8cd4274d4c302110fe941dcd88","datavalue":{"value":{"amount":"+0.8700348734855652","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":"Q845710$D5764139-3AC9-401A-A195-B4D0D7F938EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3f4fe2f6656d9bf71707e8b86a5de1c906f3e6","datavalue":{"value":{"entity-type":"item","numeric-id":4547548,"id":"Q4547548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8459c06f1b8d3c0a0077c6a3cb6b109f2f274c2e","datavalue":{"value":{"amount":"+0.8276680707931519","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":"Q845710$66FE87CA-CFB9-4002-940E-37D7EAE0CB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1470b1e8ef74ac4ccbb4cb45fca6eba613970b1c","datavalue":{"value":{"entity-type":"item","numeric-id":4414737,"id":"Q4414737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed84a1ac83755e1db1acf38b96b7e240f60ec314","datavalue":{"value":{"amount":"+0.8163824081420898","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":"Q845710$312F12FC-AC08-4DC5-809B-C219CABE1968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8efcd2a39ba12e7c49c1c706f5e7314bb92eb74e","datavalue":{"value":{"entity-type":"item","numeric-id":4285908,"id":"Q4285908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b39cd5b8f4eae543e6328fd3c8ea678618bf412","datavalue":{"value":{"amount":"+0.789656400680542","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":"Q845710$36DE207E-ADD8-4ACE-9C37-4071013D41AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fe951bdbd4c6bc3307a1b4b62151255b5123959","datavalue":{"value":{"entity-type":"item","numeric-id":1336957,"id":"Q1336957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b0a8b35bbfb1058caa5c7fb49e4f6a298a3326","datavalue":{"value":{"amount":"+0.7872744798660278","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":"Q845710$F7CCFAEB-75E3-431F-8F12-EA7665188C0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On obtaining the Boyer-Moore string-matching algorithm by partial evaluation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_obtaining_the_Boyer-Moore_string-matching_algorithm_by_partial_evaluation"}}}}}