{"entities":{"Q2556750":{"pageid":2567493,"ns":120,"title":"Item:Q2556750","lastrevid":44352345,"modified":"2025-11-22T06:20:01Z","type":"item","id":"Q2556750","labels":{"en":{"language":"en","value":"Direct proofs of the undecidability of the equivalence problem for sentential forms of linear context-free grammars and the equivalence problem for OL systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3395359"}},"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":"Q2556750$886D8C82-B22B-42D8-B864-DA33C2CB63A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0100e671360cdfd05b6dc99c6de10fc617169965","datavalue":{"value":{"text":"Direct proofs of the undecidability of the equivalence problem for sentential forms of linear context-free grammars and the equivalence problem for OL systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2556750$54346EE1-518C-4CDB-A656-1DE11E09FE40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97be08ed1a65b0438d349f081384371840fe99d7","datavalue":{"value":"0249.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556750$AFE30E24-9735-4686-8779-102B4B4198F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f77593f7a3882d479a53a17decf6881ae432154e","datavalue":{"value":"10.1016/0020-0190(72)90018-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556750$7D0FDB8D-7B06-425C-86D6-F23EEBCFAEDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556750$5371D8A5-AFAD-4913-A078-FC57993E7047","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q2556750$66FC6490-5B24-485F-ABBF-9EE59F9D8A32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556750$2C5C2351-431C-4638-8524-C88694B5C06A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4af613b70240f3d1b588475bb83659915f6174e8","datavalue":{"value":"3395359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556750$6B4B984A-BC52-498B-98CE-157BA901A1D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3fcef18c71a4b5df42d463ab66d395e6876189c","datavalue":{"value":{"entity-type":"item","numeric-id":537812,"id":"Q537812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556750$5BD15C20-A454-4609-811D-29D297E9E0F8","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":"Q2556750$9551CFF9-6728-4F2E-A416-572A9EF548C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556750$33B0941D-61E1-41C1-B4FB-F7B8A3EDA076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab0c3d3dfc570cd257879f24cd19040122f8e07","datavalue":{"value":{"entity-type":"item","numeric-id":4124350,"id":"Q4124350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556750$0F19BF5A-4502-4126-97CC-A30CD5A7326B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e0742007f100a408bd4b2a492da7e38e14b866","datavalue":{"value":{"entity-type":"item","numeric-id":2562694,"id":"Q2562694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556750$E00F2976-0193-4EE2-9D59-9E9106D73DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca28ea2c9c3a4c2e58826f1151bd9689e47862f","datavalue":{"value":{"entity-type":"item","numeric-id":5653576,"id":"Q5653576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556750$6BFCB648-A872-41CD-B6E9-B694446386D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2556750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2556750"}}}}}