{"entities":{"Q7266643":{"pageid":31045088,"ns":120,"title":"Item:Q7266643","lastrevid":104268323,"modified":"2026-06-22T12:56:40Z","type":"item","id":"Q7266643","labels":{"en":{"language":"en","value":"Reachability in trace-pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8211181"}},"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":"Q7266643$A5857DE8-D5B0-4B46-8B9F-40A3CC2B2223","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80c49815f8d016cff9816735a7e536806191d3ca","datavalue":{"value":{"text":"Reachability in trace-pushdown systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7266643$D75572D6-D880-45A3-89F6-9804722A8BC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3769746dfbeb752124c84814ca14f0f6904c09fe","datavalue":{"value":"10.1016/J.TCS.2026.115971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7266643$D5944715-16E8-4934-B0CF-B6E8CD0E1149","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"415a4d08294d054168d31f6e0206d74f4883588a","datavalue":{"value":{"entity-type":"item","numeric-id":825975,"id":"Q825975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$44317C8C-B360-4D0C-913A-D0D69CAAE651","rank":"normal"},{"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":"Q7266643$84AE7823-0CE4-4CA5-81D4-7CF7BE0F999D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$FCD63887-B905-4EDD-B40A-B52D87C4FDD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b907fe0fb51e1c6e88858426e2720eaf0df06e0","datavalue":{"value":{"time":"+2026-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7266643$6B8A9508-44CF-49D5-ABF5-D4855B6B9CE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7266643$CC6AB19F-6592-45F7-9F88-84E345E8B6FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b321dda86c6e008728834ad30e4d340a527f7645","datavalue":{"value":"8211181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7266643$749BB06D-0BE1-4AD0-AFF6-7BE8B09BA381","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q7266643$54139F5A-022B-461F-85BF-3F44941CEABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7266643$6DAC5B1A-D57E-48AC-900C-42053D153EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84741d92afe8fc80c594aed6b861040ad27899a","datavalue":{"value":"pushdown automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q7266643$57C4BEDE-EFA0-49F1-8163-1E299C0EA9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q7266643$205F34FD-120D-46C9-869D-A5FA86D25934","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":"Q7266643$E641EA63-C7DD-43F5-9791-2223B0D4FAD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42985150ee5e54a8ea9f5810b380460fcb85676f","datavalue":{"value":{"entity-type":"item","numeric-id":6546604,"id":"Q6546604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$05292222-F7D9-4F78-B436-5547AA0C9A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4071a56fcbf37cb83af9308c7c584d38f0c5f10e","datavalue":{"value":{"entity-type":"item","numeric-id":6951717,"id":"Q6951717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$7312D0A1-6D8D-472F-84D0-AC48ECCF785E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f63602864ba0f92673863c4e08e8c412c43a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5845381,"id":"Q5845381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$D4D77AD0-2339-40F5-A02A-C6B524C0A858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6473c3e86b72de5065fa5f2153919d4fac2fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5338328,"id":"Q5338328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$8F98A6A1-C317-476B-90B7-3165380DB072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc84eeac678e263c546f9daeb170edba9de98a1","datavalue":{"value":{"entity-type":"item","numeric-id":4027621,"id":"Q4027621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$FC5349F8-6864-4688-A568-1EBB234C58C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$82A341A5-52CF-4FDB-ACE3-3685FBF8112A","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":"Q7266643$269FA3DA-DD3F-411B-B6F6-95CE6D23A93B","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":"Q7266643$487A5542-26EE-4668-A28C-7ED676B192E1","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":"Q7266643$7A571E37-082B-4086-AF75-7B2ADCE2987C","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":"Q7266643$033F0031-FDAC-4447-8D3D-0C506A1EC3B7","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":"Q7266643$D235DD6B-3E6A-4EF7-84BB-0E94B559197A","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":"Q7266643$8F97F475-D512-471F-9AA3-C09EB12EC4E2","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":"Q7266643$57652FD3-55E2-4DE4-BC1E-45530FE62FD6","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":"Q7266643$1B6743E9-AECE-409B-A5BB-6618FBE59528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d706b51247e6e946956fa86b907eba0aa40828","datavalue":{"value":{"entity-type":"item","numeric-id":1675163,"id":"Q1675163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$E1DD125B-EDD4-417A-BCDF-B6EA60A01939","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":"Q7266643$3F08FFBC-A41E-4B22-BEE8-EECAF7A8B51D","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":"Q7266643$D5C35340-B0B5-422B-9DD7-86A679578C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f4513033ec69ec593d072da8c92653d1918f56","datavalue":{"value":{"entity-type":"item","numeric-id":5327453,"id":"Q5327453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$ED6388EE-BB2B-474B-952E-273CDC34052F","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":"Q7266643$E0BBE849-8B69-4F58-B6D1-E3E10A0AF3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3224b3ee4e2065842acb7ecef1d84c9102fafc","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$E452D728-5E8F-4706-8833-AE9AF36FBD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8323578f1bc3f7c7f8014c6f09aa7ff9af74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5507511,"id":"Q5507511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$A1397D9D-5AAB-4680-B54E-10B911CB7689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$EB54FEB4-CC15-444D-BE67-E85211886108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a43a81f9f2997f76b435331fdf567fd8b5d06d3","datavalue":{"value":{"entity-type":"item","numeric-id":3753510,"id":"Q3753510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$EF8FED70-69A6-448C-9BB9-8FBEA116A947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5163a190d3b3bcaf278fa611cf7e0004d711bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3845886,"id":"Q3845886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$17CF4BED-63B8-4FA9-BD17-7E4E03CDA978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b31a52389be07054ca875395c649c7b29fc713","datavalue":{"value":{"entity-type":"item","numeric-id":3736919,"id":"Q3736919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$D8ED0021-62D6-4553-BBC6-B855BB09462D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$728E34CF-756E-41C1-8679-9286AE7D2075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ea570de5b6c76801ba0688e68d42f331f48b56","datavalue":{"value":{"entity-type":"item","numeric-id":5042249,"id":"Q5042249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$D61399B1-2179-45F1-9BDC-46778F3ED28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbd0c5139cd54c5bc85147a9057c45e6c7edee7","datavalue":{"value":{"entity-type":"item","numeric-id":1220392,"id":"Q1220392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$EFA13744-AAEE-4608-B0DF-3DA86E238733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9072695c095fec3eea150876644f1584fead59","datavalue":{"value":{"entity-type":"item","numeric-id":1824384,"id":"Q1824384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$42803DD9-CEF1-4372-85DC-688D074B9647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae92f67e434bd08c60b8fd712620b2f1249da77","datavalue":{"value":{"entity-type":"item","numeric-id":6897645,"id":"Q6897645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7266643$B910CC86-8090-44AA-B4D1-934A4C150A2E","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":"Q7266643$A7E2F357-9D4B-442A-8F60-AA4BFA44A1E1","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":"Q7266643$FB45A598-0518-4CE1-814E-BBCC39EEB8AD","rank":"normal"},{"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":"Q7266643$3AB9747E-F1AC-4FF6-82B6-A19834C8E591","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability in trace-pushdown systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_in_trace-pushdown_systems"}}}}}