{"entities":{"Q1325840":{"pageid":1336590,"ns":120,"title":"Item:Q1325840","lastrevid":68466759,"modified":"2026-04-12T23:53:51Z","type":"item","id":"Q1325840","labels":{"en":{"language":"en","value":"Cancellation in context-free languages: enrichment by reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567720"}},"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":"Q1325840$E0BD3432-E7EC-40E0-BC70-5734036F9DEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d8b3143e13451da06a52cb82a1c908ba8e36743","datavalue":{"value":{"text":"Cancellation in context-free languages: enrichment by reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1325840$0A2967B0-F771-4705-AC10-A041CB83D89F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4c44fad33eb8856ab3b60f871a69c360022f3b5","datavalue":{"value":"0805.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325840$F0ABAEF1-4C32-40C2-9384-1C9E7A347E75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a8ba5360c00c7caa927a1dd5846873ca0bf6a68","datavalue":{"value":"10.1016/0304-3975(94)90104-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325840$ADB6F0B0-7038-4C96-85D6-3DC6C5E09576","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":"Q1325840$A9D26C11-9947-46BB-9E6B-80D97A8B34CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dcb62c2b4917099426fc9f5c2e7993c2b745020","datavalue":{"value":{"time":"+1995-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1325840$FAE94154-C3FD-40A1-9D00-C9A06D5E8D45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325840$0D58BE14-6997-4EA8-8B97-7E1553D01948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325840$2E575D9B-0CE2-4157-9443-C9097BF78E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325840$D1638C66-1884-465D-8D6E-12BBC97B21E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9513055708fbd03bd8a23d86af94923878a4fa93","datavalue":{"value":"567720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325840$A1D351C4-A883-4415-BC12-93E37022B586","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325840$037D2699-A700-4275-B6BA-676BF519E6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325840$DAA92E46-AEA1-44B2-8802-6725FC8042F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8f95104569681b12147407e1fc63bde7079389","datavalue":{"value":"context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325840$7D65091E-DD1F-448B-B144-B16BA07C2AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"122a38e79f3c4074a4325bc2e7f2dde622a9a10a","datavalue":{"value":"symmetric Dyck set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325840$51B78899-6BBA-43AF-827C-00EEDF392C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab5178b5d19903e2a6ed66ba92e6a42b5774b78","datavalue":{"value":"cancellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325840$EF5544FB-9C95-4C91-B5BB-B7E0BD538973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c7031418e51cc601e012608d4b8d0d0c53a567","datavalue":{"value":"recursively enumerable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325840$0AF9B723-4386-4F40-A1EA-21121DFE7C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3ceff1405cd910bb3fd7785fbb02ee3886bee1","datavalue":{"value":"Petri net languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325840$E5BDB20B-17A5-4F88-A80B-1EB37AECD052","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b7c4206a91812d650d472fa3b3ce96a70a084da","datavalue":{"value":{"entity-type":"item","numeric-id":795512,"id":"Q795512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$1EF4FD7D-D36F-4186-BACF-10ECBE396299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9de85a4059e6f842c0f6ce1918952f77f87e580a","datavalue":{"value":{"entity-type":"item","numeric-id":672728,"id":"Q672728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$7581C030-D02E-41AB-86C4-867AB18D9578","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":"Q1325840$92BE1DD3-F3BE-405F-A188-E039BA5BA6D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b60b6016e2874f3433a4a41cc31aafa6dd93fc","datavalue":{"value":{"entity-type":"item","numeric-id":5616207,"id":"Q5616207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$BF85F004-053F-43DD-8474-7A3EEB8F4BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"937911e42f68d251c82fa9be54759bda8aea4ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1165842,"id":"Q1165842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$861E4F35-4DB2-4E3D-A91B-AF0EAEBC28FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a33809189957c66f4c555d3a6584fc9cb48242","datavalue":{"value":{"entity-type":"item","numeric-id":5286054,"id":"Q5286054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$EA8F5863-2A1F-41C7-B0AA-4B868EC6547E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f4bef7d78ccba3680de2d8de5a780f92459b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4040325,"id":"Q4040325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$B8CA9406-30FB-4A1A-A4D0-305005F1A3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05be222e65600b6184145de46f54233f7adac12a","datavalue":{"value":{"entity-type":"item","numeric-id":3828188,"id":"Q3828188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$9FBC774F-785B-4524-9FA9-72407AD68CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9883685f8982ef7217af2959a8ae7553faf80889","datavalue":{"value":{"entity-type":"item","numeric-id":3751035,"id":"Q3751035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$F0A3E2E4-170C-4521-B5DE-718C6CA2FC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab79bd48fe9b4fb5e4b03157a6d3bd0a6c50483","datavalue":{"value":{"entity-type":"item","numeric-id":3991298,"id":"Q3991298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$244A85F5-151A-4BA9-86B0-B5E11314223A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7611f414082b6c08ca61487dcf567f25a0b92b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5581626,"id":"Q5581626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$DF02D77D-6EA4-4426-A247-C215E65A2067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f68c90bf618447f850acaab558df28a22be37f1","datavalue":{"value":{"entity-type":"item","numeric-id":5545960,"id":"Q5545960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$CDCD28BE-3809-4D47-8B53-B053122ACFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab864a71ec765992792462a4429d973dfd1fba6","datavalue":{"value":{"entity-type":"item","numeric-id":3766866,"id":"Q3766866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$7D700E11-7BB0-4642-8CCD-04E37729FABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be743580b11a4cba8de8bf61590883dc315af5","datavalue":{"value":{"entity-type":"item","numeric-id":4430312,"id":"Q4430312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$2002A85E-1A04-4E37-B803-6E460642E2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d3b22132c1e0d5428a1c369602f7171ed5f3b5","datavalue":{"value":{"entity-type":"item","numeric-id":3766878,"id":"Q3766878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$73A95188-A138-4E25-8752-4D063A1A8A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299d836d8df6fbfda5746c22841dd9003f5465c7","datavalue":{"value":{"entity-type":"item","numeric-id":3471701,"id":"Q3471701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$70DB36F1-983D-468B-A727-8A97A2C29A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899dcad7dcb405eb1d1fc1edbed4fe43562297f0","datavalue":{"value":{"entity-type":"item","numeric-id":3660936,"id":"Q3660936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$88DD77BF-7E81-4234-846E-43F92425CABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10064cd1155cd084d208fd45995cfb4631af75aa","datavalue":{"value":{"entity-type":"item","numeric-id":3674078,"id":"Q3674078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$7ED3B557-C85B-49AD-9EDB-98E89DF9F1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$CDE99826-A8C0-486F-82CF-B797C52FA531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ada56fea113262905e8bdb085198bab83e2ea03","datavalue":{"value":{"entity-type":"item","numeric-id":4053130,"id":"Q4053130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$00701B4F-0D78-45A6-9A65-EAD7DA56D8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbe91530be035fef056fbdd9d9e8d6f8ff21331","datavalue":{"value":{"entity-type":"item","numeric-id":4133165,"id":"Q4133165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$2943499C-AFFE-4E57-B650-B5B8B2B18ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017441a3e34edbacf29c00e5959b02957461c880","datavalue":{"value":{"entity-type":"item","numeric-id":4725769,"id":"Q4725769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$75FC6AC1-4606-4A85-9679-7068813FB8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4788418e1cfaaa63a4079fa64cfe156fad83d297","datavalue":{"value":{"entity-type":"item","numeric-id":5672208,"id":"Q5672208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325840$706DB97F-30A4-4637-A0E4-785B1F49FE28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4fb472fbd6b0eef89f7fcc8ea4f0e0650e1ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4281522,"id":"Q4281522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9c3a7fad2fc32523f94654c33313b457495cb2","datavalue":{"value":{"amount":"+0.9391896724700928","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":"Q1325840$31BBB732-50C6-4109-980D-66CC50333056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea3d5f1ef42a41e019f0e18e62a79ba04079d3bb","datavalue":{"value":{"entity-type":"item","numeric-id":3766878,"id":"Q3766878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6301b81e08fc0bb9f1693ff8dc6cf825922f7097","datavalue":{"value":{"amount":"+0.8726864457130432","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":"Q1325840$DBABEBC3-C2F9-4024-BE78-A353AB1F7C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d131fa13e441f59700b2687a828d6af48426ba5a","datavalue":{"value":{"entity-type":"item","numeric-id":3783607,"id":"Q3783607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f091f5c7efd5866ef3456f48e54bfbfbcbb5d10b","datavalue":{"value":{"amount":"+0.8704070448875427","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":"Q1325840$BD401F0D-BC3B-4C54-B17D-3EC6A20A7EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e55ac6a5441aa3778550b67fe23e791657f4fb5","datavalue":{"value":{"entity-type":"item","numeric-id":3471701,"id":"Q3471701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96732a82b9f3c41983513b5b1c52928ff50872d","datavalue":{"value":{"amount":"+0.8610047101974487","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":"Q1325840$73EE3C2D-7888-4048-A0AB-8B862861C7C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cancellation in context-free languages: enrichment by reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cancellation_in_context-free_languages:_enrichment_by_reduction"}}}}}