{"entities":{"Q492918":{"pageid":494685,"ns":120,"title":"Item:Q492918","lastrevid":42552907,"modified":"2025-07-03T07:56:11Z","type":"item","id":"Q492918","labels":{"en":{"language":"en","value":"Symbol different term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6474621"}},"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":"Q492918$1E6545B9-B8B1-4D19-B4F8-A36747C2256B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d134ceadafeca81f6feb8d30b6dfbc64dbfbd5b8","datavalue":{"value":{"text":"Symbol different term rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q492918$E8FAF8D5-9C8B-408F-AAFD-D6A25BCA4680","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"715cde7b8c60be8019a2dbc08422ead16cbb6053","datavalue":{"value":"1332.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492918$CB3754D6-59AF-4B07-B3B8-3EBA0EAE7A20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1be1e97a61ec61b6b5428ec7bf911ab8a63c8c39","datavalue":{"value":{"entity-type":"item","numeric-id":389935,"id":"Q389935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$AC1A084F-C306-4203-A630-9CBCC3833AFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$5FC67949-5F5D-40F3-B110-020E1026A20F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e463a3f76b72914d69100f109f02e2f624263f82","datavalue":{"value":{"time":"+2015-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q492918$11B3BA75-FB61-4EB2-9ADF-91F6FE17D2E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d76233a204b64e85c0d6bb04081628df3fe7ac42","datavalue":{"value":"A term containing no variables is called a ground term. The ground reachability problem for a term rewrite system (TRS) \\(R\\) is the problem of deciding for any given ground terms \\(s\\) and \\(t\\) whether \\(s\\) can be transformed to \\(t\\) by \\(R\\) while the ground word problem asks whether \\(s\\) and \\(t\\) are equivalent with respect to the congruence defined by \\(R\\). Both problems are encountered in applications of term rewriting, but since they are undecidable for a general \\(R\\), approximating the ground reducibility relation \\(\\rightarrow_{R,g}^*\\) or the ground equivalence relation \\(\\leftrightarrow_{R,g}^*\\) of \\(R\\) by some decidable relation has been proposed as a way to settle instances of the two problems. Here the author presents three heuristics for finding ground tree transducers (GTT) (cf. [\\textit{M. Dauchet} et al., Inf. Comput. 88, No. 2, 187--201 (1990; Zbl 0705.68067)]) or extended ground term rewriting systems (EGTRS) (cf. [\\textit{J. Engelfriet}, Inf. Comput. 152, No. 1, 1--15 (1999; Zbl 1045.68580)]) that yield upper approximations of \\(\\rightarrow_{R,g}^*\\) and \\(\\leftrightarrow_{R,g}^*\\) as well as associated heuristics for using these approximations for showing that two given ground terms are not related by \\(\\rightarrow_{R,g}^*\\) or \\(\\leftrightarrow_{R,g}^*\\). In numerous examples the heuristics are compared with each other or with previously presented methods. The search for such approximations leads to the problem of deciding whether a given GTT is an upper approximation of a given TRS. It is not known whether the question is decidable in its general form, but the author proves its decidability for symbol-different term-rewrite systems (SDTRS), a new class of TRSs introduced here. This main result of the paper entails also the fact that it is decidable whether a given EGTRS is an upper approximation of a given SDTRS. On the other hand, it is undecidable for a linear SDTRS \\(R\\) and a deterministic bottom-up tree automaton \\(\\mathcal{A}\\) whether the GTT \\((\\mathcal{A},\\mathcal{A})\\) is a lower approximation of \\(R\\). Furthermore, it is shown that the ground word problem and the ground reachability problem are undecidable for SDTRSs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q492918$EED3ED45-86E3-41A3-A8C4-7B3AE9C1F71A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$1F6E14A0-A86A-40A6-9EAC-5C1CCF0BA55F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492918$CFA36112-5111-447C-B991-C13BB9B59354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492918$152DAA34-2784-41B7-B73A-DFC21C06CB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492918$16D25538-9E4A-49B4-B1F1-2E3F30BE8088","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f2976b74934e8f267f3f19c9af1c90efa1008e","datavalue":{"value":"6474621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492918$09F0D76E-491C-40D2-BCED-E3C60DA4CA97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9090eae54307f4cb4926123be61b267a50c76f98","datavalue":{"value":"term-rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q492918$C2CBD3CA-D632-4FDC-BCEC-247112F3DD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"046bf2b311f33164662aa23a0b3f842f3cefc19f","datavalue":{"value":"ground reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q492918$AEA3EAA5-2D06-4980-A6F3-FDE936AF7DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4949315a1b8359d4e05f0e5db228cc187c179d","datavalue":{"value":"ground word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q492918$D5947B3B-5A47-44DD-8744-7B400C08F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f50683c37ee3da6c2a6edb684fceee49b5314c0","datavalue":{"value":"ground tree transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q492918$46B15BFF-981C-418B-B18E-701C1C08716C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q492918$51AAFC4C-063F-475A-8E72-A77D6FDA8F04","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$817F85D8-E4C9-4088-AF2A-9B2871799656","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":"Q492918$455A8A3E-D49B-43E6-9C47-8EC50DAC10AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cb009da9aa1e341f3187d83a0da8bb08423a695","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.06.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q492918$EC807915-F131-44AC-B60D-AE0EF2BC2CFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f9d3aef7256b86721761d315dcb59001a541baa","datavalue":{"value":"W1100208954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492918$9B76607F-D186-4425-A9C4-A9764B71F897","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"703bac26195b5e026d8c5a3ae4ad23d7cb2dac65","datavalue":{"value":{"entity-type":"item","numeric-id":3522008,"id":"Q3522008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$8968C80E-AF0E-4F91-B112-B46EF8CE176C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa695c97b01f88cecb4b218e904ed58f03b6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":5432332,"id":"Q5432332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$81D23DFE-F299-4E55-B557-6F1D77A91F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a52f966a1046d05667630376d74227c470cc14","datavalue":{"value":{"entity-type":"item","numeric-id":3525147,"id":"Q3525147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$CEA9CA7B-A560-430C-826E-A82FED2FE9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10075fc2315cb593b3a1b7a4be4384564e3f6b28","datavalue":{"value":{"entity-type":"item","numeric-id":3259710,"id":"Q3259710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$9EBA228E-3C3C-4DA9-913C-882B028ED2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$AE363FB0-5897-4769-867A-DA3F59896582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$877542DB-5817-4727-948C-FEF9C03D2F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7e15b7e3b151ba1c7d5f66691114556288014a","datavalue":{"value":{"entity-type":"item","numeric-id":3486867,"id":"Q3486867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$0AD3985C-A0D7-4BC8-8D8C-D66BAC71099C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32958591c3e6b09af1c21e58d8f0ef427f9998b8","datavalue":{"value":{"entity-type":"item","numeric-id":1763429,"id":"Q1763429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$F8D324D7-F9A6-4888-90B4-E1B91E73223D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47ad5a3a9cce23b4d5e3517ce107189c05e062c","datavalue":{"value":{"entity-type":"item","numeric-id":5389094,"id":"Q5389094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$148526C5-AF0D-4B64-BF7D-5C7A307EFA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e310bdefc632226addc0140a1d43ec89695721f7","datavalue":{"value":{"entity-type":"item","numeric-id":1854289,"id":"Q1854289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$B68C7CEB-7274-4165-8877-2DC48AF741EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5183640ea17aee4713be4cc41f7f144d515a51a","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$B1C9AC53-0C3C-4D87-A7EA-9A5E2859CCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d230b16e1b0f6cbdb78aca3f14c9e2b7e4826ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4005178,"id":"Q4005178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$39186B32-ED90-41FE-8855-C713FC1328D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118bd562040a493115205fbb391e19b26bbe0535","datavalue":{"value":{"entity-type":"item","numeric-id":1589437,"id":"Q1589437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$9BC41912-6A8F-4E06-B437-41467868C057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890390b7c0f8ed661b7084e98573fc0b11a27b52","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$1243CA9F-CF8C-4908-9086-49946B9D2196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a76dd1ccc57817977cfe3d7392b99ece204fbd","datavalue":{"value":{"entity-type":"item","numeric-id":2996202,"id":"Q2996202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$BB9FBE1A-C28C-4965-B4F4-513AF8CBFA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f56aec464de226bde780d4a3fdd179a2846aab","datavalue":{"value":{"entity-type":"item","numeric-id":876043,"id":"Q876043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$F4B4C69A-B0F7-47D0-89C6-CA596309F05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$4E8F4199-2A8E-4987-87F2-38BF61785053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5ac5e87b7bb20051a97cb3e5d95d9b6576112f","datavalue":{"value":{"entity-type":"item","numeric-id":689111,"id":"Q689111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$8ABE3363-90AC-4745-89FF-B2070EEAF35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde07cdcf9f119afdf8d81a4464725f1ef280c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2723905,"id":"Q2723905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$0642BEFC-CED9-4474-827F-0B3765328AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$4936E21F-B870-4DC3-AD68-12FAD5F2EFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1d8724349482f262799d2831e961f6c9a0126f","datavalue":{"value":{"entity-type":"item","numeric-id":1261478,"id":"Q1261478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$962A1B6F-F458-4DE0-9570-1C8B67FDDA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fbb1e0c267924159e69c8f8725aa2ae90881d11","datavalue":{"value":{"entity-type":"item","numeric-id":1401322,"id":"Q1401322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$3B467410-9369-4399-BE35-499CFCDB4148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dc6e4d61436da9601c2bac888245f441821bb9","datavalue":{"value":{"entity-type":"item","numeric-id":3400560,"id":"Q3400560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492918$1800DDBB-DAFA-4951-BD12-31AAB46ACE36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e7d4de5c9b8d1b58f5042040ef357552d3a4b36","datavalue":{"value":"10.1016/J.JLAMP.2015.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492918$E188BC8C-6C82-4B61-B1D0-DCC7114FA0F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd27c5ee38bad862b3ffcc58afd5956965cc647a","datavalue":{"value":{"entity-type":"item","numeric-id":4702599,"id":"Q4702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66169af542a47a83124cb1e7b9b81f0508327c63","datavalue":{"value":{"amount":"+0.80408025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q492918$0243CCD9-7A38-462B-867B-F46541FDC501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476fe3f0e8e43d5b254436da221b1a949a215665","datavalue":{"value":{"entity-type":"item","numeric-id":3336738,"id":"Q3336738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17594c96e445dab56e5d8600512eeff8fc222e8a","datavalue":{"value":{"amount":"+0.7906264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q492918$702C9FD1-B6B9-432B-A88E-B4F8345AE1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778526c9fc53d106f89068a2c1be78f1d15f0ee7","datavalue":{"value":{"entity-type":"item","numeric-id":5369493,"id":"Q5369493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2780c5a94560f94aa4f655bc826785d6d1f224c3","datavalue":{"value":{"amount":"+0.78617644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q492918$64EC4489-F84A-422E-8AD9-1F6CC9A317C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5115d28097c6017c4babb4ba7ca8a66430cb06","datavalue":{"value":{"entity-type":"item","numeric-id":5881265,"id":"Q5881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599c7dba4caa7d2173810346638e4282df7d906e","datavalue":{"value":{"amount":"+0.7842504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q492918$9C76DED5-9102-4F77-ABBA-024013EA3700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ece6910314f149622122d1ba649044ee2241344","datavalue":{"value":{"entity-type":"item","numeric-id":3970984,"id":"Q3970984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa4d2139444bb7a3223c650f54be21a0d6a2262","datavalue":{"value":{"amount":"+0.7830055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q492918$094A1CC9-40C2-46FB-90A3-E9B2BDBFDC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094b56ecfa17507306c21215ee4485798f2d6e66","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a558785cf7928a2af986afbe6759ef2b00f3bea","datavalue":{"value":{"amount":"+0.7818178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q492918$AA0E54F7-515D-4935-A0EC-054D26E980B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc78662ad87e0ad64a1b6f5fb5983785321da06","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8b237000d04bc4f6d144a41fc5717211f39f6e","datavalue":{"value":{"amount":"+0.7788173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q492918$FEA4E113-E7F3-4B78-B273-7ED4FDAE1A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1530988e0d4cc1c737e6309b94b30d2a8bc6e330","datavalue":{"value":{"entity-type":"item","numeric-id":975468,"id":"Q975468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31e349b8037a2a58eb8b9fef5d6e015aa45716f","datavalue":{"value":{"amount":"+0.77769876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q492918$5B9424D2-D59B-4896-9CCB-87B9B09AB6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f54b6c3935910f43ccc6f844514028ca0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8384d59133e43a481c126ff26beafef45f46a251","datavalue":{"value":{"amount":"+0.77624106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q492918$EDD342EE-C449-4BEA-B79B-52B5A624003D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:492918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:492918"}}}}}