{"entities":{"Q1214756":{"pageid":1225505,"ns":120,"title":"Item:Q1214756","lastrevid":66310440,"modified":"2026-04-12T09:07:39Z","type":"item","id":"Q1214756","labels":{"en":{"language":"en","value":"An improved bound for detecting looping configurations in deterministic PDA's"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3468277"}},"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":"Q1214756$5FE5BC7D-97DC-460C-A688-AF6E9B52CEF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7d7fbc93a19c505fcf9313cc20899e531acb8b9","datavalue":{"value":{"text":"An improved bound for detecting looping configurations in deterministic PDA's","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1214756$CB9A4274-8CCF-4F4C-9D60-9D09D0252C3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e420504a7057920e5f87be8edf926899a673948","datavalue":{"value":"0298.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214756$08F1DFDC-911A-4DBC-AC6D-3B18004AC4ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e936fb8eae4b48e4ff48aea3a1250a1d414dd493","datavalue":{"value":"10.1016/0020-0190(74)90042-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214756$2EB01984-F700-4106-B57A-E2A2DA259A64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1214756$95C18FB7-CE21-4973-AA52-FC5F1160F788","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":"Q1214756$CD742F3D-B883-43E7-B71E-4827A18958EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q1214756$EF3642D1-B469-4B70-A706-8CAF86041286","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214756$007DDAE4-723A-4557-9CF3-604938581E24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"336e9041abc59e603be810c2567480e796614eb7","datavalue":{"value":"3468277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214756$D5402B40-2EBD-4061-B881-1A84884EE470","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed8742bca698a881433279e3e78dd39e5a21a3dc","datavalue":{"value":"deterministic push-down automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1214756$2181B99A-5BCE-455F-8372-C6DB7E596895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d234c2ae0e091ff76e4dcf0e95396364d54015e","datavalue":{"value":"looping configuration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1214756$61D25B57-2755-4A35-BA46-3C7011199187","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":"Q1214756$5CE6777D-A292-4AF8-9D97-7011C1E1E0ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b97a4552421c7ef48100bf5523dda4b013c36172","datavalue":{"value":"https://doi.org/10.1016/0020-0190(74)90042-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1214756$749A7B97-BE86-43D6-9660-0C759DEAC53B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68f5d54e9e2ac49680133decddd4ec8a6a760670","datavalue":{"value":"W2040857571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214756$CA52DE75-5670-4E1C-890D-766DDB69E41E","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":"Q1214756$9D07F831-1249-4AEB-A485-E26BD8650C1B","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":"Q1214756$8EA65DEE-1FB5-4681-8EA0-FEE8D9A2167B","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":"Q1214756$E81FEA94-9F01-42D0-BA64-DC04F67C6D59","rank":"normal"},{"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":"Q1214756$494E47A0-37CF-4BB2-BE28-1177CD751FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2958c69fc0ffe7706f790c429d92fee458ed25","datavalue":{"value":{"entity-type":"item","numeric-id":5639365,"id":"Q5639365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1214756$8BE96217-E555-4304-8902-FA2996D1D874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b615863cbfd4128debee77681eb7ea5577ce21","datavalue":{"value":{"entity-type":"item","numeric-id":5735559,"id":"Q5735559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1214756$B458E98E-A2CB-414A-83A9-E80B68F53D6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved bound for detecting looping configurations in deterministic PDA's","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_improved_bound_for_detecting_looping_configurations_in_deterministic_PDA%27s"}}}}}