{"entities":{"Q2979419":{"pageid":2990144,"ns":120,"title":"Item:Q2979419","lastrevid":79722119,"modified":"2026-05-06T14:33:52Z","type":"item","id":"Q2979419","labels":{"en":{"language":"en","value":"A universality theorem for the sequential behaviour of minimal $F$-automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6707896"}},"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":"Q2979419$8EF81FE8-B7A3-4925-AB6D-F5A09A8104A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbfeb84c75d2c7c1ce4eda438a04103efe4136af","datavalue":{"value":{"text":"A universality theorem for the sequential behaviour of minimal $F$-automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2979419$19613079-85DA-4B44-9499-9AB8C5B83964","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18c9e2f1d5d9070c53f29e80bfc02d2f1c2e3d04","datavalue":{"value":"1399.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979419$B031962D-194D-4428-892C-2BB3C264CB64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36775cd290bfbde3f61a5a74c3c4df1002dd330a","datavalue":{"value":"10.5486/PMD.2017.7433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979419$169D123F-A033-4B77-8AC0-0EF48A47F5CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dede0e2bf224582d937e25999a53eed000472ee0","datavalue":{"value":{"entity-type":"item","numeric-id":264537,"id":"Q264537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979419$BCC4306C-3BB0-4910-BE79-A804798F2CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6106353bae62e296d13d6aae332b4a0837155359","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979419$A3132CC5-BE04-4FC5-B3E8-05B6A613A8A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7e0436cc14c170263bcf7f4e8bfa42f700b0e757","datavalue":{"value":{"entity-type":"item","numeric-id":2803018,"id":"Q2803018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979419$40F843BA-09AC-4AD0-83A6-2DAC72519AD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa23cc0149fb181ddf62c54fcf7661372ca0f225","datavalue":{"value":{"time":"+2017-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2979419$4ED6D5E8-9D01-4E7A-A413-E44087C9F7A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979419$CE7F0714-868C-4114-8DC3-6B493C503567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979419$4FE01A42-5A6A-40A0-AAF1-86D95D4A8E97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6694808b8f982126285076100602784b709ffd92","datavalue":{"value":"6707896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979419$D392D091-E652-4B04-B8E0-90E60A4AF028","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336f9cc1f5ba0f2bec287498f43d766f7d2511c5","datavalue":{"value":"Mealy automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979419$D8D577B6-D205-4719-9D36-C3D76CF2F264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81b66cd94df15f53cafc1585afd75a56192e2aa6","datavalue":{"value":"Moore automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979419$273F5F63-7E17-45B1-AC1C-A78D6A59119E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979419$1F39FF3A-05D9-490E-89AF-FA6C8246EAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b652dfdd2be497b8baa5a4b0d7ab237adb2d7c52","datavalue":{"value":"minimal automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979419$87DA9A29-F40A-4B37-B30A-66516655525F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce2888facdc7c68f7fd5d3997bed20612efe5cb5","datavalue":{"value":"sequential behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979419$6530E4B7-E8B7-40CA-938A-D88E5A9577D8","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":"Q2979419$5D3C6097-D7F1-4FE9-A253-1BC2B1ED13BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db5594cecfb53174d01fe29e39aacc119b17d8fc","datavalue":{"value":"https://doi.org/10.5486/pmd.2017.7433","type":"string"},"datatype":"url"},"type":"statement","id":"Q2979419$4CFAAC87-E31C-4DE5-9128-40E703CDE102","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f66073762714fcb5f9c2e8760213712d45a533b","datavalue":{"value":"W2579000822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979419$30138946-AE8B-4DD4-BEBE-CC1FDB85D8F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b59f74b95f450e3eba7ab08fd2b383baeca241a","datavalue":{"value":{"entity-type":"item","numeric-id":5464002,"id":"Q5464002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054c388cf60dcb498fb637a976466b69fa809ea1","datavalue":{"value":{"amount":"+0.87930536","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":"Q2979419$BFE8C9A1-7FD1-4E64-9D34-4574D8D3F581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109d64b10850a4121369edcb543bde8bc6f07761","datavalue":{"value":{"entity-type":"item","numeric-id":5704379,"id":"Q5704379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054c388cf60dcb498fb637a976466b69fa809ea1","datavalue":{"value":{"amount":"+0.87930536","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":"Q2979419$912CEEE8-3BAA-46AE-AB32-7C9D7F4FE402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9e7cfeb1b2111a337d2dcc1022e82242b223b5","datavalue":{"value":{"entity-type":"item","numeric-id":5014938,"id":"Q5014938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ee3139349f8ade6ab9562960ba6ccf3edd0dd2","datavalue":{"value":{"amount":"+0.8766234","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":"Q2979419$0D2A8368-27A1-48BB-AA64-4F0594C41A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a1439d45360b244fa74edd6b37a54f087b4b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4986665,"id":"Q4986665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a431036877bd0ff4b23841a48b723e3a427f2bea","datavalue":{"value":{"amount":"+0.8765734","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":"Q2979419$929ED722-0C44-4B87-8DA0-6AF9A6A3CDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5a3099e4e072658623079158c9d1fbd37388d9","datavalue":{"value":{"entity-type":"item","numeric-id":1377610,"id":"Q1377610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d26b477dd9af750d0b93fd257a230be6ba5dbf7","datavalue":{"value":{"amount":"+0.8747393","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":"Q2979419$14EA6548-01EF-4FBC-98C1-867EDE41648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36e8f4c9f67dcd4649d4b149eeb800ccfd3746e","datavalue":{"value":{"entity-type":"item","numeric-id":1115194,"id":"Q1115194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639f651057b0d94a6bc5e7b70ad9c08b917b8550","datavalue":{"value":{"amount":"+0.871129","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":"Q2979419$DAA3AA13-7566-4893-A9ED-9C36DCDEE629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a606917230110cf856e3b06314ac1d23aa0128e7","datavalue":{"value":{"entity-type":"item","numeric-id":4453206,"id":"Q4453206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa26671afac7e5faeb8045ffb21463b3b3121b64","datavalue":{"value":{"amount":"+0.8694245","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":"Q2979419$BD60882C-FB9F-4740-8EE5-BCF53E2182EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49187ddcbf6babcf78d39a66cd05ea4f2b3c1eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3167496,"id":"Q3167496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b7fb1d1f1ce9a1ce63cc235dc8d841daf4732a","datavalue":{"value":{"amount":"+0.86782223","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":"Q2979419$1DE5655D-3CE1-47CF-A14D-74455EC1381C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a741c1f466416d8f9d521086db62a03317a58f","datavalue":{"value":{"entity-type":"item","numeric-id":5090506,"id":"Q5090506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f0d10b3f4eebccd4c2562142672983e68ceb29","datavalue":{"value":{"amount":"+0.86689126","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":"Q2979419$73F1492A-FFB0-47CD-84D6-50AA4860A549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb75a31f695d172c22c12511d464a8fdd63e31b","datavalue":{"value":{"entity-type":"item","numeric-id":2048206,"id":"Q2048206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f0d10b3f4eebccd4c2562142672983e68ceb29","datavalue":{"value":{"amount":"+0.86689126","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":"Q2979419$8CDE1ADC-EC9A-498C-A26F-DE480D5A9F0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A universality theorem for the sequential behaviour of minimal $F$-automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_universality_theorem_for_the_sequential_behaviour_of_minimal_$F$-automata"}}}}}