{"entities":{"Q1230509":{"pageid":1241259,"ns":120,"title":"Item:Q1230509","lastrevid":69945096,"modified":"2026-04-13T11:23:29Z","type":"item","id":"Q1230509","labels":{"en":{"language":"en","value":"A result on the equivalence problem for deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3527813"}},"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":"Q1230509$898F319F-5F51-479A-A058-A9CEDB90C910","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab23f9ad6a71dd6cd73f78862aed1aa6a1d5aef9","datavalue":{"value":{"text":"A result on the equivalence problem for deterministic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1230509$4C60049F-D76A-4FAF-A536-3DBBCA006E38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b68f66c7f51d4f062fe4835e97f1e1272c2cc3d5","datavalue":{"value":"0337.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230509$9DA09DBA-9731-4891-BD5A-ACFF6B817D7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9655bca2f94bb4b388dd10b5dcd389c48f6871e1","datavalue":{"value":"10.1016/S0022-0000(76)80049-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230509$942D7B8E-F175-44C5-9B22-084FEAE4E38F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a018c78f2cc062c276fc59836033e2d362b1c573","datavalue":{"value":{"entity-type":"item","numeric-id":1060026,"id":"Q1060026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230509$DECF53BB-8FE4-4027-B766-C47A0CEA1DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ac8477c8571818916759218f885a65ca2902ef6","datavalue":{"value":{"entity-type":"item","numeric-id":1060027,"id":"Q1060027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230509$1AF484C5-CB8A-4E32-A5FD-19A394BAC9AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230509$F319F3CF-AE12-42C6-A768-3872A1DBC15D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1230509$8978F15C-7B95-4D91-9C6B-32B4DE4F9D43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230509$3EAB9FE0-21AC-4827-949B-1413A499A96E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a46e44fe0600c63f247ccd328890c1c09b9b81ac","datavalue":{"value":"3527813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230509$D3161913-4787-4BB4-A930-4E15AEF5B52A","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":"Q1230509$7A10E08A-9EC8-4170-AD72-92EB80EC3766","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230509$A6B61069-870D-4D8E-B6AD-BB82DF44B846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9d693ee9f84d5128fc7c86fda922f6bfcc20f5","datavalue":{"value":{"entity-type":"item","numeric-id":5609393,"id":"Q5609393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230509$93AF46CC-6AD4-49AF-8082-B41AE1069384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ef3dea0e266f78319fee7cbf7f7f4b7c1769f54","datavalue":{"value":{"entity-type":"item","numeric-id":3682403,"id":"Q3682403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230509$5CA87A0A-384B-4FE9-9326-2983C1A0BDBF","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":"Q1230509$CCB8FF42-A5BC-471A-83A4-040F1F216900","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":"Q1230509$14B6DB59-48D6-4449-9D82-8BBFFA23E0F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2aeff6427805301940643ea5dc781985fb0cc7e","datavalue":{"value":"https://doi.org/10.1016/s0022-0000(76)80049-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1230509$18207CAE-5300-4234-90B3-1DF6B9799104","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"358a729af3565412978d4c1788ef6550e07f9d8d","datavalue":{"value":"W2030400253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230509$EFC9DD0C-0103-450E-A9D0-2A4F540882B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A result on the equivalence problem for deterministic pushdown automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_result_on_the_equivalence_problem_for_deterministic_pushdown_automata"}}}}}