{"entities":{"Q4571996":{"pageid":6601585,"ns":120,"title":"Item:Q4571996","lastrevid":53133560,"modified":"2026-01-24T07:02:26Z","type":"item","id":"Q4571996","labels":{"en":{"language":"en","value":"The equivalence problem for deterministic pushdown automata is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6898419"}},"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":"Q4571996$BC42BBFE-1596-43AC-853B-50FADBDEC4BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c021bc1f1e01ab792255fd62dbfadbad4900a8b","datavalue":{"value":{"text":"The equivalence problem for deterministic pushdown automata is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571996$D25ED4FD-8898-4EDD-B8F9-FA5B0756BB74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"995aae517dc2f9176cf5c0f64a9fd4a2338ca2ce","datavalue":{"value":"1401.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571996$2BC61768-EBC1-4871-8E2E-DF6A533A10B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff8cedc7c02e48399c604ee68ab424bdca8cf6f2","datavalue":{"value":"10.1007/3-540-63165-8_221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571996$B634D275-B557-48CD-9898-B0FEF6A97659","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"061d8197654a9b01d601db450e9eb848677c111a","datavalue":{"value":{"entity-type":"item","numeric-id":580991,"id":"Q580991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$44D2DA03-E73B-4B25-892D-C89B8E79FB32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$6F2DAA77-A9B8-408D-8949-5E8379A1899D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a2469e9547180e8da9b9320d063ac8110297525","datavalue":{"value":{"time":"+2018-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571996$EB2329E1-55DA-4D38-8FCC-47B78FBAAEAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571996$A4958B87-F0E7-473F-83DD-40A520B2E300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571996$FDE58AEF-23B5-4278-B6E4-7FED32FA052C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571996$F04264CA-D823-466A-AFE3-3859003DB518","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7256e150e7a6b09d6a35c21098c4ea8e4a12d479","datavalue":{"value":"6898419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571996$E600EB35-AF82-4574-828F-ABA1C42AEA92","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6104fa2febbf00e4c68de5b8596b2ec2720d599e","datavalue":{"value":"Q57381972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571996$1FB45AE6-8CBA-477B-8F3D-4C25AB16ABA1","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":"Q4571996$8299A4AC-F87B-4057-BBDB-99D3734787DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6faf4edeca3f3f46ac27f41fbda66e7bbf2d76b1","datavalue":{"value":"https://doi.org/10.1007/3-540-63165-8_221","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571996$824FCE76-69B2-4655-A307-4307A82A13DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ccbeb3d0d9d8b993b95e71b1cf2a225a5eab1a7","datavalue":{"value":"W1518704718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571996$1EC34D0A-6386-4981-BB06-D26B540F5E86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f7af87c85d92c5774b1ac0ff37f2736cd97c1","datavalue":{"value":{"entity-type":"item","numeric-id":1239606,"id":"Q1239606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$94E2861F-D0AA-43C9-B2FB-39E017E3ABAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be27978c3a4bb100378019f7b702eaca9386491e","datavalue":{"value":{"entity-type":"item","numeric-id":3703289,"id":"Q3703289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$34A62C8A-C92C-468D-97FD-F0AB381F6152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bdc1028b5bd29b72e5d3773bc059ad70e6d128","datavalue":{"value":{"entity-type":"item","numeric-id":5521476,"id":"Q5521476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$3555DD20-6600-47CE-97BF-5943EB2074A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$62149AC4-86F0-419C-8D71-87CC439FBF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233d64506c1bbc043413c13cd64bb09b3ed4f887","datavalue":{"value":{"entity-type":"item","numeric-id":1259173,"id":"Q1259173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$BC34A1A3-2BDC-4E8C-A2A1-564512887204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec024039d0711b454a38dc35d8131b4a871843ef","datavalue":{"value":{"entity-type":"item","numeric-id":4818837,"id":"Q4818837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$C26CC5F9-CABC-46F0-92D3-6BC6A331C548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d79a54e9d8e3f1095414b960fce7b5a319c29e","datavalue":{"value":{"entity-type":"item","numeric-id":3777488,"id":"Q3777488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$35BB9F0F-A0EB-4D8E-AD64-59B327FAFB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992a02680890a7bbdb6adf5c6cb1f2666e6be290","datavalue":{"value":{"entity-type":"item","numeric-id":6104375,"id":"Q6104375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$A6E42426-BC7D-4420-AAAA-C4DD94FD0A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6c9ad1af6635d001f4350001772960e0e5560f","datavalue":{"value":{"entity-type":"item","numeric-id":4772713,"id":"Q4772713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571996$7CEA21DE-F571-45FD-899B-3C7C1F9F387C","rank":"normal"},{"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":"Q4571996$978B969B-864C-47C8-8074-D8F448113DE3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e33908e3540454c167763533956172fd913ccb09","datavalue":{"value":"conf/icalp/Senizergues97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571996$D6B6C501-C409-4449-851B-7014372839D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dadb8229a6ff848151aea6fe96c9b1342e5f79","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc7785004191ae227b89975f7daf8363b04ce43","datavalue":{"value":{"amount":"+0.9434736371040344","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":"Q4571996$6560A54C-1ED6-439F-A2DA-9325F059294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6142c7a56d701342d7fe761ce534d32ce8275fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1062450,"id":"Q1062450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6f7cc6e615801957aafe1afd2e27bfb44fc2f1","datavalue":{"value":{"amount":"+0.9425254464149476","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":"Q4571996$53AEBD4E-6DD0-48C5-84D5-54C490AEB8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d29db322ea3ebd69595ba00f8c0789e1ec3a0ac0","datavalue":{"value":{"entity-type":"item","numeric-id":4223071,"id":"Q4223071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1cc277c1b52ffb2986743b0bbf8f2a08eb5b407","datavalue":{"value":{"amount":"+0.9385515451431274","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":"Q4571996$68DF1ED0-2E6B-4D7A-9CE7-011C6D6452C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d2bf5593372d4201064a516c4e726cbbe6c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1816326,"id":"Q1816326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80eec08922275e0232124ad527565389f44f96bf","datavalue":{"value":{"amount":"+0.9361907243728638","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":"Q4571996$A508D555-32EB-42EF-86B2-F747C549FE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e0933bcff42ee2f9a266beb5c67870d22cb096","datavalue":{"value":{"entity-type":"item","numeric-id":4474205,"id":"Q4474205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613f2161df74f2bab29b9093ac510c2d5241e53c","datavalue":{"value":{"amount":"+0.9344892501831056","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":"Q4571996$0774B8AB-637C-4B96-A2A3-3B36AE2F9D31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571996"}}}}}