{"entities":{"Q1751409":{"pageid":1762151,"ns":120,"title":"Item:Q1751409","lastrevid":73839990,"modified":"2026-04-14T17:27:06Z","type":"item","id":"Q1751409","labels":{"en":{"language":"en","value":"The language preservation problem is undecidable for parametric event-recording automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6873281"}},"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":"Q1751409$C708C7A0-782F-43E3-BEC4-4053BE8767A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e6f9f1a4e75dc5b011dea7d21fe84acf6176070","datavalue":{"value":{"text":"The language preservation problem is undecidable for parametric event-recording automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1751409$AE826811-B682-4F4C-845B-F594B1E70615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7cc9fdad495991b55f19aea4a8a473e08674e5f","datavalue":{"value":"1457.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751409$74E21ADE-2A92-4E3C-AFF6-95A2A7BB1430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751409$ED3F5418-4FB5-4A74-ADD2-CB5EF97C7EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e755b5dc9f4979397d0df2f5a71bc2bf917f598a","datavalue":{"value":{"entity-type":"item","numeric-id":1716559,"id":"Q1716559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751409$90914D2B-C6FF-4232-8F32-E88F5993DEA3","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":"Q1751409$CF780E9D-01F9-4CE1-87D2-D1D4FF8BD102","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"889be0f8e7c5593fd9d724762872dd9608a4e49c","datavalue":{"value":{"time":"+2018-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1751409$773AFF79-968D-45FF-AFEE-05403491385E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"180d4b77e35b75a488199bff28c7cd1f3412501a","datavalue":{"value":"https://arxiv.org/abs/1812.08948","type":"string"},"datatype":"url"},"type":"statement","id":"Q1751409$8D6D378A-CF89-4F14-935F-64B2F54C10CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751409$08969988-B6E3-4324-A389-1FCE9E2B690A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c4a9260d9ec649fd6b8a92474018dbf3d232a94","datavalue":{"value":"6873281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751409$6D92C9B8-6654-412E-8640-5CF385B0D18D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751409$14FB065D-24C5-4BE0-9EED-583691FEDD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751409$FB20840D-7F8B-44C2-9ABC-BB2065F9AB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751409$2BBCE67C-AA6A-465F-838A-F512B723DFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9b14c057c30fb52848453b4f75be399ed77f8d","datavalue":{"value":"event-recording automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751409$EDC45518-5324-4A9B-AD64-A926EE2BCA18","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":"Q1751409$6F3CDE1A-C947-4445-AC2E-1F96DC0D6E74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f53b0cdab6e40a2013ba0c30497ba38268b9b9d9","datavalue":{"value":"W2790850524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751409$9C86C8EE-B31F-410E-9A70-0EBA90E774BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751409$252807F8-A186-4841-80A6-86835534BB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751409$3D8D9A97-8233-4C09-8652-8769FF200305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751409$6D55ADE4-17EE-4CE3-945A-73C899242468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24b4cc400f070bee6be50387e30fbcad07cc554","datavalue":{"value":{"entity-type":"item","numeric-id":4686606,"id":"Q4686606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751409$2AD83119-BA26-4658-9644-ACAB2852A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb26fb1846b6f18c02035a5f88554afa02bb81bb","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751409$D7109DEF-87B1-43E5-9EDB-7E8B1103DAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2020a9ce51c93f5152b1a41de40d8b45f22ff72","datavalue":{"value":{"entity-type":"item","numeric-id":5082188,"id":"Q5082188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751409$D0576A0B-B128-4272-A8D1-38F174D7BD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba78a772e6129ed22a5af7f6e6e8e9dea9d4a23","datavalue":{"value":{"entity-type":"item","numeric-id":2945580,"id":"Q2945580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751409$81F12F01-2184-4E41-838A-932883FD3761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751409$88E499A9-A3C7-408E-B5C1-1B4A4144DCA3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d9ca4047610b3300384262eef0b935d485373a41","datavalue":{"value":"Q130085686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751409$38C7C63A-F0DD-4B43-8340-D57869E0D7C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2aaee701f16484e88ffe9a7b0e1b9b8f38911b0f","datavalue":{"value":"10.1016/J.IPL.2018.03.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751409$31673BC9-5462-48F1-81F6-AA5B2230EB35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c7184d177548c7e6df612e66405133dfa536b4","datavalue":{"value":{"entity-type":"item","numeric-id":2945580,"id":"Q2945580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fbaf5dc7ef83e4f5057173e9c0a90648035121c","datavalue":{"value":{"amount":"+0.90341979265213","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":"Q1751409$FB8A3CE2-C2A1-42F8-BFC8-F9F277747F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91239ef7db8758d134b7e7e0f44254c821d2137","datavalue":{"value":{"entity-type":"item","numeric-id":5208876,"id":"Q5208876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96815938d5195e327c2bade7a090468c965b4f8","datavalue":{"value":{"amount":"+0.9001606702804565","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":"Q1751409$324F836B-7183-4824-A22C-C9CD4D993BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f92c08c8a5764b90921051a96c937bc3a772f4","datavalue":{"value":{"entity-type":"item","numeric-id":3449466,"id":"Q3449466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d045d701b041dee08626aff869d8a9705bd27156","datavalue":{"value":{"amount":"+0.7707364559173584","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":"Q1751409$E0E77855-E6DF-4FC0-AA9A-32D805C40910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9326e5b0cbc990f169282df3d776b073e67d1ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4686606,"id":"Q4686606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fedede0aefac13cfac9d6310740a0d72b1559b9","datavalue":{"value":{"amount":"+0.755374550819397","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":"Q1751409$B4281029-5ABA-4543-A40C-9B3D446C73F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41929f724147a2cad9ea17191508e1c9a57bbd7","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec8f0ad4874d2ea0a94fb754f23781e2566d470","datavalue":{"value":{"amount":"+0.7236483693122864","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":"Q1751409$1C140A47-58A0-4723-8A94-1117625CA975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The language preservation problem is undecidable for parametric event-recording automata","badges":[]}}}}}