{"entities":{"Q1058859":{"pageid":1060707,"ns":120,"title":"Item:Q1058859","lastrevid":66651564,"modified":"2026-04-12T11:33:58Z","type":"item","id":"Q1058859","labels":{"en":{"language":"en","value":"On derivation preservation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902064"}},"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":"Q1058859$299E62B4-7CE5-416D-B30A-CBAE8C8047FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a35ae9a1ea2a8ab2ebe989ebd56c9376f033ea2","datavalue":{"value":{"text":"On derivation preservation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058859$74310D30-DF91-4E41-AD2E-A7F0D2B012AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"078a4d897e8e3456df272adeaf6d717ff05df2c6","datavalue":{"value":"0565.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058859$817BF915-14C4-4668-A625-0DC71C724C3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"974cb489814b298424ce29f5c429542f8a488c90","datavalue":{"value":"10.1016/0020-0190(84)90057-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058859$BE97925D-67EE-4198-AA04-3B793074FE43","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":"Q1058859$AFFAC1A4-999A-45BE-A1EF-177A1BA1586A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1058859$025160F8-409A-4567-8EBD-16E3CF35E8C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c7ce965e054e636830f801a8150ba8f45adebb3a","datavalue":{"value":"A homomorphism h between the production sets of two context-free grammars \\(G_ 1\\) and \\(G_ 2\\) is said to ''preserve derivations'' if it maps derivations to derivations and terminal derivations to terminal derivations. The concept of derivation preservation is common to some of the grammatical relations introduced in the literature (cover, undercover, Reynolds cover and SI-cover). The paper studies the properties of a nonterminal relation induced a by derivation preserving homomorphism h. Finally, it is shown that it is decidable whether or not homomorphism h preserves derivations in a system \\((G_ 1,G_ 2,h)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058859$8956977F-DE5F-4010-9585-8EC17326CCE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058859$9E87E224-EB88-4F59-A572-2967569D98D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bb75737f019238379eee19d898c14c1ff5e278c","datavalue":{"value":"3902064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058859$4DEEF212-49E2-4E98-A771-8227E3B68FE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b7a70c6af6f0c9e9991827224f9dd884dbbec4","datavalue":{"value":"grammatical covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058859$F42529F6-2AD8-4CCA-9822-D12D34CCD3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058859$6ACD69F4-338D-4A76-AD59-EF74D7FA8698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a95f6ea3ad5f5e6dbc82a0abbae1b28ab584b4","datavalue":{"value":"derivation preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058859$080C2CB5-73AF-4237-877F-9AF0293E58E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"294e1560b692bac1dd7a61f0104c714c0eb36374","datavalue":{"value":{"entity-type":"item","numeric-id":594603,"id":"Q594603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058859$935412BD-B85B-4C7A-860E-B7F420DCD29B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8661793b78390b825bf1f4ada22ae32fc9ab58d4","datavalue":{"value":{"entity-type":"item","numeric-id":461130,"id":"Q461130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058859$D78CCD3C-F2E7-4D16-B65D-B02D251C0028","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":"Q1058859$193571D9-B82E-4E59-B623-D332E9A9F847","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7329517acc58bfab11a0badfcb68edcd089b1f05","datavalue":{"value":"https://doi.org/10.1016/0020-0190(84)90057-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1058859$3B6F704E-E683-4C8E-A57F-7781A2B14C54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07b824a6e962d36c2a50fd8087a434e2395e6132","datavalue":{"value":"W2019453829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058859$F6603BC3-4E29-4D7D-AE9E-EF90E3850537","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5434a1d01d9b978692f2b92b2c5c14fc651b9c3c","datavalue":{"value":{"entity-type":"item","numeric-id":5674991,"id":"Q5674991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058859$DCC2D876-1F1B-4B26-B0CC-E8B96D595C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d9dd414a6b3b2c58f60a1e339698f5282df1d1","datavalue":{"value":{"entity-type":"item","numeric-id":3912024,"id":"Q3912024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058859$BD4D449E-8B43-4943-9DDD-F1147A842A64","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":"Q1058859$741FB778-06E5-45F7-98E1-0174B5F6CC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a9c390298575061fb02cd95521e7691f4fa7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1229100,"id":"Q1229100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058859$FE3AE3EF-D796-4622-931E-0B51CF5D9E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50e26aa9fee1ce9dd5b7ff96fb526bb0bc4e42c","datavalue":{"value":{"entity-type":"item","numeric-id":1232301,"id":"Q1232301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058859$57E45E85-611A-4FB8-987C-4A1671B39559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d906550d0e430b87a763c2e831479e35e5daf1","datavalue":{"value":{"entity-type":"item","numeric-id":4124341,"id":"Q4124341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058859$766BA92B-2570-45B0-8DBB-41820E64486D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5acae39981c04bee67afb40be4d3b17e459e9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5668008,"id":"Q5668008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058859$1AA6339B-0D99-4EAB-99A9-67CC2A1898EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae58d063feb69da29ebb7785544a0ee68c88b10","datavalue":{"value":{"entity-type":"item","numeric-id":1160489,"id":"Q1160489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058859$36C03F7F-CE4E-442D-AB73-4780EFEF6514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6037e47808e7cf1e5ba087735173c7bba79de946","datavalue":{"value":{"entity-type":"item","numeric-id":1161309,"id":"Q1161309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058859$EA7A3A5B-FF1C-4BCB-83F7-13849C20F804","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0703ed55e613493994d68ec442b3e771bb5bc887","datavalue":{"value":{"entity-type":"item","numeric-id":3316617,"id":"Q3316617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4e539d88b91c752de34d08133606886f00faa3","datavalue":{"value":{"amount":"+0.7731626033782959","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":"Q1058859$ABC61E57-6237-4261-BC27-FDCFD1723CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ff711e32a89e2499285f508ee61cc1342104d6","datavalue":{"value":{"entity-type":"item","numeric-id":1080663,"id":"Q1080663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31084ba633201928528f63ba0bf933121e7eed80","datavalue":{"value":{"amount":"+0.7553282976150513","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":"Q1058859$CECD45D7-9D82-4421-B441-9AEA99674321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d5970bbc63a7fe0a6da80720639711c1bdb5ad","datavalue":{"value":{"entity-type":"item","numeric-id":5495419,"id":"Q5495419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129d0c55251c2f271fe2ca07692f3e14d68f9a5d","datavalue":{"value":{"amount":"+0.7520946264266968","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":"Q1058859$B7FE34C9-09F2-4029-B185-C3080BB522CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da355afc0dcf70f2b3c9d4b45b80e6ea3af04e28","datavalue":{"value":{"entity-type":"item","numeric-id":3167492,"id":"Q3167492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69fc20164e05268c0ea39f4da3dbf0eb3eabf07","datavalue":{"value":{"amount":"+0.7520941495895386","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":"Q1058859$23D1C930-D129-4749-9363-D1DEA4DA1C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e531be1ae3be42ad616e9cdf5bc0e2a0ec6efc67","datavalue":{"value":{"entity-type":"item","numeric-id":2993930,"id":"Q2993930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e5f3bb7b6b899df7ef784c41f82d3d91d2ac62","datavalue":{"value":{"amount":"+0.7478965520858765","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":"Q1058859$889ED2DB-968F-4659-B0C9-D3FB3A90B981","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On derivation preservation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_derivation_preservation"}}}}}