{"entities":{"Q3584929":{"pageid":5614833,"ns":120,"title":"Item:Q3584929","lastrevid":51066050,"modified":"2026-01-16T11:43:38Z","type":"item","id":"Q3584929","labels":{"en":{"language":"en","value":"Bisimilarity of one-counter processes is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776461"}},"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":"Q3584929$4684835F-36E1-4235-B8AF-B50EF10B28ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98741a15a9553e20f40779e72ba06c4f5ddea2c3","datavalue":{"value":{"text":"Bisimilarity of One-Counter Processes Is PSPACE-Complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584929$8C438BC7-EE93-4F1C-A373-63D8D64B202F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7d52ce25e72066fd31e4ea117b572fd63e9bf4a","datavalue":{"value":"1287.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584929$BA6BF3B9-4311-4EA4-9F4C-F6A64A0308D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bfd19cfdabbefbc5bbf6646da5020800523f3f3","datavalue":{"value":"10.1007/978-3-642-15375-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584929$9EC20FCC-C013-41C9-97D6-B6F3DA8782CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88900162b91c69f27983025260c4f12850a86efd","datavalue":{"value":{"entity-type":"item","numeric-id":1647479,"id":"Q1647479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584929$C9DDBB7C-DAA1-4F43-8FE6-FC6E23CCB0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1bc0849059b0a991d5eac196f85a97b908b21d","datavalue":{"value":{"entity-type":"item","numeric-id":959056,"id":"Q959056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584929$6B231AFB-DC49-4227-BED9-C39AC1D9EB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584929$5D7949E7-0584-43A5-8ABD-FAA512807A8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"405abd31eec1b567fb53a842d4fed5a014e7096f","datavalue":{"value":{"entity-type":"item","numeric-id":3584918,"id":"Q3584918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584929$F39AC509-D343-4450-A548-D75B45EFBC86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584929$A7AA611A-91C1-4F5A-9E7D-684D95461574","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584929$80EF2684-B61B-4470-90BE-3C5F355EC19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584929$5C6A79E6-ABB3-40AF-8A31-88958AE1656C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584929$5DFCC6E9-6BEE-491A-A65A-117076660F18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6160f4d0a39e6f071d30ae740b7815b14af1987","datavalue":{"value":"5776461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584929$852FDA07-20E9-4374-BC35-E8395779CC55","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":"Q3584929$2C6FFD66-73FD-4E5C-8186-B4B35715DDB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc76a9f0f91173abd2c1668ea624c925b6cd6a9a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15375-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584929$B380D40E-CEEE-4570-8F15-7FB7A9EAB6B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb1de4067e70603248a80a29cfcd91c3cb40841d","datavalue":{"value":"W1594502574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584929$95AB2740-1614-4EC0-88F1-465A4E0D1394","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2172453b0f0616f70f41b79c28f005384726eca3","datavalue":{"value":{"entity-type":"item","numeric-id":1854338,"id":"Q1854338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f962a32e6fb479f9a907f32bbfa26c30d446e0","datavalue":{"value":{"amount":"+0.9052981734275818","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":"Q3584929$CE846502-6F48-41C9-906E-C876918A86BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114b142bdc5f56e27f94135cf1e45dc66c203e21","datavalue":{"value":{"entity-type":"item","numeric-id":4571985,"id":"Q4571985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a542ae01647b474bf55fe7ca6d0810c9e08f81b3","datavalue":{"value":{"amount":"+0.8824989795684814","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":"Q3584929$F5029154-4BB4-42BC-8502-40D34334AC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e6a61673b875a192093fd91815c6efc9400b79","datavalue":{"value":{"entity-type":"item","numeric-id":1401395,"id":"Q1401395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6e0a4a310660389eec197b0afda9913bb6b309","datavalue":{"value":{"amount":"+0.8807984590530396","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":"Q3584929$81968CEA-D2AA-4917-B224-EA2DC8213DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1025bebe27ab9ac14ca695d0298ffce589208a52","datavalue":{"value":{"entity-type":"item","numeric-id":2754154,"id":"Q2754154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229643e6deb0d53f73315a37b194ebcca6da4345","datavalue":{"value":{"amount":"+0.8718469142913818","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":"Q3584929$10AEF66C-390C-4156-8B6A-B06927876815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb8c22d33ed68512b067e527d8228771d4bfad4c","datavalue":{"value":{"entity-type":"item","numeric-id":2637644,"id":"Q2637644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824d53647246150f29a258003cb07643e562ed47","datavalue":{"value":{"amount":"+0.8508614897727966","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":"Q3584929$835213EA-4E4B-4414-8AE2-45212C9F5499","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3584929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3584929"}}}}}