{"entities":{"Q25177":{"pageid":25233,"ns":120,"title":"Item:Q25177","lastrevid":56269416,"modified":"2026-03-13T05:51:06Z","type":"item","id":"Q25177","labels":{"en":{"language":"en","value":"Symbolic automata"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c37c93f934920bcec8541725d7771a39061c9a10","datavalue":{"value":"13262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25177$FDDFB053-2ABB-42CE-A5E9-1B9921FB9489","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"8cafc8f9296273dfd8ebc17428305e10276db7c6","datavalue":{"value":{"entity-type":"item","numeric-id":2894292,"id":"Q2894292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$C962B552-74BD-431C-A264-F05358FE1802","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":"Q25177$1C338B04-9153-48AA-BD31-BFF7C60286EC","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"04299838e3c529216229ca22b8346dd09e5846ee","datavalue":{"value":"http://research.microsoft.com/pubs/157565/symAutTACAS12.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q25177$149C6167-3208-44BF-BC8F-DEF749142A7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25177$0889A84D-44C3-42AB-8D31-D2F4D88ACE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25177$7FC25D17-1EBA-4EAD-B25C-B17CEAAA76BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25177$0868F695-B4AA-402A-A526-8E01EA4340B9","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5247ba9a052d386d4e1d5a38ec16ab40efe1765d","datavalue":{"value":{"entity-type":"item","numeric-id":21145,"id":"Q21145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$E5D044F4-0857-43E8-81D5-95D97A9B8BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28c3661cef8b55fa7be63e1e0776c729123a0926","datavalue":{"value":{"entity-type":"item","numeric-id":21843,"id":"Q21843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$FB03B422-C623-4FFA-8A96-48EBAC452821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$7698755D-04FA-47E0-9C1B-59C7AF37F4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6b20f2abefdbdde450af569b62afe73ee64cd8b","datavalue":{"value":{"entity-type":"item","numeric-id":53518,"id":"Q53518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$D3EACC73-384A-4F0E-95E0-5BA2E7F4BBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"94333c41369e860f8294d1d0881694ed9a58a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":33657,"id":"Q33657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$77BEBDE9-211D-4388-A9FC-8F78DC8E9037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fc8ba3572a0c1b8f310795ba3dc3d4f35c65f5f9","datavalue":{"value":{"entity-type":"item","numeric-id":38174,"id":"Q38174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$16F89394-A404-4610-A7C5-42D86B3FA27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"33a2c00edd213d9c703e35c0ce5b77b6ea1dd277","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$8DFDBACA-91E2-4C65-8D26-5D2256926D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"15cf6162efa291cebe5dd972dfa4eff00017a3e7","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$042CA811-EA84-4BDC-BEE9-B1AAFCA30765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5263d9251d0d861e7cc940dda999dd635f8783c9","datavalue":{"value":{"entity-type":"item","numeric-id":23824,"id":"Q23824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$BD9D55F4-0D29-489A-A105-CBF2957DDD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"21ac0ce33ff9fe81fbefb6b70fe4d49e97e0f1f7","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$B7BA5D0A-586C-4947-BD30-E53CF6803781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0c09fac9e20e2c389397bd1407a1cd71e0fc006e","datavalue":{"value":{"entity-type":"item","numeric-id":29573,"id":"Q29573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25177$57FA60F4-6181-4953-94EC-00A09446CD24","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":"Q25177$B852695F-0590-46DA-A71B-E1F5331BC866","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_automata"}}}}}