{"entities":{"Q3304149":{"pageid":3314857,"ns":120,"title":"Item:Q3304149","lastrevid":86844875,"modified":"2026-06-04T10:00:09Z","type":"item","id":"Q3304149","labels":{"en":{"language":"en","value":"Pumping lemmas for weighted automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228441"}},"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":"Q3304149$E3D046BF-CBEA-4F22-82E3-4166317E43BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cffa91f852fc52d7c88dbf8d7fcfadba6097a30b","datavalue":{"value":"1487.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304149$EC7F9AF2-621A-4EBA-A761-11C6594E6063","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d6c10c40b5e5dd06cf3d1bab585e20b08c02e0","datavalue":{"value":{"entity-type":"item","numeric-id":1622947,"id":"Q1622947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$ADEBB125-F77D-4579-9C98-45C404A8D12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5982b567ccbc3b75e9a18f0d99e86864b8556d82","datavalue":{"value":{"entity-type":"item","numeric-id":269344,"id":"Q269344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$6D7AB187-C0EE-4A6C-A786-89186C16B9ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304149$AD7AB0D7-7498-46B7-8CEF-A910A8A7B083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304149$435C8434-EAD5-465B-92FB-48ECFB2275DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59a1b471f4105c71d815577f0f3b54d42adf6f31","datavalue":{"value":"7228441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304149$EB6830B2-7561-4D0E-A4E7-772E55B0A270","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304149$4DAF6032-D58E-49F2-A830-E274BF06D561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e51da66ce97a99d9dbe27a0e41fcccf1a96380b4","datavalue":{"value":"regular functions over words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304149$733D669A-498A-4153-8342-A30261192475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f01a1adb6f1bb43e318ab17680c0e848f0510e4","datavalue":{"value":"pumping lemmas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304149$9082E727-C993-4725-B7BE-1B132075F5D2","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":"Q3304149$A9C53EC2-BBF1-43E5-AD19-9DF08FB777E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44e620d4281594a6e00f10dd20654fb9a9ab174","datavalue":{"value":{"entity-type":"item","numeric-id":3172937,"id":"Q3172937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$9035A7B3-8450-4F0A-B26C-3A22A79817CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2dde7843eee9d452f4db007b888da37969b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":5271036,"id":"Q5271036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$1C35EBE5-7C90-4829-AD8F-5AAE3E3112E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cec017dc7b42f72efd5d5a5a16f4623693f7628","datavalue":{"value":{"entity-type":"item","numeric-id":5327421,"id":"Q5327421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$591D9A07-EBD9-4A24-9CD8-89BB4E11883F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6f1ed4261be48687686b3a7b82cbfd3453dd22","datavalue":{"value":{"entity-type":"item","numeric-id":5144698,"id":"Q5144698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$3DF83EDF-1859-4AF0-9129-C0A9E3091E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb69548772c3838bfb96f1fbc045e23fb4ea6f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2946736,"id":"Q2946736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$61E2092A-8179-4BE4-921D-D59A16BBB7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b638f004f3aff2149eef7065ab096d66a505cc4","datavalue":{"value":{"entity-type":"item","numeric-id":4601881,"id":"Q4601881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$17485F81-DF61-491C-B877-C437BEFAD05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035f228ac7a834c9244a0624b74962c1f7537d40","datavalue":{"value":{"entity-type":"item","numeric-id":4635950,"id":"Q4635950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$36CF63A5-BE0F-4EB3-9B68-03978F060722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fe74d71647df58cbeb87817c49bc896fc5aa69","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$B06DE777-DB3B-4CCE-9D7F-4A13FF9C00FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$566CE3EB-6A11-441E-A74C-B3B1F723B967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$AE42226D-AEDA-4498-84B8-82F28355EE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$C38D78CB-F506-4D0F-938A-624BC2B406C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153e31c9763bf1e2375f10fd126fd76cdbdacbbf","datavalue":{"value":{"entity-type":"item","numeric-id":3526417,"id":"Q3526417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$B2B09F68-9E86-422E-9BFC-593EB3CB301F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025cef3b7c990de62cea0a67da3bdbf3ea565a72","datavalue":{"value":{"entity-type":"item","numeric-id":5390010,"id":"Q5390010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$37EB8C9A-493F-4618-83E8-66AF618560CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10076e8cd0b44a4ff645b7453a14ab5233ea46d","datavalue":{"value":{"entity-type":"item","numeric-id":703577,"id":"Q703577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$4E449396-C6DC-4A98-8A16-A3A63EB80E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a41360ebe4712b01c752dde8bf555af24826b30","datavalue":{"value":{"entity-type":"item","numeric-id":5271046,"id":"Q5271046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$CC295199-2F60-43CB-ADA1-7FEFA97352D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18dbcab39551d24705cff6cae883910b7dab28ba","datavalue":{"value":{"entity-type":"item","numeric-id":5204310,"id":"Q5204310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$22A58F3E-18A2-4F25-84EF-AED453A8265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558febfa7011c0d1675360eea4e862548ad60d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4601905,"id":"Q4601905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$E95B870C-056C-45DE-B285-883AD1664385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359422607dd63c53cf4915b59944dbec77214d61","datavalue":{"value":{"entity-type":"item","numeric-id":5167848,"id":"Q5167848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$4E6065B9-FF6A-4BBA-A2A8-819EF1583203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b46989355988e5d4e240f250b8692542b0eec1","datavalue":{"value":{"entity-type":"item","numeric-id":5167849,"id":"Q5167849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$2603B908-BBD5-4544-9A6A-978FBEACE04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$D19431E6-F56B-459A-B68F-1A7B5CD9990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3819b81e9facf3377c4ea452000ebe925c990354","datavalue":{"value":{"entity-type":"item","numeric-id":1341750,"id":"Q1341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304149$C5171189-9BA8-482A-9887-15D2369D9839","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a40526a676603405d9e0e04ab552b63a4431756","datavalue":{"value":"10.4230/LIPICS.STACS.2018.50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304149$FE5B413C-FA3A-4951-95A2-8B9703E99207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27afe6261dbd3eb348a6e6d8f141e3b02f77d7b3","datavalue":{"value":{"entity-type":"item","numeric-id":5155668,"id":"Q5155668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3ef7183b0af94e944d5ed704dffd357aefe9d5","datavalue":{"value":{"amount":"+0.9911476969718932","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":"Q3304149$E091A1FF-3796-4169-9A66-607F04E70A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"022554d959c53e0cadf7e7a0e3f010a7b7b3edce","datavalue":{"value":{"entity-type":"item","numeric-id":4874657,"id":"Q4874657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60eaca49f50cece8895e2b78d007e834bafc5d14","datavalue":{"value":{"amount":"+0.76792311668396","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":"Q3304149$DEFDCA6F-24FB-424D-9FD9-FE21612E6A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6eb0b18c070cd48095e1033168529ff485ed3c9","datavalue":{"value":{"entity-type":"item","numeric-id":5096835,"id":"Q5096835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c93ef38188edb809b1e13f4dbabf6f4bbd14fc2","datavalue":{"value":{"amount":"+0.7676483392715454","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":"Q3304149$1B3C437D-A686-4626-AF31-46AB323CFCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7823de33ddaf6613b1d9ce6f659f41e7aff5684a","datavalue":{"value":{"entity-type":"item","numeric-id":1799611,"id":"Q1799611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d5e30d4119d4342ca8dfa5feeef1fe7f831ecb","datavalue":{"value":{"amount":"+0.7531853318214417","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":"Q3304149$8F28E01F-8FD8-4A48-B8B9-8F6CCC100050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434faf8d608d7645672ea3b7370afd9abfcf1413","datavalue":{"value":{"entity-type":"item","numeric-id":2849900,"id":"Q2849900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0024c5bceb61b7358b74440ace8d0e0ec0650edd","datavalue":{"value":{"amount":"+0.7495086789131165","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":"Q3304149$69F001E3-31FE-41C1-A43B-BC6E18896B99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pumping lemmas for weighted automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pumping_lemmas_for_weighted_automata"}}}}}