{"entities":{"Q5495783":{"pageid":7525343,"ns":120,"title":"Item:Q5495783","lastrevid":58583007,"modified":"2026-04-05T21:00:56Z","type":"item","id":"Q5495783","labels":{"en":{"language":"en","value":"Equivalence of deterministic one-counter automata is NL-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6326947"}},"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":"Q5495783$CFC5C93E-3378-4527-AA1A-C4E119AF3064","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e491f391350c59ae2c4922bd4f779d453bf8d09","datavalue":{"value":{"text":"Equivalence of deterministic one-counter automata is NL-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495783$C6392611-AB50-4743-B4D0-3D9C24AF16EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f01ff1bfb060518ad69b428c9c36a9e4c931402","datavalue":{"value":"1293.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495783$57618B95-607D-4691-8A25-E6A137B34483","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f60fd69ea109829af28a0917be0b6e400d38a7e8","datavalue":{"value":"10.1145/2488608.2488626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495783$A592D226-96E5-4F2F-A106-AAD52C019B18","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":"Q5495783$353C5F7F-EDAC-43ED-AAD3-42D8E6B9E57E","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":"Q5495783$BF46977A-6710-4B39-8B85-3F617BBC93EC","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":"Q5495783$234CC1D9-77FE-42F4-BDD2-0BDD5A0F3776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495783$DC43EAD7-F3A0-4560-B880-B033356C2093","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fdd7917fccad0b88e9106728ba9aba3c1d76f98","datavalue":{"value":"https://arxiv.org/abs/1301.2181","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495783$85D5F50A-68B9-4C67-8EC3-836B28B5E3BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495783$CDB9CEFE-C6E4-488F-9BE2-A79E92EAE194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495783$349E9E40-D145-46CA-B8A4-62044C4C00C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24783c35489b26fd385fd6b384e56bc38c6406ac","datavalue":{"value":"6326947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495783$94C179E0-CBE5-45C9-91C6-3A791346BF22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495783$8CC80CCB-17C2-4346-8EFC-845FF7BC99BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c9cd0350d1e65ec86a4536649b6395944807eb0","datavalue":{"value":"deterministic one-counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495783$67B9C1B8-D65E-4E9E-AC79-CF32AB2E788F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495783$8C1B3C5F-0024-487B-8738-A39F20537196","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":"Q5495783$F929819E-7143-4711-9350-C35E0B05EB50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bcbe30538912473f8b4b474dab61f5dd0582707","datavalue":{"value":"W1991034910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495783$0722F363-348D-429C-A7ED-8CCD24E55B05","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d19b047913521d176577ad7b87af4985a4cb49c8","datavalue":{"value":"Q130970062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495783$A22E46CA-7C39-4758-BC91-6F4C31892612","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38c7209c99d8d20a2d820b43521862d39695f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":5361813,"id":"Q5361813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495783$737420CF-6348-488D-86B4-AA847DD825BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ad4bb511f32d3207b945445172a052dfaacf60","datavalue":{"value":{"entity-type":"item","numeric-id":3088039,"id":"Q3088039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e3ea7355a2c81a8bafe6ed3f7a25f9b84197f1","datavalue":{"value":{"amount":"+0.938237965106964","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":"Q5495783$FEBB1B2F-2566-48DF-9418-CC8AF4EA55A3","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":"b4d2145d5e9455934543bc012bd3ac2809e3c7b3","datavalue":{"value":{"amount":"+0.8228247165679932","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":"Q5495783$C3C62906-B6C4-45CC-A582-21D32DB9A761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7859ff65ce241b4af4f44ea991046d8b0a6e1fc5","datavalue":{"value":{"entity-type":"item","numeric-id":4636612,"id":"Q4636612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82312e49bf65c0441633c77d11632cdbc9080e1","datavalue":{"value":{"amount":"+0.7818782329559326","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":"Q5495783$85382F17-27AD-4A6D-9FF7-795783CFD7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ee5c6e3f658fe36db9b3e6081733aaa3644f06","datavalue":{"value":{"entity-type":"item","numeric-id":4738225,"id":"Q4738225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0c1b7e5cdea79816d868284c697f75430df424","datavalue":{"value":{"amount":"+0.7702409625053406","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":"Q5495783$E7F8B23C-6CD9-4542-8A27-05E11F17DF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a18977e3ea1d5b5683300e941fd96a30e85a1d","datavalue":{"value":{"entity-type":"item","numeric-id":3451114,"id":"Q3451114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580fde72064f7244313695bdb37f5f4727a29ec0","datavalue":{"value":{"amount":"+0.762244462966919","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":"Q5495783$FC51B0F8-418B-4B80-AF05-EEE314A517AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5495783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5495783"}}}}}