{"entities":{"Q478518":{"pageid":480285,"ns":120,"title":"Item:Q478518","lastrevid":62130885,"modified":"2026-04-11T03:58:48Z","type":"item","id":"Q478518","labels":{"en":{"language":"en","value":"Head and state hierarchies for unary multi-head finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376646"}},"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":"Q478518$8E1C8636-F4E7-4752-AC60-0F30D9057690","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8013179aea08dcd2adf91cd6234bffbbc7123ef","datavalue":{"value":{"text":"Head and state hierarchies for unary multi-head finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q478518$FFE34591-FD39-4EF1-A62A-07DA12D9F225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c10929c7df8ee99322a4d81576eefe993bdd203","datavalue":{"value":"1304.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478518$5116FA04-9806-4550-94E3-CE4CE4CA6C9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f3d34816c1dbe170dc863d0f4b5d14681713b90","datavalue":{"value":{"entity-type":"item","numeric-id":442150,"id":"Q442150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$D68476DF-55F4-4A3B-B7CC-9D8DB35A7193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43e5b44684a6cc8af75870784fb52a5ba3f9758e","datavalue":{"value":{"entity-type":"item","numeric-id":383363,"id":"Q383363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$010476C3-2C2D-4E30-AF95-89E135848248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7049a9d7bb211844b5d7c9dbfd036c73e4e37db7","datavalue":{"value":{"entity-type":"item","numeric-id":478517,"id":"Q478517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$0F0B86E3-856F-40FE-83F0-620F6FB95D85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$DF2CF966-32B7-4945-93A8-345580AFACC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"726f2859ee2ab0ef37011c240f51f25426a8471d","datavalue":{"value":{"time":"+2014-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q478518$FD95CB46-8E29-40A8-82BC-5D75E666197C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478518$DF43C12D-0776-4CD5-98D0-0C6A951C3336","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18b8b3f69c44ec11c8e609eb1e526c5da5dba560","datavalue":{"value":"6376646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478518$4123FC06-A3EE-4E12-8D7A-DDCA36E76715","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d64387cfbe193b7921d80744336de7f0e0a4bb31","datavalue":{"value":"deterministic one-way multi-head finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q478518$D6ED6CE8-2EAB-4A28-8A4F-BFA8BA09BB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2406afddca9667f2e15933dc636de2b662f93b9e","datavalue":{"value":"state hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q478518$1EDDC278-60A6-49C1-B778-C3CD419698DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q478518$8611BE08-75FE-483D-B506-0C1AF80B2A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c45e27388111043613bd03f187323b2dc7225b","datavalue":{"value":"stateless automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q478518$9B65668B-DCD3-409F-8B32-FF389CA8D1A1","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":"Q478518$66715F61-3C4D-4A9C-9EB2-7B448282ED4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9c3b1c2c11d6623969c7faa33b78001716f5e43","datavalue":{"value":"https://doi.org/10.1007/s00236-014-0206-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q478518$F0509C53-8AA9-4F1C-A784-F36C28EB5AE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91ff673d186dabc7f07c965cb748c0527ca485e3","datavalue":{"value":"W2041114760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478518$CD47770E-BB46-46CD-8E70-2590AD2F5759","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0d0994af9f44c1f34d168fa4da2eb001b50183","datavalue":{"value":{"entity-type":"item","numeric-id":1099645,"id":"Q1099645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$9ACF7A82-7720-4829-B3FF-0073B17A6DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c77e60f710e740c4b04ee617d3d071dc12eb25","datavalue":{"value":{"entity-type":"item","numeric-id":3576050,"id":"Q3576050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$70C3072F-F248-472E-B437-AA147A096FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8085efc168b771edd069942eb26bc8ef33feb6","datavalue":{"value":{"entity-type":"item","numeric-id":3637229,"id":"Q3637229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$C59ACF6D-1E2B-4598-B980-73F63484D8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$692C856A-B77B-4FCD-8653-2AE0E57EC8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be8379f7b1dfb9112fc6c6550fe59888f6875bd","datavalue":{"value":{"entity-type":"item","numeric-id":616495,"id":"Q616495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$95658DFC-6781-428F-B5A0-7911C8B3588C","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":"Q478518$A8229B11-53A5-4ACF-B2B2-038990202364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceffff1a02b5a4047bc8ae2d910dbd760b2f586","datavalue":{"value":{"entity-type":"item","numeric-id":1212796,"id":"Q1212796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$AED1BEC9-958D-4CD1-870B-C13012B73615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cbbb077d4e748ec34c73824ea18932f05565b8","datavalue":{"value":{"entity-type":"item","numeric-id":5323089,"id":"Q5323089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$84946C77-95E6-4B73-B9AE-EC6D2CA2E8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb0bab710013dd6152f24ade8e8dea119b96d11","datavalue":{"value":{"entity-type":"item","numeric-id":844888,"id":"Q844888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$F7A7E3D8-A017-456F-A9AC-4D41BA349173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e981302dab829f0c55401c61ad67a7642d0bdc","datavalue":{"value":{"entity-type":"item","numeric-id":611046,"id":"Q611046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$7D554BCE-DC2C-40DE-9919-EE870278007F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da53f321e5f5d18f3d41dceaa9fad169b946fb4","datavalue":{"value":{"entity-type":"item","numeric-id":3056279,"id":"Q3056279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$E2BF86DE-07DB-44AC-823B-A2DA6B4373B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9892ed2cbb55dbf2d2e3d71a6a86f7cf0ec7dbd","datavalue":{"value":{"entity-type":"item","numeric-id":5750399,"id":"Q5750399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$019B1CDC-3644-4667-BEC2-4FE0A060C788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$27A5140E-49B0-4CE4-B2E5-2B3D3184764C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee515d0630ff7e005bb0556910bd6a81ad02be5","datavalue":{"value":{"entity-type":"item","numeric-id":5553286,"id":"Q5553286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$BEB2F7AC-29CA-4B90-9386-160BE1610E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933f3e06b7c317df42e48777e48d9e0a9f990e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4768638,"id":"Q4768638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$A0D06CE8-6540-4FCB-AD54-1D33D6FBAD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57784749ba6d7408b266cc505cfb00bd1bc700a5","datavalue":{"value":{"entity-type":"item","numeric-id":3542882,"id":"Q3542882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$5ED19EA6-10BC-4591-AB2D-D53C525B1259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b46364e633fd6e8829251e5ac30abfc60735d8","datavalue":{"value":{"entity-type":"item","numeric-id":4148951,"id":"Q4148951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478518$0A5895AD-E2DA-4355-877D-3A2C5BD04920","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5ad32fc6086eb23918d6b18636308b077f942bb","datavalue":{"value":"10.1007/S00236-014-0206-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478518$29D0DEEA-D886-4049-BFC0-5941B20B873B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf30f1448a75de16eaa12079170a5f7cc234ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3167497,"id":"Q3167497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a1a481d1aee8f78098bc2940a40c14c6a023ae","datavalue":{"value":{"amount":"+0.9854964017868042","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":"Q478518$E5DFF06E-DDDA-4C63-BB85-4B86AF083D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec0483abf257174895dab9f7925804facccf39f","datavalue":{"value":{"entity-type":"item","numeric-id":5458520,"id":"Q5458520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f062a455bfe612c2fbcbb0b647547e9cd28aac9","datavalue":{"value":{"amount":"+0.8924821019172668","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":"Q478518$F7277C86-C1D8-4FA7-B878-8E1527CECE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e738a682b64f5bd412266a08efb6dd8e5e313c","datavalue":{"value":{"entity-type":"item","numeric-id":844888,"id":"Q844888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada131c5a99c3fecbff4c0060e193491ffc75748","datavalue":{"value":{"amount":"+0.8911580443382263","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":"Q478518$32D30859-20AB-4032-8834-630B9CB87A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4697bea3cb6c5eaee40239d6c54879078034435","datavalue":{"value":{"entity-type":"item","numeric-id":2843092,"id":"Q2843092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5600f0d06b1999bfd2d2efa991738f801fed07a3","datavalue":{"value":{"amount":"+0.8628902435302734","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":"Q478518$2D92671B-90FF-434A-A925-4C7C04F6BA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77e3cdf4e0779fe9618d6fe901ede160c24a0bc","datavalue":{"value":{"entity-type":"item","numeric-id":5173291,"id":"Q5173291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820a436a1b1dc696a38afd388418ebc26246f32c","datavalue":{"value":{"amount":"+0.8510464429855347","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":"Q478518$C124A348-4461-45E8-9A9B-198C0F424DAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Head and state hierarchies for unary multi-head finite automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Head_and_state_hierarchies_for_unary_multi-head_finite_automata"}}}}}