{"entities":{"Q4580203":{"pageid":6609789,"ns":120,"title":"Item:Q4580203","lastrevid":58282674,"modified":"2026-04-04T13:40:19Z","type":"item","id":"Q4580203","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917169"}},"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":"Q4580203$7C453E0A-E03A-4555-A2D7-1F391FE84067","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bac34850cf3387fed6fb1f7ae17acd562232ab1","datavalue":{"value":"1433.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580203$C4A95565-5B55-479B-A9F0-0EFD6178B4C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d5c4492b308512708deea353b9e0181d35ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":290902,"id":"Q290902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580203$08F93A54-ABB4-43A1-AC05-88262C492F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59cf96319a2d9edcb34f80de5d6e5dd10c4b763","datavalue":{"value":{"entity-type":"item","numeric-id":523131,"id":"Q523131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580203$E4944195-9023-42A4-AA2A-FBD8A5A5A298","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580203$014E89E2-86A5-4AAD-BD8B-6A825882A050","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44b8e437aec945b8016fdff8cd301244f6e5aaf9","datavalue":{"value":"https://arxiv.org/abs/1711.03063","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580203$17EAC2E1-048F-4FAF-B3A3-559C55441118","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580203$81FEFC56-F810-4040-B188-B8A1B5E52421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580203$D852F315-A115-4E93-A67B-BE9ABF291F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580203$F34CD10C-AE82-490A-A6EC-312DC546EE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580203$75215343-3F5E-4C14-8CE5-9B1E551A4017","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb532efe2a7c5ce6b57a3d5208ec2688a00fec68","datavalue":{"value":"6917169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580203$AC079370-28C5-4632-872D-5520C1AB74CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6937067c90118683244890a1d4a9dfccf3159a11","datavalue":{"value":"functor automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580203$48D5A900-3BFA-4E58-B22E-4A671693D2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580203$F9211095-AC7D-4379-8616-C4CA71D86250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bb0caed53c8328abb9e9c6b870cb4586cf9187e","datavalue":{"value":"Choffrut's minimization algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580203$F7114AA5-6B20-467F-9667-694EA99E3C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9028248ffb90c5cb3b6db61b5553d6634013d34","datavalue":{"value":"subsequential transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580203$CED6FD18-4F3F-428C-BF24-CFE81264B4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230a544ba4ceba6fc99c4afc2e16a08d5dfac27b","datavalue":{"value":"Brzozowski\u015b minimization algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580203$319DF337-D6A0-435B-8931-060B0D920CF0","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":"Q4580203$8CE927C0-2449-4359-A068-E14035511B49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6a193aaa694b8bb23b9b0b08f78db0bb1bbe2e3","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580203$2136E613-89F4-4D54-B78B-0F91ABB5A98D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797130b97fc473dae7ab44a86a4e4b039494c28e","datavalue":{"value":{"entity-type":"item","numeric-id":5109522,"id":"Q5109522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580203$56C0376D-229B-4906-B66E-72D6FE64A16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e94acc5918cf06bf5ee942ddb428fdf7a2bf6d80","datavalue":{"value":{"entity-type":"item","numeric-id":2074212,"id":"Q2074212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e27cf0441e75037dd16852076d3983465f2a8b","datavalue":{"value":{"amount":"+0.940854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580203$DD3A347A-19D7-466F-8E56-E4E249EA1334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a56cfe787e41dd9ef1fc418c06be0a23b54487","datavalue":{"value":{"entity-type":"item","numeric-id":3493239,"id":"Q3493239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1038f81f138b9b46f58e623936b782faec5122","datavalue":{"value":{"amount":"+0.92490816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580203$2F552670-6488-49CF-BA84-42AEBCF90371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67230df40e3d3d1f5cec3a129fd9fe46d85a050c","datavalue":{"value":{"entity-type":"item","numeric-id":3832058,"id":"Q3832058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1038f81f138b9b46f58e623936b782faec5122","datavalue":{"value":{"amount":"+0.92490816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580203$9EC3C341-6576-4FA2-9B45-EFECD1B42CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29725702c2d10de2c18b0e4e66f2dfa34005ece9","datavalue":{"value":{"entity-type":"item","numeric-id":5418252,"id":"Q5418252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ff71d9a8275d94906f769f44af47baa9d7bfa7","datavalue":{"value":{"amount":"+0.92259127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580203$089FBED5-F749-45CD-B235-FCACC3720689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3775289fa19a7e67bbe125e2611f4e7111c2ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5408448,"id":"Q5408448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22991b639ec1a9acac71dbe29cfd51ed40d3d43b","datavalue":{"value":{"amount":"+0.9173701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580203$EAF30979-7A16-4F91-BBF7-0117490401C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c559936e9e9cb1b7acfbe3cdd49a29583019c0c","datavalue":{"value":{"entity-type":"item","numeric-id":5426343,"id":"Q5426343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99af3f39f3530358b7b2b3ea5a46516c3da076e8","datavalue":{"value":{"amount":"+0.9121671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580203$550788A9-66D8-4B1E-9857-D241BF464CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a481edc69d32965649966795539bf2c2baf271","datavalue":{"value":{"entity-type":"item","numeric-id":418805,"id":"Q418805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91da26979d33139b9dd461ddd7c7187977c81808","datavalue":{"value":{"amount":"+0.9103713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580203$2DD175E3-8BB3-4449-91DB-5CD417D5882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906e4d00a500c66381a25a593a737cf5e43b86d0","datavalue":{"value":{"entity-type":"item","numeric-id":5426378,"id":"Q5426378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ac98095519027d376837cb7a8054f37e1c17f8","datavalue":{"value":{"amount":"+0.9069414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580203$6ACF3DEB-4C7B-4C80-B876-23350A02BB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebfc322ddee1d45653c575f2af78d677f8a03db6","datavalue":{"value":{"entity-type":"item","numeric-id":3501399,"id":"Q3501399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8205bb9432c01fc6005084e097424c2ab8ef72be","datavalue":{"value":{"amount":"+0.90672326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580203$293264A5-11F4-4F58-96BE-741039DAFF71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580203"}}}}}