{"entities":{"Q5974534":{"pageid":12562179,"ns":120,"title":"Item:Q5974534","lastrevid":105429071,"modified":"2026-10-09T10:11:12Z","type":"item","id":"Q5974534","labels":{"en":{"language":"en","value":"Transition_Systems_and_Automata"}},"descriptions":{"en":{"language":"en","value":"AFP entry Transition_Systems_and_Automata"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b053bc30f08e23959ba2c0ad3211913d008a641f","datavalue":{"value":"45546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974534$A1775F2C-44A5-4559-9F77-A302860AAD3B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$AEFCC388-CFE2-4199-B0D5-CD1865196D0B","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c1b40e36054ea534d858d5b16cd8c22cea2738cd","datavalue":{"value":"https://www.isa-afp.org/entries/Transition_Systems_and_Automata.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5974534$C83F29BB-FA8D-4D3B-81F9-7EDC077E0DA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974534$273D3429-9A30-41D5-AA35-4B0C8A90CB60","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$70DF7BDA-414A-4EDC-9DAA-0901AC112E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b44b4a0b6eed96cdc70d2d21fc12542b8ac5ca3b","datavalue":{"value":{"entity-type":"item","numeric-id":53723,"id":"Q53723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$A5CB4C6F-CE70-4C23-A718-C6DEBE2D2BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$A9C4A768-F803-4BE7-A13E-2AE4DC6C6AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2c30f33a520586f4e186c4684f96d47e7cca3b8e","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$1C8BD486-9B7F-48AC-9FBE-A16066E73A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac6e4b2309e3317f96b1f72a4f626411283f5bc5","datavalue":{"value":{"entity-type":"item","numeric-id":40629,"id":"Q40629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$4E8C689E-1E39-483C-8CF4-B67779F81576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"587eb1ff352d74d75ec39594cac10abdfc1440c2","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$4664E71D-1D8E-45BC-9DF4-DCA5A26D063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$63ABC723-235D-4FC4-B9CB-A20E0BCB3357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$4B6C6B69-AEFE-4029-BD93-656D22BA6B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d10dd4c1e681284b989794c202c9ce3e607c552f","datavalue":{"value":{"entity-type":"item","numeric-id":40543,"id":"Q40543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$E10703A3-09AE-4501-BCC7-60CB970688AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$A26963D2-59E2-4826-8079-91F9F44085A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$3CF362F7-B027-454F-A517-09E902230BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b49b6cd0d730920a3a4cd5d33a24263cc6515903","datavalue":{"value":{"entity-type":"item","numeric-id":43940,"id":"Q43940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$DACCC336-1677-4084-B7B6-35AA02FE4707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c9cd4705799de8b5e47d78911c1af4bfa152faf4","datavalue":{"value":{"entity-type":"item","numeric-id":43930,"id":"Q43930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$AFC47059-2C9D-44B7-97D7-9AB91FD55F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fb0918295880c75ce7e6107c7f8260e1eb005ccf","datavalue":{"value":{"entity-type":"item","numeric-id":40284,"id":"Q40284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$3E53C13B-A9B4-48B3-BF50-FCD2336110C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aedeaf0144ca38f7cb9a3b8f0e43e0ed5b0f0353","datavalue":{"value":{"entity-type":"item","numeric-id":40283,"id":"Q40283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$1F8ED13E-D90C-462A-BE8F-710278D22372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f37c4bd9e3a1e8f671d27130134b89693886108a","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$3817E3B0-A49E-47B8-B4D7-1EB7A4A572E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$16E920A2-35A5-40B3-BD68-DBA0F4CCD6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1d9a241ea62c19819316dc010d562c6313b3903b","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$EFF06FEA-0327-4BBE-8A0B-637ECF9892AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e5ebb052c1f1d23cd7d112004e41fecc2906555","datavalue":{"value":"https://isa-afp.org/entries/Transition_Systems_and_Automata.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5974534$94CBAB58-64A1-4018-8A2A-6D5564BEBDE5","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"858e1b98f2a2702d86b0690e1e15aa540fc68e16","datavalue":{"value":"Julian Brunner","type":"string"},"datatype":"string"},"type":"statement","id":"Q5974534$4B880103-F648-4850-B7AB-7CBEF39E0E28","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e69ae0a2b1cf7a47f9e8badf883496bca84f6dd7","datavalue":{"value":"This entry provides a very abstract theory of transition systems that can be instantiated to express various types of automata. A transition system is typically instantiated by providing a set of initial states, a predicate for enabled transitions, and a transition execution function. From this, it defines the concepts of finite and infinite paths as well as the set of reachable states, among other things. Many useful theorems, from basic path manipulation rules to coinduction and run construction rules, are proven in this abstract transition system context. The library comes with instantiations for DFAs, NFAs, and B\u00fcchi automata.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5974534$5D873D29-6E05-434A-BC56-EF4D2A1500A7","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"f0d6ccc9a00d2d1e3be7ec2239689671c14dec25","datavalue":{"value":{"entity-type":"item","numeric-id":7361918,"id":"Q7361918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$95795E84-385E-4C6A-B2D7-99BE51FD7D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c0e4b154d3cbaa6adcd084b741855073f781fcfd","datavalue":{"value":{"entity-type":"item","numeric-id":7361011,"id":"Q7361011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$9C12274F-CFE7-4A65-8EB5-FA113EE290F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"fd79867ce10ec25799473c4691ec619caa547136","datavalue":{"value":{"entity-type":"item","numeric-id":7361723,"id":"Q7361723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$2DBB4A56-23A8-4690-934D-B77935AD2CAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09fed704422914cfe2a4482b61f3f610c89a1884","datavalue":{"value":{"time":"+2017-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5974534$9DA02342-E5BA-42A0-BD57-DC4D27529FE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d01f295bc1c9d9262ae012884897529fa3074807","datavalue":{"value":{"text":"Transition Systems and Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5974534$E464AE91-AA0C-4085-B0D2-1BD47647403D","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$AC468A3A-D2CF-4DF5-A32D-B547F0AD42DE","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974534$3FFC1A22-BF1A-4A57-81F4-1950AA3BA6EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transition Systems and Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transition_Systems_and_Automata"}}}}}