{"entities":{"Q1822923":{"pageid":1833665,"ns":120,"title":"Item:Q1822923","lastrevid":71369673,"modified":"2026-04-13T21:48:20Z","type":"item","id":"Q1822923","labels":{"en":{"language":"en","value":"Formal derivation of a pattern matching algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4113937"}},"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":"Q1822923$9D5E5CCA-8DD8-4BCC-99AB-C1E05047B095","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d16217b43691a79ed02eec8189e31557be8ecb99","datavalue":{"value":{"text":"Formal derivation of a pattern matching algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822923$047BD758-4613-40F2-B1FF-2112E9D03DCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c6b9951fe1c3892b32b9d7e9f1e101104fb942d","datavalue":{"value":"0679.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822923$7713214A-99C8-4B8D-BA03-52D89FEF0F3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a02861fffe43545996b6d7a8b96d0d60e065f974","datavalue":{"value":"10.1016/0167-6423(89)90036-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822923$93B2C6AB-80EE-47DB-8B57-5A77EAC2B64E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822923$1F3264B3-83BD-4B15-ACA4-9AFB5BDE8BFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1822923$12DEB91E-7BB4-4124-98B5-5451CE3EB8EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dcc20c9d62b62b3aa91ba17dcc352ac8f5c0f92f","datavalue":{"value":"The functional version of the Knuth-Morris-Pratt pattern matching algorithm is formally derived using the Bird's calculus of lists. The derivation process is thoroughly explained, various solving strategies are discussed, the paper is self-contained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822923$985C7314-27E9-45F9-AC73-DEAA08B52A7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822923$F480D7C8-45F1-4E38-924D-303C9155FA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822923$EAF24E37-D2A4-40A0-AE93-E90EA6B3781F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822923$F2F93983-FBC1-459C-8758-767F98D3A8C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f775c4c3f98ac488644f21bc792891c49b1d5ab8","datavalue":{"value":"4113937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822923$F9EBA3EC-EA6C-4B4B-9BC7-6994F08DEEDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822923$8104FC7E-ABA5-4DBD-B75E-617C87B2669B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822923$F5046FFC-7AF9-46C0-B6C3-2FBD1EE4C02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822923$707860EC-0459-477F-8A6E-EBD3BAEE5666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b1b57278dbfe0191664931a2598a7540b5af04","datavalue":{"value":"lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822923$410DAE13-6BD7-4981-A50B-C4FDF78B825E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2800799f802e165d78e062056b991744f66d3a6a","datavalue":{"value":{"entity-type":"item","numeric-id":287110,"id":"Q287110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822923$ED214C03-25C1-4A20-92A2-E7369B94C53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3da5af6d886e65f139e3efab93130a6bb9396a","datavalue":{"value":{"entity-type":"item","numeric-id":265823,"id":"Q265823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822923$068EE2A4-D35C-4799-9B9F-7DF0E67ABFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ced667795772f0dfb3f7542473eb047b83dec62","datavalue":{"value":{"entity-type":"item","numeric-id":1330450,"id":"Q1330450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822923$70EA2DCC-AAD3-4FCB-9458-A87424B7461E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25306ed43a658ea19c64035347a11c5c173761c0","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822923$518668BE-C4AC-4238-83FB-0F5DCE7A600E","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":"Q1822923$50CCCC01-74B1-4990-B1F0-B6008756789C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"870a220e021bbb8de4995a7bec36319ef51dd43c","datavalue":{"value":"https://doi.org/10.1016/0167-6423(89)90036-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822923$2126300D-3557-4A2E-843B-3749CBC906F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b84b2b2ba1f6682c3328470a1e30398f80e5ee86","datavalue":{"value":"W2020938542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822923$3FB29DBB-7369-40F4-B49A-131F7E5673CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aba70e459d6c28cb97692508dc52fdcddbb1cce","datavalue":{"value":{"entity-type":"item","numeric-id":911750,"id":"Q911750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ebfa7849982843e7cfad2f0ceb6a76c8c65945","datavalue":{"value":{"amount":"+0.7792866230010986","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":"Q1822923$B2AC45F7-9F97-4F47-B8E1-ACDC1C5FD322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421f73f5a1f1b8435b223db798dcbd3c47afe511","datavalue":{"value":{"entity-type":"item","numeric-id":3985358,"id":"Q3985358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a438333e5ddaa642df9ded50b73b360312fa8f","datavalue":{"value":{"amount":"+0.7578830718994141","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":"Q1822923$E23518AB-C5E7-417F-B939-24A69E05F7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c1ae684a39046a4a10d1e844bbad93e0c2e481","datavalue":{"value":{"entity-type":"item","numeric-id":1822928,"id":"Q1822928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938fe4859a6ddb4094e8e08e0349dfaf6bf05166","datavalue":{"value":{"amount":"+0.7377610802650452","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":"Q1822923$BDDA0512-34F0-4855-8B16-82E2B4B2B17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348301ef5c2d068cfb18d9f0b4887e159c550e8d","datavalue":{"value":{"entity-type":"item","numeric-id":1007539,"id":"Q1007539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1129237792a755ba62a02b63b5b7bda5c20e03","datavalue":{"value":{"amount":"+0.7210932374000549","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":"Q1822923$826C3452-C46F-4215-BD94-8E4EC4FE97A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d630c01598c1a86a09e91f2af12956e60baa4b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3773379,"id":"Q3773379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997eeea3a9fe9d6f694d097e128477a972f453fe","datavalue":{"value":{"amount":"+0.6927632093429565","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":"Q1822923$C0075FD7-C082-4C43-8A2C-855D054348D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal derivation of a pattern matching algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_derivation_of_a_pattern_matching_algorithm"}}}}}