{"entities":{"Q5168416":{"pageid":7197988,"ns":120,"title":"Item:Q5168416","lastrevid":52035980,"modified":"2026-01-20T19:35:06Z","type":"item","id":"Q5168416","labels":{"en":{"language":"en","value":"Provably shorter regular expressions from finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313574"}},"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":"Q5168416$654AFFB3-C4B9-4AE7-BD94-25EDE5D4D072","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1bbf8853e31ba1c8b3bc656b25312882b83e2f2","datavalue":{"value":{"text":"PROVABLY SHORTER REGULAR EXPRESSIONS FROM FINITE AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168416$582BB33F-3C37-4C98-852F-682740EFB148","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"892b26f464e99ad41fd48f85676b782a48b2cf7a","datavalue":{"value":"1291.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168416$2904BC4B-9577-4138-82F3-0314DB9E3AE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d58f9eae9711ddea1f81fadbfbd9010cf232b655","datavalue":{"value":"10.1142/S0129054113500330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168416$E45620EC-1F22-4DB3-A870-DCBB015DD6F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c4ce63a60e100f650e15b75818f0c7354da4327","datavalue":{"value":{"entity-type":"item","numeric-id":534358,"id":"Q534358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$21A7E6C9-24E3-4AE8-A315-B69CDAF39A89","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":"Q5168416$BD712701-EE09-446C-AA14-CE11A9E9D6B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$F7A3ED40-DF56-4937-9A9C-E7BF644783AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"528fd4e4e62279625069f1dc7f195683c614a8fc","datavalue":{"value":{"time":"+2014-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168416$AFF9E5F9-EF22-4398-A83C-971620D7FC99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168416$6A8FC8B1-B255-44E6-B90F-922AA2D28AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168416$EAB13864-5DB1-414C-A54F-3E700ACA1A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5554b9c844f173ce8299bcb1bb0c8b42f6b4a0be","datavalue":{"value":"05C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168416$59AE8A31-0D73-45CF-8582-C229CC2E9F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168416$9B51CAF7-C35D-4A20-BAB2-73A5E3F6C511","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97c5fb519f0110ca4ab99f718fc221cd5ae383ca","datavalue":{"value":"6313574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168416$AB98D5D2-CDB9-4FEE-9CCA-F5471F1E29AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4369065edf6d8d2db82064ebbf82bc692ed5b6f","datavalue":{"value":"regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168416$D4F22B6C-29D9-4980-BF12-E74125B951C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455764922440b89f5964b0796ad09cebb628cb42","datavalue":{"value":"state elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168416$C1FC6B09-BB83-4A4D-B4A2-D5823F5BC76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc52ea41b1d48b106ba11872afa9c0944737828","datavalue":{"value":"cycle rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168416$2957F661-BE1D-44FA-9AB2-036579309189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab57561e8c95fe21680ade7400a07692c4406a75","datavalue":{"value":"intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168416$C69030A8-39D4-42C4-B138-612A8363FF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6da5ebc8fc8655620f91e101487fe4436f8fa2e","datavalue":{"value":"interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168416$865B7C99-C7F3-4784-90EC-5284C59E54A3","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":"Q5168416$323067AB-B052-444F-A137-56FFFB5B35F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24c1f3abeac7a85848c686b9ccd0c7e0b58d1eb","datavalue":{"value":{"entity-type":"item","numeric-id":1092059,"id":"Q1092059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$E5FED134-95FB-4FFA-8D93-ECA292BA15AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96a660eaa4e8b33419c867ffedb789edb466ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1116705,"id":"Q1116705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$A9E43FD9-F896-4236-833D-C74B378C4152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5549e5a51af06b830af5cab65cab420cc150b7","datavalue":{"value":{"entity-type":"item","numeric-id":4388986,"id":"Q4388986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$892C07FB-B747-48D8-BAAE-58B0B55943DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28f053cd88c9678bab4760d4ebefbb72fef5339","datavalue":{"value":{"entity-type":"item","numeric-id":4327821,"id":"Q4327821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$AA2006D5-B960-4C5F-927A-772AA7CAD7BC","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":"Q5168416$4D58BC64-5D3E-4FB6-8C51-B5CD16BAF776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7957399ea7f6d270319970234bb73770219b10","datavalue":{"value":{"entity-type":"item","numeric-id":2427499,"id":"Q2427499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$838F957E-A8B8-4EB5-8362-852172D34E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc18d91dfbadafffb926bcea387bf2c2268f53f","datavalue":{"value":{"entity-type":"item","numeric-id":2531871,"id":"Q2531871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$DE1AF9C4-258E-4F23-A062-0E37B781334F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b059450b0835d26aa9cabe652b6682ddd4d24982","datavalue":{"value":{"entity-type":"item","numeric-id":1227704,"id":"Q1227704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$9FA94CEE-2D00-4EF9-B120-20815CB430C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e401ff965d2eb2630d56b4dc5431ee73f6ac35","datavalue":{"value":{"entity-type":"item","numeric-id":3624379,"id":"Q3624379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$D33FCF2B-997D-4823-955E-6D40AE1ED6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285a5188e761ae1f622df9fabe01e291580a75aa","datavalue":{"value":{"entity-type":"item","numeric-id":982670,"id":"Q982670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$291B2F9B-A966-46E5-8832-E2A6E1087E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c161911368e95aeec4ffa7e9e9102373a69c553b","datavalue":{"value":{"entity-type":"item","numeric-id":2946652,"id":"Q2946652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$1141988D-2E27-4823-B200-4B69BFFFD06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd64e41383e58b27038dda2995ea96c06c46af4","datavalue":{"value":{"entity-type":"item","numeric-id":1230790,"id":"Q1230790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$D14EEA5C-E6A5-4176-9562-B2182B979C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0cd1efb02e4e5b08bec6e41e4c6084b44b84cae","datavalue":{"value":{"entity-type":"item","numeric-id":868946,"id":"Q868946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$FB0773B7-D871-43FC-8807-649D88DDF424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"677e10984800b2f973ce1edcd5a2f197d9d5da43","datavalue":{"value":{"entity-type":"item","numeric-id":1426009,"id":"Q1426009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$DA4528CD-3F59-4540-B56D-683975ABCE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04de0a6a1db5ffd08902686226cf000192dcf090","datavalue":{"value":{"entity-type":"item","numeric-id":1896351,"id":"Q1896351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$9E6BDB04-875A-4D94-B88E-53CE5F10737D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ff8a807471958a38eef5720fd27b64677c1d24","datavalue":{"value":{"entity-type":"item","numeric-id":3869371,"id":"Q3869371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$098D0D19-1B76-49A9-B8C3-8545AD8BAA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b566012aa7100309ae3d6ac6ec17668692cdf74d","datavalue":{"value":{"entity-type":"item","numeric-id":2493118,"id":"Q2493118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$996B9512-2DAC-498E-9B87-7C67471AD567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef0f89b3d4848285d16b9f024f89d4a5e76a218","datavalue":{"value":{"entity-type":"item","numeric-id":799684,"id":"Q799684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168416$49DBAD44-5AED-48A0-9FDA-0DA141EF0212","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fabecad8d5da7ff0d88b4afa01633fd6314aee1","datavalue":{"value":"https://doi.org/10.1142/s0129054113500330","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168416$0B63A3CD-D08F-41BE-8D4F-E041ADD4AD93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1b9e963b0840d5b8c0c9a0ec09ad0e6e95e4c95","datavalue":{"value":"W2113629662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168416$6543819A-483B-4E9B-923E-82D347E4B587","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f35de52cfff377a56b2a0075548adebb762e25","datavalue":{"value":{"entity-type":"item","numeric-id":3533026,"id":"Q3533026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d471542a8b1f810bd50a16b60632466e8e0d5a0","datavalue":{"value":{"amount":"+0.9141456484794616","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":"Q5168416$9D48B3AF-7AD3-4C7A-8448-118B9EEFC54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e89589c3f83cfadbed6ead5776493272ca04f5","datavalue":{"value":{"entity-type":"item","numeric-id":5458365,"id":"Q5458365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791ed5b4535dc0528de06713f7429f85abdee44f","datavalue":{"value":{"amount":"+0.8507308959960938","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":"Q5168416$E21332F3-0C2A-474A-AF48-50C07EF086C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406614aed4aeff93dc855ae022622de9f480e1f5","datavalue":{"value":{"entity-type":"item","numeric-id":4994933,"id":"Q4994933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f827e1ba7920da7e1c7ff1f875e20a9f359ed4","datavalue":{"value":{"amount":"+0.843261182308197","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":"Q5168416$619866C9-2298-4180-85C5-F623C5546810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695a00a64d9d9fc77b8737df52702b976f429cc7","datavalue":{"value":{"entity-type":"item","numeric-id":2800411,"id":"Q2800411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1faccb11264b926e2654ff27fc6ed3b2bd912d0f","datavalue":{"value":{"amount":"+0.8391578793525696","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":"Q5168416$14F13B10-C5D2-405F-A210-A996D45A81B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6337c5171492c556baf4348ad94ebb1494e9000a","datavalue":{"value":{"entity-type":"item","numeric-id":5047159,"id":"Q5047159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862234b6ce7f66ecc930aa8cdb23ac41efd8ed82","datavalue":{"value":{"amount":"+0.8338873982429504","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":"Q5168416$696C037E-1737-409B-B38E-81FEB0318BB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168416"}}}}}