{"entities":{"Q4460601":{"pageid":6490200,"ns":120,"title":"Item:Q4460601","lastrevid":97332350,"modified":"2026-06-05T14:08:06Z","type":"item","id":"Q4460601","labels":{"en":{"language":"en","value":"Language equations for timed alternating finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2065975"}},"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":"Q4460601$9720A51B-5886-4998-A84C-CE34AC742606","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"398c7a54739f226cfee1bf2529064d0f79ac89b8","datavalue":{"value":{"text":"Language equations for timed alternating finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4460601$1BF8ED45-F1F5-43C6-8CE1-AE5115B60EDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecd9b9c9d11f073b3e7f05a60e6c496a199a99be","datavalue":{"value":"1087.68570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460601$0456B16B-E8C8-4C71-A2D0-DC8C3DE6B451","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93d9f0a60b15a462e692d3b625a02d275fe3b991","datavalue":{"value":"10.1080/0020716031000148205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460601$120702A6-BE30-4779-84F3-5551F0E19E75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"816b5566728f28c8320edfc7dbb016801a5c9526","datavalue":{"value":{"entity-type":"item","numeric-id":4460599,"id":"Q4460599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460601$6E69D766-1C4D-4FEB-B36D-CB5809B1ACDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"089242b96461c045cd6d23fa7d1e6a31aee4f19b","datavalue":{"value":{"entity-type":"item","numeric-id":4460600,"id":"Q4460600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460601$AD1C7BA5-0927-40E7-A1AC-83470C96F2F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460601$2AC08D9B-F446-45FF-85DD-8D8E5B644165","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f2c658547352f67a9de92adfcc83c5224bfe428","datavalue":{"value":{"time":"+2004-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4460601$F8F0D423-213A-4260-B5C9-A6F4C1200A52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460601$54247E8C-31B8-412C-9E24-5B5FE6F1B9C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d05dfa5fe3d4fe0399d24859c99d0d121575776","datavalue":{"value":"2065975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460601$4AB59F2F-E56D-4D63-B242-1F04B14AE857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69b01800308ef7ce110fe8bf074dfef390f74ff","datavalue":{"value":"Timed Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460601$1A068A3E-8650-48CC-B231-B8553DFE266F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d026c925c4aa5766b197ccd93ad1f6295bc3b7","datavalue":{"value":"Timed Alternating Finite Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460601$E824A4DD-7A23-4A65-B4C7-EA2402B5C56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75e73083fad9cecde8718474282d374f53b73a6","datavalue":{"value":"Timed Regular Expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460601$7E32E7EB-C589-439C-B56D-1E11FB020DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54aa643aeb21e89a42c2e41a83f85e7debc82c56","datavalue":{"value":"Language Equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460601$0C6D2E9C-450F-47F2-AA77-2F000FE2BCE5","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":"Q4460601$BF2C4086-0FD2-4528-8239-3A60A4D36CD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"687eded1c287b9c45d744ff6e3155876d308eb70","datavalue":{"value":"https://doi.org/10.1080/0020716031000148205","type":"string"},"datatype":"url"},"type":"statement","id":"Q4460601$B74721BA-9B74-4A5A-B15A-3F6A3C91F8D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbd7f6144958512ac82502d7b0c783be936ceb21","datavalue":{"value":"W2091011159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460601$70834B24-32DC-4E94-91E8-43D7A7234C21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d074546293c0df2855bc55fc92d5a406e04c150","datavalue":{"value":{"amount":"+0.7864504456520081","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":"Q4460601$D260C596-5764-4E1D-BF6C-8A3989448550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7229bff87447c2b4955dd697a0cd30b065d1b05f","datavalue":{"value":{"entity-type":"item","numeric-id":5496927,"id":"Q5496927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2a2391ee81a7e4b97836d35bf56338381121d4","datavalue":{"value":{"amount":"+0.7833330035209656","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":"Q4460601$E60EB260-2367-4AC9-8F24-1A6194376631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33aaa3bb3097f04898b89d50f1f3ceb6cb05fbd8","datavalue":{"value":{"entity-type":"item","numeric-id":3196640,"id":"Q3196640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eeb3a3913b28c41e04cfbc64968123fe3e50a02","datavalue":{"value":{"amount":"+0.7794889211654663","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":"Q4460601$1A1DBF3F-82E1-4BE3-A950-D5461EFF7675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3713ab19c69ba72c4fa21353c1dab30c48e96b","datavalue":{"value":{"entity-type":"item","numeric-id":1608937,"id":"Q1608937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc4c214a387e4dcdea0fb14ad9f726bb74fe3ff","datavalue":{"value":{"amount":"+0.7704201340675354","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":"Q4460601$8F989E14-E814-4949-B4A0-B69C1A77C161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4fca16a0a29c450cfab54b33d6bf08726382d3","datavalue":{"value":{"entity-type":"item","numeric-id":5277799,"id":"Q5277799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea05533bc45554909d61189fd1d81ee7bd0ba14","datavalue":{"value":{"amount":"+0.7678564786911011","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":"Q4460601$124112F5-7B9B-4C6D-8458-F4129A8888AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Language equations for timed alternating finite automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Language_equations_for_timed_alternating_finite_automata"}}}}}