{"entities":{"Q1191024":{"pageid":1201773,"ns":120,"title":"Item:Q1191024","lastrevid":42933775,"modified":"2025-07-16T04:14:24Z","type":"item","id":"Q1191024","labels":{"en":{"language":"en","value":"Finite automata on directed graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 58910"}},"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":"Q1191024$BA915362-0172-4D7F-9DB0-657DB1CB57E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"010da3238b02057a5231fb576aea69c29c67c958","datavalue":{"value":{"text":"Finite automata on directed graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1191024$C801EC34-1AA1-43CB-8E28-49D35B52F1B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"449d1b8cca36f783b47addbf9ad55b3527595369","datavalue":{"value":"0749.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191024$00BF4880-B53B-4585-B9B2-BB5E0C897488","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4b266a40dd0cb71b814d4906c37fedda93121ee","datavalue":{"value":"10.1016/0022-0000(92)90012-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191024$BC421F2A-3AB2-4BDC-95F0-657F3D2B4EFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$4C57D83E-1A21-4AC8-BCA7-A03AEDFE9A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87bb7a2c91ab52ebd2ceb6868f4a4ba13b1dbded","datavalue":{"value":{"entity-type":"item","numeric-id":1095650,"id":"Q1095650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$0184FDFA-747A-481F-8FD8-BDDE1D1CEB1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$49E2958E-C407-490F-A6C4-1EEAC388A5E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1191024$64EC490D-8ED8-40A6-A84E-2B73FB3DCFA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"725c8606ef0ccb0eafbf1a05845df42407cf6168","datavalue":{"value":"From author's presentation: In the first section are given the basic notation, the formal definition of graph automata (GA) and examples showing how different types of automata can be expressed in terms of GA. In sections 2-4 the closure properties of GA and the proofs of these properties under intersection are presented. Finally, in section 5, is proved that the emptiness problem for GA is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191024$244BEF10-192A-4975-9697-8D4F9FFE3026","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191024$67A29417-5F79-4399-B7AD-372DB80F356D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34a4264aa4aaf8f8dc56550fcb9b7d715d2fa56a","datavalue":{"value":"58910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191024$B5BE21C1-6934-4BEF-AE89-60694B0A142B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267f0216d57369ce85bda3d01c5bee331e26862e","datavalue":{"value":"graph automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191024$4BFF47D2-4C8D-48CD-94A4-36A85E64CCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191024$54CC9387-A952-4E78-BC49-11851B599E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191024$E033B8BD-090F-4CB6-8BE2-49B53A5283AB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"19731b52ec6f6780f9739de7ae6a6ae15351eb00","datavalue":{"value":{"entity-type":"item","numeric-id":589305,"id":"Q589305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$8E19A9F5-61F5-4E5D-A2B7-FC6910E3BBE1","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":"Q1191024$FC05587A-6F38-4F5E-BDB9-61BB5402965D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a07b635edee3a5b83cba7f148535d5c6e4ba2a3a","datavalue":{"value":"https://doi.org/10.1016/0022-0000(92)90012-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1191024$FFCA71EB-0679-4189-A3CD-899AE902559B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b59072cce1e9ca64dae9ad1a780730aa0348190","datavalue":{"value":"W2125604350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191024$B7FAA712-BD36-4BD5-B1B2-0FCB4CFE31D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf4dae9a78ba0faf4348899879d3cffee2a4636","datavalue":{"value":{"entity-type":"item","numeric-id":5618355,"id":"Q5618355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$164CE90A-965E-4BF1-9C02-A6A4BC37A38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$D6BBE366-293D-4A5C-A17F-1BA77B8ACA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$B1DE76E1-4E6C-4219-83CC-3331CB975F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$5757644F-B837-43AE-9857-99E6536802F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$3DCE8D75-A6F5-4D6C-875C-0B5D285255F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$4D7A2D50-27F9-41D9-8736-CE40A0633AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671f946425b9d8a9eed0a4cf558cd13d172e4050","datavalue":{"value":{"entity-type":"item","numeric-id":5583072,"id":"Q5583072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$4F4DF8E8-4DB4-44A7-836A-35CDD27006A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$15E80FB6-694A-4EEC-9A4E-F3CA8A02B829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$4647E0E6-BAFF-469C-8E70-B078CF65BB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$0701CC52-611C-47EF-94C2-BB6EDE6EF5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191024$A36878CE-01E7-4FFD-B3DC-6E238256DA18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a79ce2ca218642b93e58897fc75ec1422cb64a","datavalue":{"value":{"entity-type":"item","numeric-id":3326868,"id":"Q3326868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58aa78643855e6b3fb8592c8e139c0a7b271707c","datavalue":{"value":{"amount":"+0.9437124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1191024$01532B08-4084-4886-9D44-AF310910FC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cb60dd8f0b6b9898fd1683a5e75d1456f9bdb4","datavalue":{"value":{"entity-type":"item","numeric-id":5896093,"id":"Q5896093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ca68acf40c388fb1108b99d51ea9502e4a55df","datavalue":{"value":{"amount":"+0.92148924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1191024$B2BC457D-2EBA-49AA-BDEA-A7146D3792BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"068a0891a2c96ec03a8f09d6e442ecab0f0dad7f","datavalue":{"value":{"entity-type":"item","numeric-id":5918649,"id":"Q5918649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ca68acf40c388fb1108b99d51ea9502e4a55df","datavalue":{"value":{"amount":"+0.92148924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1191024$7563521A-C3A6-4D13-A6C6-D0C6C66890D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f684fd742e22fad1f48e4706c91294227521cf","datavalue":{"value":{"entity-type":"item","numeric-id":1399978,"id":"Q1399978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5a8e20714d1594af2f6b6a4a512c8e2e6a2fd5","datavalue":{"value":{"amount":"+0.9164204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1191024$D50E3B63-D9E5-40E0-BCE6-498349A44C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0595f15bf8aac5c1c4829532186a7f629ecea549","datavalue":{"value":{"entity-type":"item","numeric-id":5042606,"id":"Q5042606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218f1b449b39c3bac1f6281e8a94587fe5ed3c5b","datavalue":{"value":{"amount":"+0.90746844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1191024$368EE4DE-49B6-49EE-AF0C-774EB22D400F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e419edc04788d16a0a7e7cd6b8151a793c5aeb83","datavalue":{"value":{"entity-type":"item","numeric-id":3541946,"id":"Q3541946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f882e365e81c03db8c229aaa634fe6c8e3e234f","datavalue":{"value":{"amount":"+0.89922017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1191024$99357F75-8149-4FC3-AC5F-4D99B082A02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc26196b7ec9498f19d3992b68861ab3d691091","datavalue":{"value":{"entity-type":"item","numeric-id":2481961,"id":"Q2481961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf7addbcc0b3c06a639aaf7da7711c89cb05207","datavalue":{"value":{"amount":"+0.8988116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1191024$113A0C2E-0E28-40CD-8D22-9450F78448B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacb3f96cd59a7fee0723d8f6824080a4f69754d","datavalue":{"value":{"entity-type":"item","numeric-id":3216678,"id":"Q3216678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567c002f41f30a6a4772d06788864be14dfb5a56","datavalue":{"value":{"amount":"+0.8975863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1191024$632E37FF-ECFC-4E55-A2FB-711E2E9D1D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7ae27808142128d4001e554a01e887261b67f8","datavalue":{"value":{"entity-type":"item","numeric-id":1770387,"id":"Q1770387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c7a403e895c5a1338200c17ad0a71b42986759","datavalue":{"value":{"amount":"+0.89167506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1191024$CBDE3A59-8DD5-4C40-B4DB-D5D9BFEB04CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053805f263b891ddd119172a65d3a144017fc774","datavalue":{"value":{"entity-type":"item","numeric-id":5096347,"id":"Q5096347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990c45760bbe099cd612303d31a45ac6820dd2b0","datavalue":{"value":{"amount":"+0.8891139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1191024$76F7B4A0-FDD5-46B7-B6EB-45AF7C4B759C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1191024","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1191024"}}}}}