{"entities":{"Q6897645":{"pageid":20883184,"ns":120,"title":"Item:Q6897645","lastrevid":84183527,"modified":"2026-05-13T06:40:16Z","type":"item","id":"Q6897645","labels":{"en":{"language":"en","value":"The theory of reachability of trace-pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8123944"}},"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":"Q6897645$50E0F4EF-1929-4588-BE85-310D45A7E76A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97a11f1d6c747583b5db6fc7081d9bbaa1712b90","datavalue":{"value":{"text":"The theory of reachability of trace-pushdown systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6897645$6470FC1E-2DBE-4B5A-B6A0-9886A0576E87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f9edd3891739f519a8f04321cdf714e54305ac7","datavalue":{"value":"10.1007/978-3-031-95908-0_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897645$C460258E-2FED-4997-8ADA-39FC8E1D76CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$B755EC07-DC78-4E64-8975-6935DB4CA2CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"804cb8321879b3a50f4d87280bc7c6e87039f39c","datavalue":{"value":{"time":"+2025-11-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":"Q6897645$99028471-7B5A-4D89-99EA-A84CEC12D7AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897645$F59F500F-065F-4F17-9B6A-448E28FDB216","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdb10bffe7e3cd74812730b576ecce92b6c3243e","datavalue":{"value":"8123944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897645$F51A85AD-9F7B-4850-9318-1DD63B8066D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0472569160d89698056e160debeeb3d577e82c6","datavalue":{"value":"pushdown system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897645$C67A2884-43C1-41F3-9A64-48C86D8227AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e28125a574675d357015f24f34c39fd048ab013","datavalue":{"value":"Mazurkiewicz trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897645$1C46622F-758C-4FC8-8D3E-7F6033C40198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897645$1165CBD1-4CB3-428C-92A4-2D394476A565","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":"Q6897645$39FFB6DB-0292-4EFD-941E-AFB12062F8FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e2f28c5e39cfecc9d8cb690766cf09c1b2d7b","datavalue":{"value":{"entity-type":"item","numeric-id":1764419,"id":"Q1764419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$EC0CE430-0022-47BF-B2B4-D44630DDDAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$6B61092A-555D-4B41-B491-24041C09F575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$CF85829C-7581-4C0F-A5A3-E299795B8416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641b6fc21edf378249372794a9ba864057f363e9","datavalue":{"value":{"entity-type":"item","numeric-id":4635903,"id":"Q4635903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$57C12EA0-DCFF-4F32-AF35-0EFB4334770C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9051f3f6f25a0879f4f9d21a6e909b73210fbd9e","datavalue":{"value":{"entity-type":"item","numeric-id":3601328,"id":"Q3601328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$A04B44AB-64E9-4AC1-BDC5-E13171C9C0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256fb010afdb6cf5267ab2f8a47e2eaeb131c063","datavalue":{"value":{"entity-type":"item","numeric-id":596085,"id":"Q596085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$279F6EF9-5079-440A-BCE0-296AA25F52A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34bed4c2b4475236f2522c75bb98ad99df444276","datavalue":{"value":{"entity-type":"item","numeric-id":4867134,"id":"Q4867134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$204E2938-3D82-4393-9E8B-641F33FC15DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddac2cb0cab9a9a11856f9a2de1033720694bbf0","datavalue":{"value":{"entity-type":"item","numeric-id":5145615,"id":"Q5145615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$8652897A-D269-45BE-BBF0-B11F8C8AC5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e99e341bc136b2b72b14fe15c3f49fc3754fd5","datavalue":{"value":{"entity-type":"item","numeric-id":1168306,"id":"Q1168306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$4D781348-9D4E-409D-8232-424B0D6493F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e2f29ca49f5728b0cf7ea6bf3e38e11010db49","datavalue":{"value":{"entity-type":"item","numeric-id":1233317,"id":"Q1233317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$35D535BE-3CF7-4C6B-B106-76C913EAB465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d471be6e0689cd8a01b7a64309ad0bebc1f64b0","datavalue":{"value":{"entity-type":"item","numeric-id":1608933,"id":"Q1608933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$CA991E5F-EC8F-4DB2-88C4-A68DB906A8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c7770f1883759617e816b84cb036f51ed6dd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3618533,"id":"Q3618533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$51CB29F9-7521-434F-90EB-57A2FC2A2C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4f27326ba1b39abb6810942a72d8b72dba84e","datavalue":{"value":{"entity-type":"item","numeric-id":6064290,"id":"Q6064290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$438C098A-2FBD-454F-8CFB-73CD34D02D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c1bfcf06f0a15e5e5f5bdbba19742af75d1356","datavalue":{"value":{"entity-type":"item","numeric-id":6655673,"id":"Q6655673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$597DA6E9-BECF-4704-88EE-F0DC143B92B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90f7880d6f149d967c85b2221675d1832f195b7","datavalue":{"value":{"entity-type":"item","numeric-id":3642525,"id":"Q3642525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$0F841F0A-6C6E-401E-B976-11CBD540A50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b639e71e006b5e4125c5cba2ae7a1073e2e4dda6","datavalue":{"value":{"entity-type":"item","numeric-id":3570167,"id":"Q3570167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$3E8487EE-BCD3-473C-9A24-71AFE3F09A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6846e071217528464c44120b5a7e0c218e0d85f9","datavalue":{"value":{"entity-type":"item","numeric-id":5929312,"id":"Q5929312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$922A4113-66BF-4283-9F10-5EE5E33587C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02b2bccaf72cca161dfcf9ba06124349a32a0c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1041050,"id":"Q1041050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$E9521E7B-C27F-4271-8B6D-8727C33E6DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b26e20a31d304a65db33daf659790af170272d","datavalue":{"value":{"entity-type":"item","numeric-id":3503740,"id":"Q3503740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$4DB2E5AC-D418-4EE7-A423-78F4A4E242AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523ef74a718adaa58494bb00007c2e56c595f08a","datavalue":{"value":{"entity-type":"item","numeric-id":2662504,"id":"Q2662504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897645$A3376C08-BCFC-4424-AFA8-A6E237CE37F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The theory of reachability of trace-pushdown systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_theory_of_reachability_of_trace-pushdown_systems"}}}}}