{"entities":{"Q1757837":{"pageid":1768579,"ns":120,"title":"Item:Q1757837","lastrevid":68888586,"modified":"2026-04-13T02:54:38Z","type":"item","id":"Q1757837","labels":{"en":{"language":"en","value":"The inclusion problem for regular expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6102592"}},"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":"Q1757837$AA13CF5B-BD17-4265-98EE-36649D6849BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b5539b79a7e330b801bb10feb30a60e58a61bf0","datavalue":{"value":{"text":"The inclusion problem for regular expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1757837$EF4D02D6-D3CB-4760-80B9-21351BAA7AA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ff05d7016d2e79b3594f347948042a68f543849","datavalue":{"value":"1250.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757837$A0FDF2D8-D267-4468-8D60-C6EDD8C53D21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77baecf4ecbeda8a88438bd0791af4e119d6e5","datavalue":{"value":{"entity-type":"item","numeric-id":269325,"id":"Q269325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$A114BAD8-AA4D-44FD-AD31-DD654ED86358","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$4A8B93F1-2718-4A8E-A06A-8F6625820AEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f5d0b9aef60a4c2a8df4614c30e2b940c8c4a5d","datavalue":{"value":{"time":"+2012-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1757837$1A9669F1-CB9F-44F3-84A1-114FB31E17D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757837$765CF2D4-2464-4925-9F42-027A5D13678A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757837$68083A44-6CA7-4FD9-BC27-7A467A33F200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757837$968F91E9-1C7E-41AB-981B-B324F54FB102","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff7d6ec685e3b5d18b0ae59fb79f382a1c19d8be","datavalue":{"value":"6102592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757837$986790C8-8BB7-4F4D-994E-4160152EAF3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757837$9D79D82D-3E98-4078-8976-189FABFEE8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757837$B73F51E9-5C39-46DE-B16C-FA29449A8D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6afbee5ed4d335f4b5bf59e0403717f9ce724883","datavalue":{"value":"inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757837$829279FD-8388-4A30-AE77-F03048D33B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde61d69fda02c5b230dadc31c27fa085ef9883a","datavalue":{"value":"1-unambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757837$F5D6C415-2D89-4A99-A9CC-7ED57638DF40","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":"Q1757837$9F725DAF-2A9D-4D53-B2D9-168E73774806","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0d40a946cb35b341b53ba2398b1a5591bd88ec2","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2011.12.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1757837$268F7F8A-F621-44B6-B889-8ACC1397C66B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaeea03a0a3b1d7601c9a4cad337d2fc11b63b1a","datavalue":{"value":"W2082983567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757837$6081E61E-3B7B-4194-9563-554B604597B7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"920413f5c07e3f050c7b150dbd2494c9368c4553","datavalue":{"value":"Q59238607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757837$266CF4E2-2EF4-4442-8ED9-802E8B167183","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$F5166EC2-49DE-4FDA-B5B5-6A6CD8DED0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f266f11d0364bdec27a15e27ebdf3a6e748a68","datavalue":{"value":{"entity-type":"item","numeric-id":3264483,"id":"Q3264483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$AF84983B-6D03-46E0-902D-B54F1BBA060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4eb55a9a5e4c111bddeb36cf19bf8e8abc5d737","datavalue":{"value":{"entity-type":"item","numeric-id":1314367,"id":"Q1314367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$69C91F15-3E9B-46BB-8F33-5D0D0CD5A198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd531f8365fa003a82865c413aad5eec7006023","datavalue":{"value":{"entity-type":"item","numeric-id":5906893,"id":"Q5906893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$171A96BD-4FF1-46F2-B51B-8B1092E8BB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7892da6a8f06de43c234cab2c678d227005d3f87","datavalue":{"value":{"entity-type":"item","numeric-id":3287249,"id":"Q3287249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$27739BE2-84EE-4070-9F4C-37CADB0CC906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2cf228e7f6980c3ee8de846819585d642e9839","datavalue":{"value":{"entity-type":"item","numeric-id":5536277,"id":"Q5536277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$610C5B9B-B9B4-4331-A91A-E54DE7A6B4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$69DD509D-E785-4DCD-B668-80C9DD905175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be753f5e40f4b7a03751602e0b99145a8ec2ef00","datavalue":{"value":{"entity-type":"item","numeric-id":5628042,"id":"Q5628042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$61C9D258-FE76-419D-901D-7EDC6552447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b23c3cd32090f31cba74ce0c6fbdb9fddfda9ff","datavalue":{"value":{"entity-type":"item","numeric-id":3564873,"id":"Q3564873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$A88B8FE5-B72A-4261-B62B-59B017F7CC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46ed93e83cdf84bb76c9faf163845eafb7221f7","datavalue":{"value":{"entity-type":"item","numeric-id":5311160,"id":"Q5311160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$19ECD312-9AD6-415E-98D1-3F53E54BC15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9cb3bef68241f8f9f0c4e7f9b3f2a513096502","datavalue":{"value":{"entity-type":"item","numeric-id":391129,"id":"Q391129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$87DF85FB-D980-4B83-94A8-DAD1DC65FAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$2B97D913-5DDE-4EFB-8A44-5996DE28BCB0","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":"Q1757837$090C95BD-18A0-4F1A-A05E-6CE47396875F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0bbf3a7a712378cf892898f2c61acc63f13de0","datavalue":{"value":{"entity-type":"item","numeric-id":5544298,"id":"Q5544298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$2EC284DB-B17E-4449-A068-8AA7445889CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71612a3f41142633f6f7911a61e1539b6ec454c","datavalue":{"value":{"entity-type":"item","numeric-id":5055882,"id":"Q5055882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$D84C5E6D-2360-468B-B515-2AB35E47ACBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fcb609539daa62193cd1d9a9c9d02cc1fe44b47","datavalue":{"value":{"entity-type":"item","numeric-id":5505596,"id":"Q5505596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$F3F65C8C-A4F4-47ED-8A40-6F123C6A594B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757837$6A95F0A3-96FB-4BD4-8886-52ACC7903792","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b049d0a0e8aad2877e36e7c472ee5a69aa06e1a7","datavalue":{"value":"journals/jcss/Hovland12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757837$FA0570B9-1CAB-459E-9D14-18C7E0FA7172","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a4530599cd802714a965d40769a41a6f2ed3cdb","datavalue":{"value":"10.1016/J.JCSS.2011.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757837$C016C57C-DF83-4080-8B25-1B656E4E5D75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c627af15c868387062a9952d0f71e837102786ac","datavalue":{"value":{"entity-type":"item","numeric-id":3564873,"id":"Q3564873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20072330c66a959a6f0b2352b0d49a33d5a9ed1d","datavalue":{"value":{"amount":"+0.9901257753372192","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":"Q1757837$CBFEC45E-B9E7-48CB-B269-8A48B1845169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3b643bd1f6d061a46607231d829e5cb09bc247","datavalue":{"value":{"entity-type":"item","numeric-id":5505596,"id":"Q5505596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ef7c5877b6ec1507d7fb3494c9ea3ee96c3b66","datavalue":{"value":{"amount":"+0.778856098651886","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":"Q1757837$56CBC27C-B0E1-4AB2-9C9C-4C84FD167915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b506b04d91f7cafe36e09f5167e6bd5f27c6f17","datavalue":{"value":{"entity-type":"item","numeric-id":4874801,"id":"Q4874801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b025d96d332e55e9316781a2e872761463aa4d1c","datavalue":{"value":{"amount":"+0.7721814513206482","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":"Q1757837$FC83E1A8-34EE-429A-A197-EB0A134D3807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f4cc656feab6f65aec05ee9b95a31035743ea5","datavalue":{"value":{"entity-type":"item","numeric-id":3073642,"id":"Q3073642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b025d96d332e55e9316781a2e872761463aa4d1c","datavalue":{"value":{"amount":"+0.7721814513206482","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":"Q1757837$9DAB5477-7398-4C60-8AED-CA575EE9D497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d664dc9cf8893654920d4da87b311bf0b2742543","datavalue":{"value":{"entity-type":"item","numeric-id":2978511,"id":"Q2978511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da14a54eb71d030a62a338c052f546ec786eaf69","datavalue":{"value":{"amount":"+0.7646109461784363","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":"Q1757837$0C505A83-1D84-499E-A995-9D149E44A417","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The inclusion problem for regular expressions","badges":[]}}}}}