{"entities":{"Q2829247":{"pageid":2839985,"ns":120,"title":"Item:Q2829247","lastrevid":83658602,"modified":"2026-05-07T09:45:41Z","type":"item","id":"Q2829247","labels":{"en":{"language":"en","value":"POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644737"}},"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":"Q2829247$C770597B-B5F3-487F-8E25-0091EFFA2222","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78c8eb7fcc35150c43fa3217d81637435edda42b","datavalue":{"value":{"text":"POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829247$68383619-3099-4516-A623-70E1B98488F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"829c4ad183d03cbaf2369c0907eccee89a0a94b6","datavalue":{"value":"1478.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829247$F9227FEF-B1BE-47FF-BB03-7517BDB92C28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db3ae62cf90cf3839ce9f804586ebbec1dd7a487","datavalue":{"value":"10.1007/978-3-319-43144-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829247$5A4774EE-B713-4301-840A-83997046EF56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"816fa4f50489e6df9e6f4f01d3769dbabb1b59ed","datavalue":{"value":{"entity-type":"item","numeric-id":2829246,"id":"Q2829246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$90A60D83-B046-4872-9576-7B55087AF9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$809CF127-BD2A-4012-AE05-4B870301511E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$79122BAA-29CD-4ABA-8566-5A6F4A94625D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$EB95AAE9-D3D7-4C0F-B951-A72107D2358E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829247$3C999045-C7EE-4634-87D9-8B9C564286D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45bd49d34e39d3ca1a2d861351bf2fdbe42f3831","datavalue":{"value":"http://hdl.handle.net/10023/9472","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829247$66027219-3DE7-4B4F-95E9-E71393BD1DB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829247$D14C55BF-E3C1-4303-8F96-9E3D37E5EEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829247$2490FC2C-0573-402C-9385-29686B93697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829247$2326A6B6-7A83-47EB-A48B-1E61DB940B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829247$4973CCFE-AE38-4A7F-9B06-BF676A0359CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea4fd5a8a9b2381e584ece5299534a87333ea987","datavalue":{"value":"6644737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829247$21BFA0E8-2A95-40C6-9174-081F843A08DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea1b0f8a5362d307f573679460b4d2526f3c0b7","datavalue":{"value":"POSIX matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829247$5F9094E9-5945-44FD-9181-AE8F42078FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e946d3dbdc8b1bd5e189f43ab1dd14e1060e6b2","datavalue":{"value":"derivatives of regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829247$FBFE0AE1-2708-465C-82FB-E192963DADC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829247$90E20832-01DB-4EB5-8494-447AEFE7B1B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$155E936D-552C-41C8-A90F-FB93845C1E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa29bf2151fbe16d38e398c515ac9a9dd0ab16c","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$F5B80D1C-6977-40AE-8009-9A556BA506B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$F3B93869-F36C-48CF-9C3B-B195AFCFCE88","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":"Q2829247$6F7817AF-E334-4C47-91B6-29CE54BEC187","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c40dc140f731a8f8450b8ed4eac199ae0290c640","datavalue":{"value":"W2481729626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829247$9D3B8996-CF09-4E53-A219-0CB4B7C75427","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"140f50d3183631c0312c581aab36007a8eddb992","datavalue":{"value":{"entity-type":"item","numeric-id":2829247,"id":"Q2829247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$0B5B2A4D-1203-4811-ABED-7CA71FBAA08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$3AE93AE5-27CE-41A6-8B6C-DB339DDE82A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8ab7ec9757a93c7f286e3990e34bbe241032a6","datavalue":{"value":{"entity-type":"item","numeric-id":3100207,"id":"Q3100207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$4E6D2749-6166-4CCA-A0FA-DEFBAFBFD1A7","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":"Q2829247$7AEA91DF-708A-46F0-817B-6AE5193F7974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$0AD64C01-7120-434E-9177-2C6C219782BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351df2a8b1173f3d3a83aebab494a1f900b8f514","datavalue":{"value":{"entity-type":"item","numeric-id":1029815,"id":"Q1029815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$726E674C-24D4-4C34-8A1C-75FC2A8B54C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74144094986fe94859fa74a5b7cfa704dd69a15d","datavalue":{"value":{"entity-type":"item","numeric-id":5170712,"id":"Q5170712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829247$0DBFB65D-6561-4C9B-88BA-21ABD38B265C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b11ee6738d238a34b4eb3f1c69395a09db298a9","datavalue":{"value":{"entity-type":"item","numeric-id":6111525,"id":"Q6111525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8b5af03f550e8780f50effd7d4515511138acf","datavalue":{"value":{"amount":"+0.9560796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829247$CFE15021-9175-4EC5-8D27-FB7E3B3E9FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689313e6cb2123895f315b0000b4c38747bd6f07","datavalue":{"value":{"entity-type":"item","numeric-id":5170712,"id":"Q5170712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea9f8311a304817afdedfadb03b586b6ccb6ea0","datavalue":{"value":{"amount":"+0.9158646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829247$964C7924-6BDE-40EB-A722-0F3F1B3F88B2","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":"e2bf2583e5f04b527c2d79ef57a210d45be3c330","datavalue":{"value":{"amount":"+0.83931196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829247$AC1ACFB2-1907-41D5-8981-1E935B023E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d33c779f2897043b80cda43b759c7772613587","datavalue":{"value":{"entity-type":"item","numeric-id":1623122,"id":"Q1623122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929a9eda23b5aedef5fbbf72303d5bfc11e4a962","datavalue":{"value":{"amount":"+0.8221011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829247$E2113752-02CF-4B90-99FC-37D2E41F775E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88c2085cfd9cc40dd241029416a77b995484d11","datavalue":{"value":{"entity-type":"item","numeric-id":2220787,"id":"Q2220787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93596a22958870e4222c8bfbed6f81f3e155b529","datavalue":{"value":{"amount":"+0.8180554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829247$04C7BF52-7342-419F-8AC2-FAAEFD8D61CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9385db25f308dae29c81d44f2bb0b8503bd8cb89","datavalue":{"value":{"entity-type":"item","numeric-id":2891325,"id":"Q2891325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92c99b7031c88451b01461fb24d519e5960df53","datavalue":{"value":{"amount":"+0.80768174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829247$6463E031-5B97-4421-A098-FAFDCB69C081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa8263d3df1fec81547811bae43a31b1b76a046","datavalue":{"value":{"entity-type":"item","numeric-id":3004578,"id":"Q3004578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"638ba20d61534f0881ea82527c65514455c7e466","datavalue":{"value":{"amount":"+0.80535126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829247$78025B1B-2271-4DE1-A36C-8DD6EF9AFB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad88b8d8dc8105a408a20d9a3903468e6f1cc44","datavalue":{"value":{"entity-type":"item","numeric-id":2164731,"id":"Q2164731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717662b06a312fd47615b4e5b050b0307d221ccd","datavalue":{"value":{"amount":"+0.8051167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829247$FCBBA1EA-9DDB-4916-A7BC-838DC48B3708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1609490339e5caba73e39c915d4e6214290cbde","datavalue":{"value":{"entity-type":"item","numeric-id":4910458,"id":"Q4910458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4ed0c12fdaf3541c681f48b437f724bd5630ed","datavalue":{"value":{"amount":"+0.803336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829247$4642BF7F-D8DD-4BD8-AD11-FA1B23A2C9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cfd03dcb596b090e3cfab9cb8bbcd15b80a0d11","datavalue":{"value":{"entity-type":"item","numeric-id":2805438,"id":"Q2805438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4ed0c12fdaf3541c681f48b437f724bd5630ed","datavalue":{"value":{"amount":"+0.803336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829247$014456C6-D562-4157-B2C0-7EFCD1A432F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)","badges":[]}}}}}