{"entities":{"Q2963939":{"pageid":2974664,"ns":120,"title":"Item:Q2963939","lastrevid":58076382,"modified":"2026-04-03T17:17:30Z","type":"item","id":"Q2963939","labels":{"en":{"language":"en","value":"Simulation over one-counter nets is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687791"}},"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":"Q2963939$CA11B32B-7ACB-432B-ACDC-FCAF40C7C634","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a54c1b9e745f9e97524d6c24e3252ad0cf76180d","datavalue":{"value":"1359.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963939$F01B9E66-7780-45FD-9FA1-F284697D71B2","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":"Q2963939$AA11AD67-2414-4209-B342-474507B6C151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963939$2B4C6FF3-E046-4618-992C-666E853BDBEC","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":"Q2963939$E2032A93-55B9-455D-A136-F90B6870893A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963939$C2E2901F-967E-4F5B-A7D0-EE5C653470EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963939$AC5E7715-5F8A-4A47-B5F1-E946BC99B173","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76b796e7887da259fd30b4e1d9fd9ded804a8896","datavalue":{"value":"https://arxiv.org/abs/1310.6303","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963939$DB1D37D8-99B2-454B-A4FA-F43BB7A96869","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963939$E1786CF8-2667-4AC4-A5A4-9742C1D47AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963939$F251DE78-EA01-4B53-9A4A-024ACE378379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3723768300c408c285b71655427c84997ce12840","datavalue":{"value":"6687791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963939$0D4C7AB0-CED8-4470-A5B9-C555DD920BED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36818e5c20ed0d4f24af815608673ee6f3f4460b","datavalue":{"value":"simulation preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963939$54935060-17AF-493A-BBF1-E92CD8BF76DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5fce3c20796dc896872e3b7ff9a517c2935e340","datavalue":{"value":"one-counter nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963939$27E9BC7A-0797-4A53-B9F2-06224EA24712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963939$61C09B4D-78BE-4C6F-B5A3-70530E2340CC","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":"Q2963939$D105D1CE-AA27-421F-A2A5-AB768F7F17BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4efac4dc994c6ceade44bf8a83df1092192e78b","datavalue":{"value":"W2134059826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963939$5851D6A4-D7C8-423E-B96A-0B625C9102F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"663dbfcf803b5e7e9b75d4c01dad2fdf6d7697fc","datavalue":{"value":{"text":"Simulation Over One-counter Nets is PSPACE-Complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963939$496BE3B2-A7C0-4653-A602-CE631CB13B61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfb62b265b705124181b5a5a9e03e1c9e1ed29b5","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2013.515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963939$3F1C8D33-043D-4ECF-8BE5-48B294805649","rank":"normal"}],"P1643":[{"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":"6e55a3e81a1f599d14e8514828ea147d95c523db","datavalue":{"value":{"amount":"+0.9440531730651855","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":"Q2963939$6C40CE7C-30D2-4263-84BE-1CDE04492578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6033aee6ada4a8fc2b5873eda4058e33f1597aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4251918,"id":"Q4251918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8e6ef1326fabb9eb1e6db6f0fe144f76f8dad8","datavalue":{"value":{"amount":"+0.8754804730415344","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":"Q2963939$EECA50AA-435D-4D0D-B9E3-032596BDCECD","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":"f57e2ca60bd5fccecdaa2bed3febb84a3105e70c","datavalue":{"value":{"amount":"+0.8706520199775696","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":"Q2963939$888F85D1-BF59-4A24-AFBC-665A052FD21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0264815fcab102569443d8394f322726f1c18a9","datavalue":{"value":{"entity-type":"item","numeric-id":4501545,"id":"Q4501545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d412a5f035b5d466dcbf0f609f1053b924da2c","datavalue":{"value":{"amount":"+0.8602164387702942","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":"Q2963939$4B9C0A2C-70E8-4805-A9B9-60480D1F816F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5fcfea91bbd016cb7bdf7d4c2d1e3878bd3ca1","datavalue":{"value":{"entity-type":"item","numeric-id":1798910,"id":"Q1798910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206b87fbf6e978306385732c26bcf5f4cbce7ac1","datavalue":{"value":{"amount":"+0.8264773488044739","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":"Q2963939$909FCEA2-6EEB-4355-AD6E-CB4FDB8AD2A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963939"}}}}}