{"entities":{"Q2636512":{"pageid":2647255,"ns":120,"title":"Item:Q2636512","lastrevid":79135151,"modified":"2026-05-06T13:13:29Z","type":"item","id":"Q2636512","labels":{"en":{"language":"en","value":"Trace inclusion for one-counter nets revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6880836"}},"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":"Q2636512$F1962399-7243-4DAE-B5FC-A8CB8B65AD9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f65395c7cfe6cf0de42cbd53955d11b19eee001","datavalue":{"value":{"text":"Trace inclusion for one-counter nets revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2636512$F4FD9A88-5BA3-4388-812C-239B2D2CE067","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8eba74279bff2300744583318f0108c3057d8b4","datavalue":{"value":"1393.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636512$6F70D18C-76FF-44F7-A88B-DA00DC907FB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa83eddc2a574af0633c5b9f4ce63a6fb453096","datavalue":{"value":{"entity-type":"item","numeric-id":2254492,"id":"Q2254492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$73AD4947-E250-4AC8-B1D9-6215219A2AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$66CFC4CE-FBC2-4EF9-823E-0EF7B1BF38CD","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":"Q2636512$6AFDE6B5-F470-487C-8EB3-F112FADCF1E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0db8ec9d38e6d67bc3486bdc04d499c4b9f9925","datavalue":{"value":{"time":"+2018-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2636512$FE9B0A0E-7D42-43A9-8DC5-01DC72EE1A15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afdc650d83959fed0be7c1c9c8dd3673c9b237a2","datavalue":{"value":"https://arxiv.org/abs/1404.5157","type":"string"},"datatype":"url"},"type":"statement","id":"Q2636512$333C7A4F-82B6-420C-A5F6-DB085FFA39B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636512$CB303201-B81D-4789-B6DD-5047EBCD6FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636512$787D1B07-7C21-45AF-A641-886A139F1AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636512$CE1F46AB-C3F8-4E2B-A7C4-04D0C27466A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb614035a0a0c482078cd643f55c81ba548b9114","datavalue":{"value":"6880836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636512$50102735-18BA-4C6F-BFBC-9183CC6AEC83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0f218601897122d073ee549bb856de77a1e6ba","datavalue":{"value":"counter-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636512$7FEB9385-DAFE-4ECB-A4D4-09F223B4EF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636512$2B66FD33-DAF8-409A-9D6E-0F9DAA93400D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636512$261A8E2B-FA4B-413A-A658-C257FB2AED8F","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":"Q2636512$B006AC3D-5E16-48AB-B093-EB0699AD7014","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49e41c8a7ee0902ac8a47d151c0f56b5dd75581c","datavalue":{"value":"W2616623755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636512$880FCE1C-C4AA-4990-9A37-795C3E9550DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$9BF08E65-F0C9-41D2-B216-F1F71C0E8358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8d6d892bed997114aa8fab4b9c22b28b44ae3f","datavalue":{"value":{"entity-type":"item","numeric-id":5495783,"id":"Q5495783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$C833FAD3-719F-4A3E-807C-986DC070BF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175d2b9e5ac09d03617896b1814f3ebb7e413d47","datavalue":{"value":{"entity-type":"item","numeric-id":4737211,"id":"Q4737211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$67462D92-E9BD-439E-A606-B2E155576CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8795567736b282508a429ed713f0cc5b3f2a804a","datavalue":{"value":{"entity-type":"item","numeric-id":1970202,"id":"Q1970202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$65B18744-4E6B-4829-B294-0DDE5556F048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$2C4F04BC-761A-4464-9B5C-B5F4D59E1E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a86c29b136599d32b3de1bd52ada8bfa8bf392","datavalue":{"value":{"entity-type":"item","numeric-id":5271057,"id":"Q5271057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$AEDD2B14-1D0B-4AD4-A88A-D722093D8080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8485296520fe3d505e9f3c097bb6752db8cffa","datavalue":{"value":{"entity-type":"item","numeric-id":4251918,"id":"Q4251918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$57B7E65D-075E-4651-BF2E-5DC38579F76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d75426809bb85be3044ddf03327c29ccfdb7b9","datavalue":{"value":{"entity-type":"item","numeric-id":4501545,"id":"Q4501545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$D7691AE2-FA53-44E3-BA67-DC7CC44F8C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50f679e95f24fd5d6900b58e3ddd500ec1a7b97","datavalue":{"value":{"entity-type":"item","numeric-id":2963939,"id":"Q2963939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$BAB14536-6A74-4B2A-855F-574BD8E16FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b0da3cac5772f8e892252233fb7ed0775e720","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$B389C8FA-7B11-4135-9826-E5EC97095B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a29614989836674f45bb886f19d75545ab86967","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$4BB435F3-0F6C-4C9B-922E-4CB15B83C762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9787e6d0819215c90132b2323576c33dab530fc","datavalue":{"value":{"entity-type":"item","numeric-id":1872733,"id":"Q1872733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$9EA36717-0F8A-4C65-B5BB-1C896AD4ABDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636512$E228A926-BB3C-493B-9468-9DED0E5A6866","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ce9277b7a205db1c63eb74cfa4010f6c7abcb7b","datavalue":{"value":"10.1016/J.TCS.2017.05.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636512$91C407D5-BC42-4DDC-A804-C308EDEB1A0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d8a9eb76cd5bed8afcad16ee2ad9c31a936744","datavalue":{"value":{"entity-type":"item","numeric-id":3447702,"id":"Q3447702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff98812ec7436a7a7f97a4c2b3d8849c65dfeab6","datavalue":{"value":{"amount":"+0.999217927455902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2636512$97FA46EA-6BA8-4BF5-9CEB-D7F0D9F966D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e07c7f5e8f63518df4cb11844b155cc33a5999e","datavalue":{"value":{"entity-type":"item","numeric-id":5271057,"id":"Q5271057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7800a9c75bc6e3685a4211235b11dd6a33ac26","datavalue":{"value":{"amount":"+0.8304336071014404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2636512$69C3E7CC-DB1A-4A56-96F8-8F0C77873E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26fda743d2bc263ba64048a592b648dd57c342a","datavalue":{"value":{"entity-type":"item","numeric-id":2800968,"id":"Q2800968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3117666d2808ddb328a0f9bee377beb3d1924ce","datavalue":{"value":{"amount":"+0.8074529767036438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2636512$17728CD8-0ACF-4358-865C-020620116281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d830b3688b5050852af76f5286e26a346fca052","datavalue":{"value":{"entity-type":"item","numeric-id":2963939,"id":"Q2963939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723959775d7c39bf01c3b5b1f71592746caf036e","datavalue":{"value":{"amount":"+0.7693790793418884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2636512$0CC09963-0252-4D78-8AE3-125B1A0B5305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37a78250a2355a46948d302622760c86605842b","datavalue":{"value":{"entity-type":"item","numeric-id":4636567,"id":"Q4636567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2977dfafefe40213a80cfa563a0d97a32b07794b","datavalue":{"value":{"amount":"+0.7525761127471924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2636512$72D71A6D-6F17-493E-B14A-39492FA3DB21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trace inclusion for one-counter nets revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Trace_inclusion_for_one-counter_nets_revisited"}}}}}