{"entities":{"Q2408794":{"pageid":2419537,"ns":120,"title":"Item:Q2408794","lastrevid":78853259,"modified":"2026-05-06T12:35:21Z","type":"item","id":"Q2408794","labels":{"en":{"language":"en","value":"On regular expression proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791068"}},"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":"Q2408794$5E3D387C-4FDE-42E6-BE2D-195E74E09342","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7d3a806aaf77280d87a83e8b630f46b0d1b1c07","datavalue":{"value":{"text":"On regular expression proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2408794$9511BA32-4FE4-4417-A644-731AE7DFEE81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0873edd7df7ecde96737475cfedc28fcc8c52601","datavalue":{"value":"1496.03236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408794$413CC765-EC5B-45A0-B837-F6993DF19F06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58180b26595a6efa88e9401afea7272993268775","datavalue":{"value":"10.1007/978-3-319-62809-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408794$3FAF2390-90B7-4D2B-A4A8-8755806B40D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b631793ec8707222fc557c75ec39ecb7f89772e4","datavalue":{"value":{"entity-type":"item","numeric-id":777982,"id":"Q777982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408794$58E8BB64-E87E-4FA9-A5F2-90324308ED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1704a18cfd2f14b89a97fd334fb2dab6ea6630e","datavalue":{"value":{"entity-type":"item","numeric-id":198230,"id":"Q198230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408794$C205ECE7-5192-4D76-9D7A-5A4C6B9FD4BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-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":"Q2408794$863AFF68-13D8-4383-A980-3F4F314AD1AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408794$9996E006-174B-4EE9-A40E-6E9A81C6D8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408794$47AA8972-0A11-4DF1-BF7C-C135E594517A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a53c773cc2425eea31102ad1dd1466316f0f02b","datavalue":{"value":"6791068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408794$E6031036-AAF1-4CC4-9271-F1AA87BA0C8D","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":"Q2408794$D6BFB752-8D31-4AFF-95A8-71C963EEB1DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31afd4b7eeec117102544200d3f310325cc9f069","datavalue":{"value":"https://doi.org/10.1007/978-3-319-62809-7_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2408794$E645B850-9C41-40C9-B20F-4F067D110192","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20f8472c0f6213636816bda5a945e401ca9dae98","datavalue":{"value":"W2737450122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408794$C41A1259-5E9F-46B7-A6C8-65996AE2AE63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3e395de17fd4363de1a91973e01f6103e1c10a","datavalue":{"value":{"entity-type":"item","numeric-id":2914749,"id":"Q2914749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60173c63bdbd969566f6307a828135c7818bf0b","datavalue":{"value":{"amount":"+0.7691629528999329","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":"Q2408794$039DF66C-4A5C-44B7-9632-F008BC1371B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fdf3320fa6cf78412537f4334ce78d06a2213ee","datavalue":{"value":{"entity-type":"item","numeric-id":2909093,"id":"Q2909093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3d3885a40e01f13c6958124b4e597badc12c59","datavalue":{"value":{"amount":"+0.7670536637306213","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":"Q2408794$24D2466B-2B99-4864-A0C3-75B71881E120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee061dd44ff555fa6875a972ba94c0f4eb636f79","datavalue":{"value":{"entity-type":"item","numeric-id":3584879,"id":"Q3584879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b955900d8e749af3f407ba26f2d0db761e61573","datavalue":{"value":{"amount":"+0.7660214304924011","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":"Q2408794$68506BF4-FC60-46FE-B6C4-141BC3004416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34b4c412db71887d3193ff47876fafec99c4e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a9af81ef829a6c7885dd42c7f1632507538549","datavalue":{"value":{"amount":"+0.7552602291107178","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":"Q2408794$8582EA4D-4C79-4D44-98F7-3F534124BB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32b7ecac9121fd1f3086abef4e87b9f022bc8d9","datavalue":{"value":{"entity-type":"item","numeric-id":1694471,"id":"Q1694471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584c5968db9ba40b778098c5fefd325cc67cba55","datavalue":{"value":{"amount":"+0.7493748068809509","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":"Q2408794$ADF2571C-87F4-4859-AC4A-A43D1C5D754D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On regular expression proof complexity","badges":[]}}}}}