{"entities":{"Q2381504":{"pageid":2392247,"ns":120,"title":"Item:Q2381504","lastrevid":72664971,"modified":"2026-04-14T06:23:08Z","type":"item","id":"Q2381504","labels":{"en":{"language":"en","value":"Lower bound technique for length-reducing automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5191626"}},"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":"Q2381504$9F2AA5D2-6CE0-4EAA-8C51-213649679849","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd8992e2fae1aab7c065f526d0a270c0424a362b","datavalue":{"value":{"text":"Lower bound technique for length-reducing automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2381504$CEB6518F-1E03-4C53-A9E5-661F72C53C25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9029c48987e9ccaac92292048ec8233d637cc30","datavalue":{"value":"1127.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381504$C1463256-F77D-4990-98F7-528750DA8F54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4a3cc0bfe801f09cbd0937faf566970ccae56d7","datavalue":{"value":{"entity-type":"item","numeric-id":1102113,"id":"Q1102113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$926D05DA-4EF2-4091-8CE4-3C3951875094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183eeea1fb14cc6278e62652c7f58f9500a042e5","datavalue":{"value":{"entity-type":"item","numeric-id":841616,"id":"Q841616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$9D3630B6-9805-4442-92AE-7324154ABB16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$616DBDFF-72C7-4207-B8A6-98885DE41940","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3427f56d08c951df09e6b7c5aba2137c7bb94a11","datavalue":{"value":{"time":"+2007-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2381504$4BD5ABBF-8B9D-4B5B-95F1-81401F37DEFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381504$C7B4A411-D8C6-43AC-A644-0A94973C79D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381504$4901F655-0C67-468D-99EB-7BAFD18E29D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381504$DEACAD98-2D31-4913-BD1A-410BAF0E32D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ef276b76c1602cc3e0fa29b3af0455829e905f5","datavalue":{"value":"5191626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381504$AE1AF28D-9143-42E4-859E-B049C3452A38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b34537789f72b3068f25263769e92d0ac7753f9c","datavalue":{"value":"Automata and formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381504$C022F33A-A259-42A0-AF63-1B558E0D589A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381504$47466225-1F19-4C0D-8BB2-4FEF70E03C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381504$46A22DA5-A670-40F2-A816-F227B11B8B8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"316558a5783988dd8608d58878b1c6d14dd219e1","datavalue":{"value":{"entity-type":"item","numeric-id":15487,"id":"Q15487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$54AB5966-CCF3-4FBD-A719-C38CACD6547C","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":"Q2381504$593EFA5B-C092-453F-996E-99F6A404FD42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"884cd1bd30cd0e23ac88d6647dd63b4b71901f07","datavalue":{"value":"https://doi.org/10.1016/j.ic.2007.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2381504$50DF3626-7AD2-479C-A780-2C400D3AE60D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7cbf171f2131ded4016fdca1aea0b4a909de04a","datavalue":{"value":"W2074518392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381504$3BF2412E-2B7E-4D67-827C-CE7742AA34FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75e239cea56e2077bac03f57b15fd3ee2d95239","datavalue":{"value":{"entity-type":"item","numeric-id":1401181,"id":"Q1401181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$35E92F43-2BB6-4AFA-B9D9-33C1D6FDB2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e32a30a9335faaa2de0f370151c3ae34f92684","datavalue":{"value":{"entity-type":"item","numeric-id":5204308,"id":"Q5204308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$E50BAE14-0A12-4C09-AF48-8FCCED3D2CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5750a19ab91cb06b8923f3608dc7b9e28dfb4b4","datavalue":{"value":{"entity-type":"item","numeric-id":4942630,"id":"Q4942630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$7224EE07-8D03-411C-87AF-9C62AFA18163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a4c0f576c2e98ed7f1726c78894d24b07d8751","datavalue":{"value":{"entity-type":"item","numeric-id":1383712,"id":"Q1383712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$304ACAE4-3346-4CFA-B96E-90DACEBEAD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf0e41b78de21ea3bb50e6ae49709b5465d5777","datavalue":{"value":{"entity-type":"item","numeric-id":3260847,"id":"Q3260847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$D8155725-8E76-4447-979D-6C2EE6BA36BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bbf6c88ddc151edbe35ad4de993b4d6346faa09","datavalue":{"value":{"entity-type":"item","numeric-id":4763798,"id":"Q4763798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$CEC26472-9ECD-4954-8ED6-2159DF3B9943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138cce00a9725f330453af8fe64208cd8e005cf6","datavalue":{"value":{"entity-type":"item","numeric-id":579948,"id":"Q579948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$39303741-10E3-42C4-994E-1C2DC3A02606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2e551e57e8d9990938c53781c2eeb2d81106cdc","datavalue":{"value":{"entity-type":"item","numeric-id":5518372,"id":"Q5518372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$C85AD008-D2B3-406D-9FFC-A1452C60053A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$FFCB7AF0-1FCF-4CED-8E0B-B551CFED5FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1286465ab883429f8baa5282944e5c12f9a78f","datavalue":{"value":{"entity-type":"item","numeric-id":4452073,"id":"Q4452073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$6CF35EE2-5BCF-4438-BDAF-BFC4C7CCBBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b2ee9aeb13022271348a219cb92ddd34401177","datavalue":{"value":{"entity-type":"item","numeric-id":4449198,"id":"Q4449198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$5FF7F808-A04D-48AD-9EBF-3D806AC0B7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03eab359b757c307f9e5a749d8776a6698da002c","datavalue":{"value":{"entity-type":"item","numeric-id":5492937,"id":"Q5492937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$5EC58F25-0B05-4B3D-B248-C658F54180DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986c39c57b43b173fc235a4f56d41b69f3881922","datavalue":{"value":{"entity-type":"item","numeric-id":3617062,"id":"Q3617062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$C08D847D-C20A-4E75-B4ED-C9802F65F87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02b65f4c6cf7147faacd91ecbeceae962bc37d6","datavalue":{"value":{"entity-type":"item","numeric-id":5756663,"id":"Q5756663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$FA18CB3D-F1FA-483F-8E67-314DA4EF6950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10aedfd61b88fdde38812b39ec255747db86ef91","datavalue":{"value":{"entity-type":"item","numeric-id":4737153,"id":"Q4737153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$AF9C9D7A-277B-4A94-8B8D-FD283EFFED29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47dac2d40343576b5b3d049703e489ef60d7fee7","datavalue":{"value":{"entity-type":"item","numeric-id":4023358,"id":"Q4023358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$3437F4CD-8FC0-4495-B278-7B5221BC4861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"968ed2bb9673d23fe5adc9089490f47820735d88","datavalue":{"value":{"entity-type":"item","numeric-id":5607230,"id":"Q5607230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$73B1AE56-FC3E-4510-AF0E-54720DE3D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8729eef02a319c7e7f32d9c44543cdb521b2e4bd","datavalue":{"value":{"entity-type":"item","numeric-id":4941161,"id":"Q4941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$F7CE6AFA-7757-4BC6-A62E-849EE867BA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7748e3b3234df9858cc64324ecb25fec8864d7bb","datavalue":{"value":{"entity-type":"item","numeric-id":3798271,"id":"Q3798271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$0AB68640-2298-40BF-94FA-DCAF250F4C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbeca0f4934cc98db946507723506f7c56530f0","datavalue":{"value":{"entity-type":"item","numeric-id":1776398,"id":"Q1776398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$DD2477C3-AF90-42D2-B131-B50BE08A441A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597813d8d3dc12292d49fe3795daafd483503db3","datavalue":{"value":{"entity-type":"item","numeric-id":4737907,"id":"Q4737907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$7D910AF9-8A40-407A-A893-CB2CE0433B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6cec26f1476a4a43e4805a41c543d4c5156622","datavalue":{"value":{"entity-type":"item","numeric-id":3395960,"id":"Q3395960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$82B425DA-C2FB-4509-A3F9-373E1FE7BB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70268fb766367eb306ad35c6a82a40773ec707e7","datavalue":{"value":{"entity-type":"item","numeric-id":1886037,"id":"Q1886037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$2FA25857-F87B-44BB-9C24-B7C5948624CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c5245176106c3235cff2e695b10a9dc053a64c","datavalue":{"value":{"entity-type":"item","numeric-id":1401938,"id":"Q1401938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381504$5F83ED6E-F335-4DDB-83F2-AA240300CB31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2eceb7b00e9c8eefb3ee6b2226029a5b7f8fd7de","datavalue":{"value":"10.1016/J.IC.2007.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381504$74776AF5-0D2A-44C9-A9C7-52F49526B7A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc00901a5642ee37d001e78f4732579453618a2","datavalue":{"value":{"entity-type":"item","numeric-id":4737153,"id":"Q4737153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352fe6ee386c3dfaa926a200d86208d2dafc2ee3","datavalue":{"value":{"amount":"+0.8270837664604187","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":"Q2381504$8862943A-793F-4A94-83DF-8F640C287B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a03356fc51fe768413fe3385c73ef3fec78e1","datavalue":{"value":{"entity-type":"item","numeric-id":4596632,"id":"Q4596632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636ea2543d9dba8d40031e76e5145688284ebc0d","datavalue":{"value":{"amount":"+0.8259420394897461","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":"Q2381504$063DBD30-CA4B-4262-A1ED-E2B9F465A8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239b998c029dcc03a6870c060b974cae017d6d21","datavalue":{"value":{"entity-type":"item","numeric-id":1383712,"id":"Q1383712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a34dc520dd98d4abba4104081874c196130410a","datavalue":{"value":{"amount":"+0.7985278367996216","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":"Q2381504$959A3766-621F-402D-95B7-B4CBE46A4906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d5994c3f8f8dbe6b24da87a36e57493374cab02","datavalue":{"value":{"entity-type":"item","numeric-id":3839075,"id":"Q3839075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ec8aa460c3b76932516bcc824e91439f723594","datavalue":{"value":{"amount":"+0.7985274791717529","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":"Q2381504$FA82C12B-DCF1-4E00-86F3-D6441116CAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3771d3d01d1f8a2c8707b9b81c0e3233cac6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2882390,"id":"Q2882390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356cd5661ddaf057a8dce4a032e7ef1de6d90c8b","datavalue":{"value":{"amount":"+0.7811043858528137","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":"Q2381504$303CDE91-F947-444D-BDA2-A66122EA8851","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bound technique for length-reducing automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_bound_technique_for_length-reducing_automata"}}}}}