{"entities":{"Q5016216":{"pageid":7045793,"ns":120,"title":"Item:Q5016216","lastrevid":54176342,"modified":"2026-01-26T10:03:35Z","type":"item","id":"Q5016216","labels":{"en":{"language":"en","value":"Proof-directed program transformation: a functional account of efficient regular expression matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7443770"}},"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":"Q5016216$C73EE7F0-9883-49D3-8287-69D7B028EC35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82779879ecd0c111cd7ff5bc32f7d405001951c9","datavalue":{"value":{"text":"Proof-directed program transformation: A functional account of efficient regular expression matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5016216$2F3595F2-FFDD-4CBD-B845-B4994C92CBAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b7b148bd58aeadb9a2602374a2baa76cea9ead6","datavalue":{"value":"10.1017/S0956796820000295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016216$37187AEB-6DB5-41D5-81ED-2339C4D72071","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28211cb415fd8eb70c4bc98df367168868aeff5d","datavalue":{"value":{"entity-type":"item","numeric-id":879353,"id":"Q879353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$0FA916D9-DA5A-4E0E-A5E8-03930E1921D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$BD513F81-A150-4D73-9C1C-BE456D8317F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc2f398aa9daa1fa90afc5483e8dfc2d20856f45","datavalue":{"value":{"time":"+2021-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5016216$80170BBE-BC4E-4830-97E5-8BFC9010AC3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016216$52ACF473-1BA4-40AF-9AF9-E81230F2348B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b29e6dcc6f7b2798a8a2cb230a294c883fe44e23","datavalue":{"value":"7443770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016216$505CA508-4985-4D6D-97E6-C7CE0913D70C","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":"Q5016216$C9750C83-55F6-45CF-8A2F-65696D627CE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf72cd39e1a458db54e84dc9cd6dc2728e5f092","datavalue":{"value":{"entity-type":"item","numeric-id":580983,"id":"Q580983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$ADE168F3-DE78-4AC6-AB93-3144E48A79C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$6982255E-C6CF-4233-9934-00FFA6F4F9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed46804550d0fccc2a27111bc243211e58987e2","datavalue":{"value":{"entity-type":"item","numeric-id":5466499,"id":"Q5466499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$02FCD182-553D-4CE7-81C4-C4C0E5D4A25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"588be12eca3c480fb7d926b7879e72a3b2874962","datavalue":{"value":{"entity-type":"item","numeric-id":1126263,"id":"Q1126263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$FEC20194-D93B-4DEC-998C-58231380CB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775f848c07e2910ddc8d27e87a054f309a1f89a4","datavalue":{"value":{"entity-type":"item","numeric-id":4943360,"id":"Q4943360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$3CB9A74D-1B46-4CE7-83A7-C882CEC3AF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$6984A4C1-D633-4D54-A315-C93F7B0C54E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$92F2234D-3AF7-454E-8DCF-28564E9C7150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$C89505C3-DAF9-41CE-B96F-4ECC7A3D6BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6c95b6912f96f545c6ba61ec5be5438844811","datavalue":{"value":{"entity-type":"item","numeric-id":4265595,"id":"Q4265595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$C6EEB8C2-1ED4-48C4-964F-C9FE2B96D9BC","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":"Q5016216$C278623D-3EA8-4B82-81B2-CA17ED2F4A0E","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":"Q5016216$125048EF-0E6F-4670-949D-C1095A87F66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d29e3279e73970e5bb5dc3938ba1f092e8a92f6","datavalue":{"value":{"entity-type":"item","numeric-id":3004600,"id":"Q3004600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$C642B144-2A65-4013-9C6D-9808154DA4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae6bc8f1db4896eaf2d7f33a78e86ea3e68692d","datavalue":{"value":{"entity-type":"item","numeric-id":3616446,"id":"Q3616446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$E14DE8CF-1934-44D8-923D-B846314C7CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$F312E1A8-7F87-47E2-A868-565DE5BF5BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$403733F7-F916-4032-B893-84E536469F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$67AA7D53-80AA-4D36-A2AE-3EDD1BAC5D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec5ef4f1495fb8fdcdb6cdd4c649b62359b1f6a2","datavalue":{"value":{"entity-type":"item","numeric-id":3426132,"id":"Q3426132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016216$1D99B4C7-5274-469E-B260-CBE1AE8DCB9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94aa03f823ef79f34af4a628ade6e8fa6fabd58c","datavalue":{"value":"https://doi.org/10.1017/s0956796820000295","type":"string"},"datatype":"url"},"type":"statement","id":"Q5016216$E4F0D5BB-85C6-4EAD-93E7-8B3948709716","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"140f4b98bd8387ee642b1a90b308695653f869f2","datavalue":{"value":"W3165564340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016216$527D1C6F-8A97-4B0C-B93D-358D3F988F59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7b3cb9a0420684c0aef783bb598a63735aa066","datavalue":{"value":{"entity-type":"item","numeric-id":5176954,"id":"Q5176954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a31adc8e506103faba4741ad37ef946c7cbd82b6","datavalue":{"value":{"amount":"+0.8026098012924194","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":"Q5016216$23AC4F12-097B-48C3-86F4-AB8DF7EEC4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0e39f68840c60cd1288cc90a854401c5291c21","datavalue":{"value":{"entity-type":"item","numeric-id":4965823,"id":"Q4965823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52d0b2cbd128e4a998a5965b08eff6737349c00","datavalue":{"value":{"amount":"+0.7754698991775513","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":"Q5016216$2A1679D4-AD72-4248-AE0E-17F48B4A8165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f5d9b8603eb63d96d4d33493253625a6e77e40c","datavalue":{"value":{"entity-type":"item","numeric-id":420836,"id":"Q420836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b1dc7c048403a34b65e3479bd7cfcc9fea3c16","datavalue":{"value":{"amount":"+0.7696635127067566","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":"Q5016216$D79E59E3-875B-40F4-9015-405EB1C24314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c98b5884322c739a44b52cd8c2901b7a673581","datavalue":{"value":{"entity-type":"item","numeric-id":3616446,"id":"Q3616446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9c2c2bbee1569b370a0c6a490aa283af8807f7","datavalue":{"value":{"amount":"+0.7684113383293152","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":"Q5016216$E2176280-B09C-4AD3-A21E-D9508124F863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5573dca64f6f00b7f8b8cb02daa84c85497fe0c","datavalue":{"value":{"entity-type":"item","numeric-id":1391526,"id":"Q1391526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf37d06e6761493eb2ba6eef0194a49508de0a6d","datavalue":{"value":{"amount":"+0.7512162923812866","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":"Q5016216$4911CCB3-CA71-4B60-990E-26FFCC695281","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5016216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5016216"}}}}}