{"entities":{"Q2147179":{"pageid":2157922,"ns":120,"title":"Item:Q2147179","lastrevid":73434888,"modified":"2026-04-14T15:58:14Z","type":"item","id":"Q2147179","labels":{"en":{"language":"en","value":"Certifying DFA bounds for recognition and separation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546594"}},"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":"Q2147179$DF15041A-07B8-4BEE-B9F4-712445864167","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99f4b491185df25aa5d931c0bd496549adc84983","datavalue":{"value":{"text":"Certifying DFA bounds for recognition and separation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147179$257045C4-3DF9-4F2E-9D0B-3874E8958C44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e147c517c382b17fc39bef0b449353028e06a12","datavalue":{"value":"1497.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147179$28BE001E-8C07-428F-88F3-515D464B09C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0556d49b4eddacc4e68f1507fc102bdc8a80834","datavalue":{"value":"10.1007/978-3-030-88885-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147179$A7E89141-5310-4711-A1BE-1A3199D86E20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$51D483F5-58A0-4883-A783-C3994DC7FAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7da5a9f6e64ee5a15d0a20b3fa25725169ac54a","datavalue":{"value":{"entity-type":"item","numeric-id":2147177,"id":"Q2147177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$2BD162C0-C3DE-4CD7-BDDB-10B1DDEABB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55938b21f53eb1e267f2a1b02fe977fafd23cce7","datavalue":{"value":{"entity-type":"item","numeric-id":2147178,"id":"Q2147178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$2F4C0A84-06A0-4A37-84AB-2DB655970D6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147179$693A0878-E43A-4370-82CC-720896D03850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5db47d134c6df1d3995185184a9b74e5dba6c44","datavalue":{"value":"https://arxiv.org/abs/2107.01566","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147179$D05405CD-78F5-4E89-B22C-3B893D1E17F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147179$5AF478E2-73A3-4910-A0AE-CF260D1EAE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147179$F3CC87B6-DB4E-4005-9A4E-066536D847BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3937f06248ff15612df85f2d9b3b11dafe295393","datavalue":{"value":"7546594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147179$10BFE352-C2EE-4397-AE83-28FFAAFC027F","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":"Q2147179$196A39A4-01DC-414E-984E-6397C34C7717","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67d46a6c5b24bd6bb7a72fbc972f17af9d115992","datavalue":{"value":"W3210219611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147179$B74B8E4E-50E3-4AB5-B9DF-A7BD7EC0F1BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$2D840EAE-0E7D-47C8-ADE1-E3FA0DD8487E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$6BC3A6E3-1DD8-410F-8056-FC6227B8AAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$9DA5B397-145B-4651-8C8B-935A806CA482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f525e4c279ed1c59a7967087d92701ef26b0157","datavalue":{"value":{"entity-type":"item","numeric-id":5009453,"id":"Q5009453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$5AEE7EBD-F887-4633-88A9-741D304F8D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edfc5d37d7b0502fdcf6b02ef7d27d88b153b6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5327430,"id":"Q5327430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$D0739754-CA81-4C98-9480-4062F88D3C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751826a6bde00a66800b0d9bb89ba9f6bfdf6670","datavalue":{"value":{"entity-type":"item","numeric-id":1648037,"id":"Q1648037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$B1EEDA5B-FAE7-4526-A33D-0BBE66DCF223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0574fc8aa6c55067445811299d5f011463b0c1ae","datavalue":{"value":{"entity-type":"item","numeric-id":5096078,"id":"Q5096078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$E7F606F6-DEDD-4070-8284-D6EE31DA9ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$04642D5A-AC25-4090-A8B8-FDE6AF4B0A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff9251a1b15b9fdcdc46878fd7f45ac3b5ea667","datavalue":{"value":{"entity-type":"item","numeric-id":3588365,"id":"Q3588365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$CDA15327-A500-4691-853F-C1A1990D67AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f546990a44b64c159018f8b5b4a6e8ac9c3baab8","datavalue":{"value":{"entity-type":"item","numeric-id":2233423,"id":"Q2233423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$DAB98351-C612-426E-BF1B-632B32C8370D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$9BB01DF0-BB86-4AA4-BC7C-C250C3264030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce8f46c76b70725b31c46e21e48547b8f386e27","datavalue":{"value":{"entity-type":"item","numeric-id":5308436,"id":"Q5308436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$B2668D30-61F6-4580-A4D5-FC4A01900FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e138a9571a4b63acc7be3455a61fa8c89dec201","datavalue":{"value":{"entity-type":"item","numeric-id":4649308,"id":"Q4649308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$4ED279C6-8DD3-4C29-B771-10D52FA9EB90","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":"Q2147179$49E5DCFB-0CC7-4BA6-B899-87A775A4229C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99a1e97e4c0b9150b7eebffc4b5a1b3088104b4","datavalue":{"value":{"entity-type":"item","numeric-id":4404801,"id":"Q4404801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$E5FE5A82-E51A-4A9B-BD27-7565C465F6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd5749752382c9fa1145e399db325bb2e1d191c","datavalue":{"value":{"entity-type":"item","numeric-id":2794672,"id":"Q2794672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$90575ADC-BC5C-4FCD-89B1-1D02FFF34054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb5e81313562929b3637d7435bafb071d01e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":2908870,"id":"Q2908870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$914916EB-6409-4220-BCE7-5D6D1F25B50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147179$851777A3-A424-45C5-B8C0-45F39D2B71F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b940663c37bc0446f96b89938100c820e2e273f8","datavalue":{"value":{"entity-type":"item","numeric-id":3617752,"id":"Q3617752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14a7482cfcb5c9d7450362d44293caa098f7e19","datavalue":{"value":{"amount":"+0.8550096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147179$5B0837B8-EF69-4A87-BF5E-DD57B7D1BE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9ffca5dda6b523aa55899cbcabae81e7d10e70","datavalue":{"value":{"entity-type":"item","numeric-id":3742752,"id":"Q3742752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9a629729df142a681e0c1d25957c188c6013d1","datavalue":{"value":{"amount":"+0.8477717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147179$F3ED0093-FDE7-4EA2-B8CE-3B590B3C905D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48556533708a80c6b7a35afe36b094a928d9ae27","datavalue":{"value":{"entity-type":"item","numeric-id":1198017,"id":"Q1198017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ea4f612013c0b32a58efdbc617605351ba28b6","datavalue":{"value":{"amount":"+0.8416353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147179$671B9E85-6883-427B-9DD8-DE0A37ED452C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111a9852563a3d243e7014ac063b6785f81a7fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3588365,"id":"Q3588365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51f33fe0053c4ed2a055818ecf3947212c88208","datavalue":{"value":{"amount":"+0.83974797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147179$CCA684AE-AC9C-4D8B-8B40-F0AA60E72DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49ecf271dccec3306aba6fc3e68acb4dd2d2132","datavalue":{"value":{"entity-type":"item","numeric-id":1751204,"id":"Q1751204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b5db38227f827cdb81ef77ff7e3c6adf463472","datavalue":{"value":{"amount":"+0.8383711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147179$7F3AE146-E9DC-4778-9FA9-572AED2709C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576ee2501f9a72543814267656898097b986fd1a","datavalue":{"value":{"entity-type":"item","numeric-id":1193884,"id":"Q1193884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd56739094feafdfe2d21dab9e5864ebe1238aa9","datavalue":{"value":{"amount":"+0.8366809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147179$4FF0DF50-BD56-4A55-B921-231F1DF814B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c3dba23e4dc383cac6b9fbeaed0af11263eac7","datavalue":{"value":{"entity-type":"item","numeric-id":5945683,"id":"Q5945683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31fdf87b97258043c3b59a1dd4176ef77a16533","datavalue":{"value":{"amount":"+0.8312323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147179$CCBF388E-B749-4685-96BE-9F252363E13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a779bf8187a1d6827ddab8994e1341bf9ddd7ce4","datavalue":{"value":{"entity-type":"item","numeric-id":2282132,"id":"Q2282132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e38ae89ee2431eb256d39f53d839c0081fcc2ea","datavalue":{"value":{"amount":"+0.829259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147179$DF749CCF-4F7D-4100-9017-6C88DB4C70D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8acf90cbb2f4d1707b2a8ded04b8fbb51506facb","datavalue":{"value":{"entity-type":"item","numeric-id":3319777,"id":"Q3319777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66fff64b9fbb9758967745f16d811b1d3670f6b6","datavalue":{"value":{"amount":"+0.82703876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147179$83B7B484-E015-405B-BDFC-6AF3332C6C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36293a71aee6f7aafdb891e39754745357d66cbc","datavalue":{"value":{"entity-type":"item","numeric-id":3727409,"id":"Q3727409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e414ea8369ea04356463ccf13a16b34cbbbaebce","datavalue":{"value":{"amount":"+0.8230535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147179$27FAEF84-939E-4668-B001-61904F471B02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying DFA bounds for recognition and separation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certifying_DFA_bounds_for_recognition_and_separation"}}}}}