{"entities":{"Q3503894":{"pageid":5533798,"ns":120,"title":"Item:Q3503894","lastrevid":50377997,"modified":"2026-01-13T22:30:27Z","type":"item","id":"Q3503894","labels":{"en":{"language":"en","value":"On-the-Fly Stuttering in the Construction of Deterministic \u03c9-Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5286068"}},"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":"Q3503894$E9361A54-16B1-4488-9838-A527AAF4FD70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01acfb22fa8f043f4ebb2731890ebffbbf7e64cb","datavalue":{"value":{"text":"On-the-Fly Stuttering in the Construction of Deterministic \u03c9-Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503894$B41CC4DA-1F00-4658-B178-CF246759F8F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f633bd37887b8e37515dfdb2138f68f619a4ecdc","datavalue":{"value":"1139.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503894$CCDD3627-B774-4CC0-A372-659E965E27E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b34bb12287f35ef1209a7c6bb0e4d61d10088d4f","datavalue":{"value":"10.1007/978-3-540-76336-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503894$ED7C9270-92C7-4F92-A046-6081E58F7D09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25777c84de0bec6686a1c05a5e686b2e7021d4cd","datavalue":{"value":{"entity-type":"item","numeric-id":860861,"id":"Q860861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$152D4BEC-AE11-4FDB-AD1B-6626C5F18EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$441A2556-57AA-4B78-8B5E-504B60806544","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$BD2AC957-2CA8-4120-85D9-CCC8176CCAB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02f425c9fa8666905f3e65543eb13845c1c7986a","datavalue":{"value":{"time":"+2008-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503894$5F66EF50-6EA6-4AC7-80CD-B9CDBB9A92B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503894$B7CD8845-8E97-4D71-96FC-F4B3FD992F2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff30ec394f4253de034ce41988c3bfe853b1e4e3","datavalue":{"value":"5286068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503894$C4F06C53-41AB-401D-BB1D-90143977178A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b037cde32a17a81d11a4f81a1000c2226890ce50","datavalue":{"value":"stuttering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503894$A4321244-DCFD-47EC-A101-538868718A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503894$4E0BCB11-39A1-4835-9ED3-B27815491A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503894$7F06496C-A5B9-40EC-8A8A-EB715AB86544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8391673bdc123e3fe23f1efb3ce15d4a057d5bd","datavalue":{"value":"Rabin","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503894$04C593DF-4AA7-4111-93FB-51514FCBF056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4372fba8f125874a6a22d99ff9afac3a67ea2e2","datavalue":{"value":"deterministic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503894$CC9326B5-5BAB-4A35-A130-6C9FE8A10EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0033d72a66c22aa56640ec7b048cbe773155a59a","datavalue":{"value":"\\(\\omega \\)-automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503894$8093C4A4-ED39-4BE6-99CE-51EC99ED3910","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":"Q3503894$A3D34D5C-D8DD-4344-BEF8-D8857E152057","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e87e2e8889cfa92925ae835cb66907646c330a1e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-76336-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503894$029755A0-B4FD-4580-BC38-E84D684FD44F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80df11cb7c19621b61cb2ab537c02ee9795e48dd","datavalue":{"value":"W1557490459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503894$F30665A0-DEBB-4362-84ED-C95122FAE4C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$1D239582-4BEE-4C2D-95B0-A9C9BD898FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58166d2dec15bb9c4046220833826b2bdaa6563e","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$BEFB5A90-7432-45E9-AC2E-F62807F98D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370bcc1804636e81ced9f88785c3fe9081219375","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$1978DA7A-F1B7-4176-817D-72D590B98DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$16641DE8-0361-4F37-A8C6-37458C6A11C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be45294957aebe75e8eb08538c0f5017350b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":4817547,"id":"Q4817547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$9A559AC5-B532-4C6E-B1EF-97E362DE2F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$0AFC021C-0F44-48CE-872B-E557A302DF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025603170ae7d76412d0530e5903dffb5b6ad1c9","datavalue":{"value":{"entity-type":"item","numeric-id":1276242,"id":"Q1276242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$6F972E33-8A81-433C-B4C0-273E9BCE3D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222de45e43582c8da5e16a2f146681908685d2eb","datavalue":{"value":{"entity-type":"item","numeric-id":4356434,"id":"Q4356434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$2A66F1A4-7018-465C-B674-6A972DD26BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32aef2848b78ced22461a6480915726b399fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":294841,"id":"Q294841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$46CB90CD-B79C-4D2C-A01D-BBB7F8B747F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$42730973-8EFF-4F61-BE1C-45CA729E0AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$9A61B76B-D8F6-4CC2-B635-DC812AB7A857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503894$206031F8-03D0-47C1-8710-295513D50CFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bf7b0af19682526ee3b76641e473398a24c67b","datavalue":{"value":{"entity-type":"item","numeric-id":3460042,"id":"Q3460042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64c2ba3eb1991b137b17b1db43e2d78d142c244","datavalue":{"value":{"amount":"+0.7614338994026184","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":"Q3503894$75CD108A-8D94-4BD2-A7BC-10EA5F9D8057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4016b47e615578f71b078970015a62d86d03fba7","datavalue":{"value":{"entity-type":"item","numeric-id":4265535,"id":"Q4265535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80bbe0828cb66c47e00cf44bef7f407b10c0c5b3","datavalue":{"value":{"amount":"+0.7536184787750244","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":"Q3503894$98AB72D3-3527-4AA3-91AD-5C8ED4F1095D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a02a26b10b7a15d340c8330c520397781616f59","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d0e8c4477df028deee842e26c4730bf10104bf","datavalue":{"value":{"amount":"+0.7533775568008423","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":"Q3503894$9E31E963-39F8-4919-8334-AFC557F1FA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f713f7cd901baf7e1747fed471f73b13691097","datavalue":{"value":{"entity-type":"item","numeric-id":5897677,"id":"Q5897677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617a4b44df45662fcb57671877de10a8e518bb3b","datavalue":{"value":{"amount":"+0.7533769607543945","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":"Q3503894$0116D8EC-CC62-4392-B6CC-DCB9CACFDF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd585b1b2e5df1e5064eeb50b59f17275db54163","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de422cfb3de0c6dbac42982f769c44b013da858","datavalue":{"value":{"amount":"+0.7428034543991089","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":"Q3503894$672862F2-41AD-4476-9851-3B48C4055847","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503894"}}}}}