{"entities":{"Q1838320":{"pageid":1849062,"ns":120,"title":"Item:Q1838320","lastrevid":73886817,"modified":"2026-04-14T17:37:26Z","type":"item","id":"Q1838320","labels":{"en":{"language":"en","value":"A direct branching algorithm for checking equivalence of strict deterministic vs. LL(k) grammars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3804878"}},"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":"Q1838320$2766D8AB-AF25-4B3E-93D1-FB927409DD1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caa3a38573ecf35f660e00d0b777b235d5dbfa22","datavalue":{"value":{"text":"A direct branching algorithm for checking equivalence of strict deterministic vs. LL(k) grammars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1838320$C862FDBF-0DCC-4F12-A1CB-531AF4A7E04E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c92e6dd6483d67e496aa5cbf431f5c7b547d69c3","datavalue":{"value":"0509.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838320$84FE7C6D-5D18-43EA-A992-AD46E906DBEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ca702d98e99e2c70afd0a2e0bfa4f5d06d5edff","datavalue":{"value":"10.1016/0304-3975(83)90052-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838320$BEECCFA4-A8F1-4336-9C89-1DDF995F7564","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a88493808da78834a7ac0bf4a8a3155ab282fc3","datavalue":{"value":{"entity-type":"item","numeric-id":638533,"id":"Q638533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$082E9395-7A4B-4669-B481-6FABD3BC1B95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$3AE0865D-6343-49C4-833B-F541D4D2B81C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1838320$AC025824-851E-453D-9D8D-441B680CAA0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838320$1260DDDD-1CD4-4FD5-9F44-65AE459E2969","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"627cbfc1a77594acd8251783284dd8075262dead","datavalue":{"value":"3804878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838320$572E5F95-F3BB-4953-9F4B-03CC2BF88F35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8f95104569681b12147407e1fc63bde7079389","datavalue":{"value":"context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838320$2F3B76EF-75EA-45A6-B68D-CEF18A17A109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386a757194ea3cf3d1a68f5d71015bba9c71cdb1","datavalue":{"value":"Greibach normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838320$F90966E1-EAFF-4967-B761-BEF6F68EC536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"092ee0905447eca252a196741ec12ee1a216c0a6","datavalue":{"value":"strict deterministic grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838320$4BEC0830-D75A-49BB-8153-8148054EE51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e933a79b5c40b684377b2784cc37ca93d39240ad","datavalue":{"value":"LL(k) grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838320$C2DAE803-616A-4DF2-8AC6-4AC90903ACF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09392b50b6e9a1e27d3279972e3d1eaa31da42fc","datavalue":{"value":"branching algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838320$DA6E6264-DAF0-4E52-9C66-57DD5997EFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838320$888A0A39-BDCD-4207-BFD6-00E34946781D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83b3a0e4879b9d95b33916272134ed498bb01db0","datavalue":{"value":"skipping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838320$B2F74C3B-8BF4-4974-BB33-B24F2974A0C7","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":"Q1838320$02AA4F97-E8E2-418D-84DD-0B18620E36B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e37d3cd89bf56058a2b19db5dd9a0a78bfe825f","datavalue":{"value":{"entity-type":"item","numeric-id":2561843,"id":"Q2561843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$5FDC62EF-475F-44F8-B843-C131FBBA880E","rank":"normal"},{"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":"Q1838320$F29E84D1-D759-487A-97B3-12D8056327A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0711f0bf590c2207dac6faa5788ef613584cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":1132642,"id":"Q1132642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$F915BCAB-763A-42A3-AFE2-BB23402027F5","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":"Q1838320$BE797C58-FEC0-4F1E-9EC9-01947ED289EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff8b19dadebd5e3dfb4db8cb0e80dde8d233cf7","datavalue":{"value":{"entity-type":"item","numeric-id":5684249,"id":"Q5684249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$AA923512-778A-42C3-ADAB-EAC4DA62722C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1231f36fec12be08804e8a05cbf0ff1fcdcdb82f","datavalue":{"value":{"entity-type":"item","numeric-id":2560718,"id":"Q2560718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$9E1A3871-91F9-4C2D-98B3-638569941375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b510e9c2e4788a1a257024cb68c915630bf6900","datavalue":{"value":{"entity-type":"item","numeric-id":4050185,"id":"Q4050185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$883B1543-6BFC-49EC-AAFF-C5912F374F48","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":"Q1838320$806B00A3-D9BA-49C5-B865-E3AFEB341B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422f13e0987f12a34d425454745bbbb66a566dcc","datavalue":{"value":{"entity-type":"item","numeric-id":4072875,"id":"Q4072875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$6A0DE2EC-632E-491F-985D-8FC227DA7CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec7365ae7ff2e7eb7ba57dcda7a377d50b921a5","datavalue":{"value":{"entity-type":"item","numeric-id":1254241,"id":"Q1254241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$E15FA5CA-E8B3-4B71-847E-2D186477CC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebecac120edee416044dfc9fa2b60d66e0ccbe82","datavalue":{"value":{"entity-type":"item","numeric-id":1238431,"id":"Q1238431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$B5AC0D07-5AF2-4C6A-87B0-E379EFBA48E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df000af455f92229092d2f091c1587b6080cf496","datavalue":{"value":{"entity-type":"item","numeric-id":4174788,"id":"Q4174788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$6C40E54A-D7D9-41EF-93B0-5AAAD790A2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d123ce3c6592eaecceee504819584bb2976aea7","datavalue":{"value":{"entity-type":"item","numeric-id":3888532,"id":"Q3888532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$933EB3F9-3C63-4842-B8FD-CC74640B4FE1","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":"Q1838320$E8155908-FD72-4DF0-A9F2-E0936FE4FDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61cb8280fa36fe466f451510204017197a7e8db6","datavalue":{"value":{"entity-type":"item","numeric-id":1230509,"id":"Q1230509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$36569A4B-9AF3-4539-9340-AC9CA630D779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2dd8b739cacaef27ebd748b3d0d83c5cbbc73a","datavalue":{"value":{"entity-type":"item","numeric-id":3327736,"id":"Q3327736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$F3F95D3F-CB3D-4907-9A09-D2C12BF766E0","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":"Q1838320$146C9E77-E961-4C17-8372-D9F234458DA7","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":"Q1838320$F5B014AE-4B25-454C-B2A8-AF7FCB614B08","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":"Q1838320$42108A41-AA2C-4260-A1AF-65F2D3EBF6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e42d0f1e941f940db5ab546e692041fe4bbbe","datavalue":{"value":{"entity-type":"item","numeric-id":4055220,"id":"Q4055220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838320$B59C28DA-7527-4F62-811A-9BD9F61DFB61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A direct branching algorithm for checking equivalence of strict deterministic vs. LL(k) grammars","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_direct_branching_algorithm_for_checking_equivalence_of_strict_deterministic_vs._LL(k)_grammars"}}}}}