{"entities":{"Q5958468":{"pageid":8135270,"ns":120,"title":"Item:Q5958468","lastrevid":41136037,"modified":"2025-04-18T11:10:29Z","type":"item","id":"Q5958468","labels":{"en":{"language":"en","value":"From rewrite rules to bisimulation congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715469"}},"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":"Q5958468$AE6FBCF3-BAC1-49B3-B2E6-391B23D45831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb2d78a01c49b80c4c04a5930473d010aea2520f","datavalue":{"value":{"text":"From rewrite rules to bisimulation congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958468$2900E2C8-7627-46CE-AB14-21ED6B9EA104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad7024cd71d74be37029ac47587561384efe9c4d","datavalue":{"value":"0992.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958468$10B406ED-2838-4391-847B-442CA389023E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7407b93b036d164160b8295679416f65f966059","datavalue":{"value":"10.1016/S0304-3975(00)00309-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958468$28FA0D13-8163-4027-A5A3-08AB7D49B3B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f688dbdbd0131e419730283649f1321b89972f6","datavalue":{"value":{"entity-type":"item","numeric-id":236083,"id":"Q236083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$4EDC44CE-6065-4971-83C8-9CA17AFDCCCD","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":"Q5958468$530E4AC6-97DC-447E-92E7-68398ADBB783","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958468$F6CB9075-DE17-4D92-8FE8-5395FC1507AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0554d84c098ca1c66dbdba9d029e9c68d339b174","datavalue":{"value":"The dynamics of many calculi can be most clearly defined by a reduction semantics. To work with a calculus, however, an understanding of operational congruences is fundamental; these can often be given tractable definitions or characterisations using a labelled transition semantics. This paper considers calculi with arbitrary reduction semantics of three simple classes, firstly ground term rewriting, then left-linear term rewriting, and then a class which is essentially the action calculi lacking substantive name binding. General definitions of labelled transitions are given in each case, uniformly in the set of rewrite rules, and without requiring the prescription of additional notions of observation. They give rise to bisimulation congruences. As a test of the theory it is shown that bisimulation for a fragment of CCS is recovered. The transitions generated for a fragment of the Ambient Calculus of Cardelli and Gordon, and for SKI combinators, are also discussed briefly.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958468$CEE39D5F-E5EF-4D0A-93BE-B18DDAB4E44A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958468$8DA9B1AF-8165-4041-8811-605E10C36F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958468$A04B5D66-56F5-4948-B7C4-2873BBA805D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e05398eda8c5fbc9e50faaf304d44108495c803","datavalue":{"value":"1715469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958468$4A173B0C-1355-4223-B991-6B7C529AA8AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958468$DDC894F2-98C5-462B-B15E-8DDE1698C7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958468$58FDBCAB-93BE-4F8E-B825-B4F57B57E180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958468$00D97AA2-A1D7-44D6-A4C5-1135A3659B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0db5739333e1ea084e54c78ebf4ede1612030981","datavalue":{"value":"pperational congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958468$8B49B171-41D3-4747-8FCF-F3C4DF5A61C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958468$4BDA2033-2E9D-4693-90BF-F0D95FE8DB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958468$25DF79A7-3ECC-4B9E-B347-37305D70B978","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":"Q5958468$FEAC46FD-F7C2-4A7C-8377-E18A45E38B2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$E966B187-9154-4162-95F8-A427C983FB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$634ED677-525B-48A7-ABEC-A4020FC0B57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$5398A034-C37E-4009-A230-75BCD7459DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$AE669879-59E1-4ECF-B929-0FE82FB1654A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$D5F0BFD8-1015-4CCD-BD8C-6C1D527E9BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea474838f3dd9b4aaf51f3836816b8973a7b42e6","datavalue":{"value":{"entity-type":"item","numeric-id":4251927,"id":"Q4251927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$48133C8A-2B15-47F2-9C63-FE95F6A9D1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$457415E5-BAE2-4B5A-A601-954CA968FD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$4D8E73C3-889E-48E1-9248-EAE9A46EC919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6203b4723a316c6e025f2804d602303a17070260","datavalue":{"value":{"entity-type":"item","numeric-id":2817698,"id":"Q2817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$D5E2A2D4-EDC4-4C00-865E-E4D0C2EC59B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$6DD64EA9-886C-400A-8E7E-3B61C9661E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$43BD5A0E-F2D7-4DC8-A285-1FCA9D796FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$C51AE83C-7EA8-4B15-A61E-DEB76BE67AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$BF575893-5827-4594-A87B-9578DA1A0FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$FF33AFF6-A3AD-49C6-A630-6779FFC64B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$77B11F6C-8357-4D43-AD1C-709005D622B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0782b7d33d379ae0ec98c689a5af5697874e667a","datavalue":{"value":{"entity-type":"item","numeric-id":1901716,"id":"Q1901716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$473F7A47-C446-42A1-83EF-D04812C08BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$A40B1076-A3EB-4E85-B147-44C6A58AF0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a024d6fe2e8f5dc23a3aac7897d4d61e4e233f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4018066,"id":"Q4018066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$3D264FE9-F8CD-4A24-BEBE-FDDDF61B2B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2a38cd06ab45b0f8d80c599a318f2c40a9e7ac","datavalue":{"value":{"entity-type":"item","numeric-id":4223018,"id":"Q4223018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$3381C744-AE28-4E6F-B070-711F9924FABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48f413f99c64c9591f0da46e8b48bfff537ea02","datavalue":{"value":{"entity-type":"item","numeric-id":6044131,"id":"Q6044131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$590AFE73-FC4F-44DF-BF21-E8416652A31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd7a451b47e8f1a3592e5ad136aaeb22af8ce40","datavalue":{"value":{"entity-type":"item","numeric-id":5958468,"id":"Q5958468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$3538C03B-1E1F-49E1-ABD0-3D050DC32FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7b7b495e1316a081d2c741d60b9aebbc2455e5","datavalue":{"value":{"entity-type":"item","numeric-id":4219047,"id":"Q4219047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$647A4DFA-1A2D-4257-84B6-C933596364B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704af5e782e41ddccf886a036c3453b52457605a","datavalue":{"value":{"entity-type":"item","numeric-id":4222924,"id":"Q4222924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958468$40014AB5-7C9A-4328-AACD-0F9C33AFCF85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f233ea8b0d033005d9293d4ca5ac9cb7b25b9008","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00309-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958468$14C899D7-46A8-4343-9A2C-8DD02A94188B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c430232868f20bb562d090308cba5bb48e6299a3","datavalue":{"value":"W2049924207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958468$836BC45C-6FF5-415C-A097-8972E9059B70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93669e5d81f11047f46e6c5e573f3014b9b7238b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ce0fa47d39344fe7c86b2dbc2f285de3ca1283","datavalue":{"value":{"amount":"+0.90611094","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":"Q5958468$D3DD02CC-2592-40FE-A702-A4A1535ACE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a418ef6f055116d855fe043d0f39a75e7edae57","datavalue":{"value":{"entity-type":"item","numeric-id":2892783,"id":"Q2892783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d86e28954a7ccf610902c819708d3f4912a3581","datavalue":{"value":{"amount":"+0.90267885","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":"Q5958468$A230869C-1421-41EA-BAAB-02CB166117E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315b376fd50a158cc04e07ce0524d8a8de5e9a82","datavalue":{"value":{"entity-type":"item","numeric-id":5308448,"id":"Q5308448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e674df7fabb0d3f3a07c630bb85867d47f89d1","datavalue":{"value":{"amount":"+0.9007548","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":"Q5958468$610EBB6A-5F37-4799-B801-06AE0F63391B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6741a1fe901bd7d54a0a9cb83126e526be43fe4","datavalue":{"value":{"entity-type":"item","numeric-id":5897490,"id":"Q5897490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c8e77bcf2a400646f6209d50a919ee50741d38","datavalue":{"value":{"amount":"+0.8942313","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":"Q5958468$44120BE5-D4E6-406D-8E17-1EAC00E56A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896b3d5a44046b47d34b8496cd0f28eae31c4401","datavalue":{"value":{"entity-type":"item","numeric-id":3612482,"id":"Q3612482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13d81b897f69d6ee4032b73178bf196295029fd","datavalue":{"value":{"amount":"+0.8941399","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":"Q5958468$64D5B148-4B6F-4C8F-81B5-3570859FDFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4709cfd176129a3c1d66896cd09bcfa903cea1af","datavalue":{"value":{"entity-type":"item","numeric-id":3178257,"id":"Q3178257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2093b0e29ca0fa8cb48c95a3933b5b67676a1158","datavalue":{"value":{"amount":"+0.89260674","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":"Q5958468$07ABA364-B51B-4B56-8303-78DC8E2D47A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f5f205f93b9e0fd967ce91bb1607df41d851ad","datavalue":{"value":{"entity-type":"item","numeric-id":5458376,"id":"Q5458376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb1142a84d290b2ed625db94572d6411008a85b","datavalue":{"value":{"amount":"+0.88970876","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":"Q5958468$4E52B9C1-2742-4061-9731-43C7D2055D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29429483644eda9b2894cff3a1c351cd74a8c1","datavalue":{"value":{"entity-type":"item","numeric-id":3419789,"id":"Q3419789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e1910f7d5d4769cffb8fbf282ab31168c78ab8","datavalue":{"value":{"amount":"+0.88617885","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":"Q5958468$4F31AD23-E9F0-4F35-A531-DE3E0681AD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86fffbf2b110759b555950f6d521d8d7229e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ddd53fbd37872b62f4037c77893eea3be914958","datavalue":{"value":{"amount":"+0.88430136","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":"Q5958468$A212AADE-9B17-472E-9236-7085B4ED77B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e324874e25ff984bc895b138773ac64e28785bb","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ec1b286887c62f732f740c5aa924b73bd02a4c","datavalue":{"value":{"amount":"+0.8842591","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":"Q5958468$C5CC0D3A-F7E7-4A09-84A1-308CE442E447","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958468"}}}}}