{"entities":{"Q1186735":{"pageid":1197484,"ns":120,"title":"Item:Q1186735","lastrevid":42310581,"modified":"2025-06-05T12:44:20Z","type":"item","id":"Q1186735","labels":{"en":{"language":"en","value":"Sequentiality in orthogonal term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 37018"}},"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":"Q1186735$7EFDB2D7-DDFA-4BB9-89BF-C4B0EFF77A86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c9bcd1084839641e8a24e779389d35d2062df28","datavalue":{"value":{"text":"Sequentiality in orthogonal term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186735$97B83C87-A6ED-4CB5-96E1-01299A089977","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22435ff5acd734df6dbdc67e6722e647818cc133","datavalue":{"value":"0746.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186735$E9FC46C8-B16C-45EA-ABE4-0788D72A8849","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"652667182101f13d19f51d3fa43b7144ebdebdb1","datavalue":{"value":"10.1016/S0747-7171(08)80124-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186735$4A4975E4-5D84-4315-A7E7-F45B83A3B2A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$0A1D6AB2-C966-4A17-B27C-97C29A9456CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$CD788054-69F4-401F-B5A6-9436CE29C82F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$E80911FF-2543-408F-A18F-9C9EE6035490","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186735$656D6B12-EC9C-40F7-AAB1-348D05D48600","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"efa4df6454647d1ff1cc7b6cedf0063393fee8f0","datavalue":{"value":"Term rewriting systems can be used for computing with equations. A term rewriting system is called orthogonal if it is   (1) left-linear (no variable appears more than once in a left hand side of a rule) and   (2) non-overlapping (no left-hand side of a rule is unifyable with a non- variable subterm of a left-hand side of a rule).   This property is very useful since it guaranties confluence: no term can be rewritten to two different normal forms. But, there may be a term which can be rewritten to a normal form and at the same time it is the starting point of an infinite rewriting sequence. So it is of great importance to develop a rewriting strategy that avoids infinite computations whenever possible.   Huet and L\u00e9vy have defined a subclass of orthogonal term rewriting systems, called strongly sequential rewriting systems, that allow for such a strategy: For any term \\(t\\) one can compute a `needed redex', that is a subterm \\(t_ 0\\) of \\(t\\) that has to be rewritten in any rewriting sequence starting with \\(t\\) and ending in the normal form of \\(t\\). Now, the rewriting strategy is just to rewrite in each step a needed redex.   Huet and L\u00e9vy have proved that it is decidable whether an orthogonal rewriting system is strongly sequential, but their proof is highly complex and in essence it is a correctness proof of some algorithm. The aim of the paper is to analyse the notation of a strongly sequential term rewriting system and so to arrive at a conceptually much simpler proof of the decidability result. The resulting decision algorithm is of high computational complexity, so a second algorithm is given that has a computational complexity comparable to the algorithm of Huet and L\u00e9vy. It is also proved that strong sequentiality in a modular property, i.e. the disjoint union of two strongly sequential term rewriting systems is again strongly sequential.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186735$B28A2189-F1F7-4FD6-B15F-FF54033482B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186735$E2355F23-5F56-40CC-A80F-3103B4468669","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8978d3b8f92b1d8f69c74fa8f632284f18c1345","datavalue":{"value":"37018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186735$1191B6AF-111E-4E42-B5AE-8561D15D1574","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0880d133e1ccf9e6bf57b262180e7b7042750a95","datavalue":{"value":"decidability of strong sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186735$954E3072-AC50-4F96-8BE6-4C282B0E422E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186735$6EAD42A2-7721-417C-B714-2B8B4799D834","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1024eb68be5ead5b1a13571c300dc7d3374934dc","datavalue":{"value":{"entity-type":"item","numeric-id":174769,"id":"Q174769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$1F424928-4A9E-41F1-86DC-93A1B8A9877F","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":"Q1186735$3645DCB2-734D-40EF-B191-F419FA6F5A90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bfd5495fb43121f8a4e322e6d89c59ef06b781","datavalue":{"value":{"entity-type":"item","numeric-id":1097253,"id":"Q1097253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$40872CB1-45AD-4BCB-B219-5C32D67DFE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$7FCF7EA9-A108-4044-810C-E6682C227325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a0f0b42e72fda0f581b376bc9cf7570d77fd","datavalue":{"value":{"entity-type":"item","numeric-id":4170199,"id":"Q4170199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$0BB3FE42-8D21-48C3-B0AA-B1AFDB9982A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f029d75d16f28910d4e43fa506b7a97d7a9573b","datavalue":{"value":{"entity-type":"item","numeric-id":3750994,"id":"Q3750994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$00C032C7-4688-4044-BBFA-2CB85ADCAB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$E85F0B9C-2E2C-48E4-883E-B58A0A1DA223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900e49395881cb92abc2a43086fd28e03f8aff19","datavalue":{"value":{"entity-type":"item","numeric-id":3719790,"id":"Q3719790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$3C2ABA89-B933-41CA-96B5-AA017973FF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$D85B8284-E846-4CA9-A4FC-04D0C08484AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$4C42C294-8BD1-44D0-86C6-DF8189AC6C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7962d1820153a6357b92c54b2777c99d450762","datavalue":{"value":{"entity-type":"item","numeric-id":1825644,"id":"Q1825644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$2B99AAEF-17AD-4927-A1BA-B2E90938FF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1de7a41a5c09d0b7d2c0b459018288964db062","datavalue":{"value":{"entity-type":"item","numeric-id":3805891,"id":"Q3805891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$998A3C97-36CD-4234-A389-B8CE46071B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b11400522d395eca046a008028b7c6f5d9f584","datavalue":{"value":{"entity-type":"item","numeric-id":3776597,"id":"Q3776597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$4BAA426B-1CDB-4AB5-B289-718C7785D5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$86113FBD-054D-4617-AA0C-C78FBECBEF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$23EE4FBF-E2BF-4312-A728-717D966C7160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d512bf90ee6db3a4baa20c6eec43f385f28cf6a","datavalue":{"value":{"entity-type":"item","numeric-id":1093366,"id":"Q1093366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$E187391F-A77E-40B6-BA39-7D54FB17EA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186735$1B6ECA74-8369-44AD-98E5-50FFD87FBB93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91dd6cde9c00573d75eb8fa4582ab074d88d13c2","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(08)80124-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1186735$CFCC7C30-B2DA-47CB-B692-DA16E93B3D31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ad60693b20d6748e87ecc101307649fafb8af9c","datavalue":{"value":"W2158205039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186735$A9003592-0F0D-4F2D-A197-00A0C467F402","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a6fd7da2f3b442e27d656027b3efdcd30f039","datavalue":{"value":{"entity-type":"item","numeric-id":1275017,"id":"Q1275017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601843703716e29a7708f8d7858f2e6a98897d07","datavalue":{"value":{"amount":"+0.90050954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186735$720F63BD-806C-45E4-BFE0-DC902587FBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"099a81d600b274339feafb0733b0baf53d305559","datavalue":{"value":{"entity-type":"item","numeric-id":293294,"id":"Q293294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9c283bd0039ce0dab4a9cf06e9a24ae3514e49","datavalue":{"value":{"amount":"+0.8941285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186735$CADD9909-BF3C-45B9-BE3A-B3F148D979C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef349e646289a428d5b170f1205f0af317edfac","datavalue":{"value":{"entity-type":"item","numeric-id":5055874,"id":"Q5055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffbd34f4e601cf229a2175f61863b18f9a23be4","datavalue":{"value":{"amount":"+0.89247066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186735$D3414212-50DA-4FCC-9B4B-2A6409C84998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c61000f85fd63e20e68b42d10e60690b48753d8","datavalue":{"value":{"entity-type":"item","numeric-id":4992400,"id":"Q4992400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da4e95eb78572e96c897a02f4cdd72ae12b8e99","datavalue":{"value":{"amount":"+0.8823139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186735$F25EB9F9-AFD9-47AA-887B-57BD72F10927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cca0a2987b129fa09e63ef02cc9b4e4510c9db","datavalue":{"value":{"entity-type":"item","numeric-id":5881203,"id":"Q5881203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b1c1f3f85dc0b52d2023f45c7c4aabcce9692a","datavalue":{"value":{"amount":"+0.8804534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186735$B1AA2478-06A6-4AE7-9C3C-D1606F833AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c120a7c0aaea7c0bb0e5bb4d9fe0e35dca7781e0","datavalue":{"value":{"entity-type":"item","numeric-id":4323388,"id":"Q4323388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee1cc4a380cde60bb68dffe1bf7618ca0140730","datavalue":{"value":{"amount":"+0.8757367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186735$C32CC06A-439E-4A97-BD6C-7FE47D940F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e239b10eaa6658a00ef4cae0cf45f19aa3af3","datavalue":{"value":{"entity-type":"item","numeric-id":1327380,"id":"Q1327380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71519f90570d9fcf4afc8df94e0c6a416e1de47e","datavalue":{"value":{"amount":"+0.87355405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186735$ED640128-4E99-436F-B1D4-73886A73055A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df8c04f0397d2ca963f36631bc44f9f45d42c81","datavalue":{"value":{"entity-type":"item","numeric-id":4035223,"id":"Q4035223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f5cf5d13602f038b8b737bd75e33030ab91931","datavalue":{"value":{"amount":"+0.87322605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186735$13C176A5-FC96-4074-B667-FF8860E7C5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57438c56f0d63d774602f00d203ea91017cd479a","datavalue":{"value":{"entity-type":"item","numeric-id":1892142,"id":"Q1892142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7a03b3dbd182071bd5899880445dab5aea318e","datavalue":{"value":{"amount":"+0.8732244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186735$567BFBD5-84AF-46B4-9DC1-5ECD771168B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1479344032656739c350d0c18b681ddbcba39c","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b0b3072bd1f808e8dd52d40d3733736274f146","datavalue":{"value":{"amount":"+0.87241864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186735$AD325018-580D-46DD-B5BD-7D586A373E74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1186735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1186735"}}}}}