{"entities":{"Q2423764":{"pageid":2434507,"ns":120,"title":"Item:Q2423764","lastrevid":74198091,"modified":"2026-04-14T18:54:48Z","type":"item","id":"Q2423764","labels":{"en":{"language":"en","value":"A (co)algebraic theory of succinct automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069244"}},"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":"Q2423764$EE4BBD07-0B44-41CD-A151-3296FD965454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72cbdddd31952d1c65611f19de31246f79249aac","datavalue":{"value":{"text":"A (co)algebraic theory of succinct automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423764$33C4E9A9-AE96-45C8-BD14-B541A232A435","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa166bf3f0ab7c6ca6f2fe2d91f39b721b59563a","datavalue":{"value":"1423.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423764$F09D6FB8-B157-45D7-973B-A33DA0C96606","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"861d6ca52238459ae9f9ddafc73340961632ded3","datavalue":{"value":{"entity-type":"item","numeric-id":1623159,"id":"Q1623159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$A4235849-ED6D-4678-BF2D-BD0226344D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a34b751b4f3b8251e661fc65f43c0704b898ed67","datavalue":{"value":{"entity-type":"item","numeric-id":1623163,"id":"Q1623163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$6EEE0E99-99C8-4467-B688-F7DD74520E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153d687468caa848dd7d7aae8cfeaa8401f9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":530840,"id":"Q530840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$76869901-51E6-4AC3-9FA4-60659EA2EC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$9BA72F2A-FB84-4BAE-B316-97AE824A9270","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$F91ED7A0-F99B-4018-B66D-3682FCEDF1D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2423764$A87F8176-C67D-4E46-8F3C-15792413C38E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edad8e95dd842833b0a83ed791582b5375d42b32","datavalue":{"value":"https://arxiv.org/abs/1905.05519","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423764$9F8BE2AF-D5A7-4CF7-8D7F-0A5791C45226","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423764$9BBFF965-FD9B-4AC1-A781-76DF856AF54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423764$162B3CF8-893B-4202-BF7A-FEA19DEE0AB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ed9a0498797da6bbcdb8f949bae9da4ccfe59fc","datavalue":{"value":"7069244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423764$8A2DE816-600B-4CFB-9E4D-5900B78E4DDA","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":"Q2423764$B756621D-FF9B-4FDC-A745-56810B378EDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3e2e910849f10d7e019db6a5599ca71901e7445","datavalue":{"value":"W2923977939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423764$0D6BA2CA-8442-4D1F-B3C1-A56BD02788C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"532219dd4d3cb9099cc3b0175993615877764e53","datavalue":{"value":{"entity-type":"item","numeric-id":2892759,"id":"Q2892759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$0A997AC7-1392-479F-ACD2-12525D98C4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$5F7D69F3-63AB-4EFD-8E6D-41B3B010EA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30a70dc3cf5f2a7421b866c5e4b6f91593e27b1","datavalue":{"value":{"entity-type":"item","numeric-id":4079789,"id":"Q4079789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$65D5D269-69AA-4F98-B174-8EABFA5CF3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f521a9a90954acb634a9e019721c2fde3b6e6389","datavalue":{"value":{"entity-type":"item","numeric-id":3451085,"id":"Q3451085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$8C25EE8A-66A0-4870-A542-060C0B3C4960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd6010ea3d4fb73dabaa449b49e0ac918fbb812","datavalue":{"value":{"entity-type":"item","numeric-id":5199957,"id":"Q5199957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$5A18B6DA-A130-453E-B2AE-9FDF76F4A2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299b328928d76d20c5ff5185bc05afc43eacac8a","datavalue":{"value":{"entity-type":"item","numeric-id":4799353,"id":"Q4799353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$EFB92210-7A50-4028-B092-5D4CC7975A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d693d0e6af6572c727807ee0bfcf0f62be78cd","datavalue":{"value":{"entity-type":"item","numeric-id":5111646,"id":"Q5111646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$AB32584D-8B7C-44EA-B4C4-4F6CCDFD083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"646653f65fac9c4cb44cd008cf9f56b023753571","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$92780075-015A-43B8-A119-9E30BC8584E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faed41a247bd69339f207eb893ee9beb58f308d8","datavalue":{"value":{"entity-type":"item","numeric-id":4075064,"id":"Q4075064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$6CB312CA-9DDE-4936-BEB8-53CD6F013E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11be615a5aa07f0546b114c9dde9d0fb29201bad","datavalue":{"value":{"entity-type":"item","numeric-id":3190170,"id":"Q3190170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$51B04604-3598-4ECA-92B9-48EA03E784F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5631c3982a08ee34bcc39902a711e4c9c4efbd","datavalue":{"value":{"entity-type":"item","numeric-id":5370894,"id":"Q5370894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$5BE794F5-C3CE-41CD-ADA0-34750F377781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$09947A53-A742-4E5F-8120-5E20DF133118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b76902fdf88c5e3125b72ec70a15b33cab721db","datavalue":{"value":{"entity-type":"item","numeric-id":890382,"id":"Q890382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$AC65DCE0-6FFF-4F55-A855-B6BFBE028590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$91D04E41-7732-4207-A2DF-B972EEE98890","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":"Q2423764$CDC53F6D-638D-4277-A22B-6CEE886CA109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e434a96053d306ffde38531d482a7680b20de8a","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$475EEF61-BA11-49DD-A2B3-4B1B85B8B367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b211f7d9b79af80c89593f1677fce650e50849f","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$F9B6D7C3-97B1-42BB-9CFC-0DD17E49C6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4acdc12d2eaf33fae47a3186c58e566c18472855","datavalue":{"value":{"entity-type":"item","numeric-id":5176958,"id":"Q5176958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$F7194B11-87C3-43B2-945E-EB82FB52AF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2653fb51a9263538ffa5206a1af91c8d851d0de","datavalue":{"value":{"entity-type":"item","numeric-id":5111197,"id":"Q5111197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423764$340CDA91-601B-4236-87BD-8C23A891A3A8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"84b8a0090ec1ba1b2a5572ac075614e8109a67a9","datavalue":{"value":"Q128207401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423764$0798A88D-045E-40CD-A794-DC4634C162BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe531c8cc6de2898b652f04b63510919cf891a7d","datavalue":{"value":"10.1016/J.JLAMP.2019.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423764$5C4A6E58-5EA1-4FAA-B0B8-095ED2EB175C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfd86a90d291533ccc4aeac864fe852de1c6f6d","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4c5954356b760da96dd235e70d3add94a0cf66","datavalue":{"value":{"amount":"+0.7754493355751038","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":"Q2423764$86CFA069-CD55-4B67-801D-5BFB1C6AFAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecdaea374d3f59341800665d16bf5a2f907dca3","datavalue":{"value":{"entity-type":"item","numeric-id":890382,"id":"Q890382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e950d782db058c1b7fd47d45737c8e000b790fd","datavalue":{"value":{"amount":"+0.7612529993057251","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":"Q2423764$31DE43BB-4C0E-4227-92E5-FEF52FEE90E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016017686a2205e3f6e7a6a4b31d39034c1f27c0","datavalue":{"value":{"entity-type":"item","numeric-id":3623006,"id":"Q3623006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635f262e4a5eba10e66cce8178af89ca59182c90","datavalue":{"value":{"amount":"+0.7595181465148926","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":"Q2423764$5BABCDAC-4236-4E4E-80DA-742469763132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5992687b4409e0c82f981b76f145f0e2e5d2119","datavalue":{"value":{"entity-type":"item","numeric-id":265785,"id":"Q265785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb6406890ddd3f04b745caec2a48e4745f68988","datavalue":{"value":{"amount":"+0.7586876749992371","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":"Q2423764$954E6481-974A-42F9-85D3-AC5B9F17AAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32569e839bd0580f6bd02ecec4418339bf651192","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cdc7d1ca08e617a1cd88d78d269dec809d3697","datavalue":{"value":{"amount":"+0.7562727332115173","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":"Q2423764$D9D7FC77-D727-4B2C-AB4B-B8FBFF974645","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A (co)algebraic theory of succinct automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_(co)algebraic_theory_of_succinct_automata"}}}}}