{"entities":{"Q685387":{"pageid":687236,"ns":120,"title":"Item:Q685387","lastrevid":47188894,"modified":"2025-12-31T23:10:21Z","type":"item","id":"Q685387","labels":{"en":{"language":"en","value":"Transition system specifications with negative premises"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417335"}},"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":"Q685387$736D05FA-F41C-46AF-A97A-909F100C4F5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"889bfe43127747298252d1b3dbfa8bb3b94b467c","datavalue":{"value":{"text":"Transition system specifications with negative premises","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685387$D14C9692-E296-4661-B241-A4214879385C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7611f65b81814214597d8907a5302faf0b83a7d6","datavalue":{"value":"0778.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685387$03657D72-B2C6-4214-A602-7BA43F36F5C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eda59b9fcf82703dedaea4686a401d5e16d44e6b","datavalue":{"value":"10.1016/0304-3975(93)90111-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685387$6F277890-E41A-4528-880F-8CE645420106","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":"Q685387$95ABDB21-B563-4394-874C-F70FFF8E6883","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729108c69527af72f2ca1b9041a9358219bdc1fc","datavalue":{"value":{"time":"+1994-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685387$97AFA9DC-E255-447A-ACF9-3812281F42D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f30d9e3bbd233ea177c6b5c018e7572b6dea265","datavalue":{"value":"https://ir.cwi.nl/pub/194","type":"string"},"datatype":"url"},"type":"statement","id":"Q685387$C4897598-C82F-4452-97B4-3DDBBCB7D925","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5bff5f56d2660a8690414e4272c975cfa8d30183","datavalue":{"value":"The general approach to Plotkin style operational semantics of \\textit{J. F. Groote} and \\textit{F. W. Vaandrager} [Structured operational semantics and bisimulation as a congruence, Inf. Comput. 100, No. 2, 202-260 (1992; Zbl 0752.68053)] is extended to Transition System Specifications (TSS's) with rules that may contain negative premises. Two problems arise: firstly the rules may be inconsistent, and secondly it is not obvious how a consistent TSS should determine a transition relation. We present a general method, based on the stratification technique in logic programming, to prove consistency of a set of rules and we show how a specific transition relation can be associated with a TSS in a natural way.   Then a format of the rules, called the ntyft/ntyxt-format, is defined. A rule is in ntyft-format if it has the form  \\[ {\\{t_ k\\overset {a_ k} \\longrightarrow y_ k\\mid k\\in K\\}\\cup \\{t_ l\\overset {b_ l}  \\nrightarrow \\mid l\\in L\\}}\\over f(x_ 1,...,x_ n)\\overset {a}  \\longrightarrow t \\]  where \\(K,L\\) are index sets, \\(t_ k,t_ i,t\\) terms, \\(y_ k,x_ 1,...,x_ n\\) pairwise different variables, \\(f\\) a function symbol and \\(a_ k,b_ l,a\\) transition labels. A rule is in ntyxt-format if it is an instantiation of  \\[ {\\{t_ k\\overset {a_ k} \\longrightarrow y_ k\\mid k\\in K\\}\\cup \\{t_ l\\overset {b_ l} \\nrightarrow \\mid l\\in L\\}}\\over x\\overset {a} \\longrightarrow t \\]  where \\(x\\) is a variable, different from \\(y_ k\\). The ntyft/ntyxt-format is an extension of the tyft/tyxt-format that has been introduced in [loc. cit.].   It is shown that for the ntyft/ntyxt-format three important theorems hold. The first theorem says that bisimulation is a congruence if all operators are defined using this format. The second theorem states that under certain restrictions a TSS in ntyft-format can be added conservatively to a TSS in pure ntyft/ntyxt-format. Finally, it is shown that the trace congruence for image finite processes induced by the pure ntyft/ntyxt-format is precisely bisimulation equivalence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$210B7590-10DE-4161-9761-DA9FE793E52E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685387$9FAF953D-E37D-43FC-AB03-E453FDFF7259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685387$A83DC784-C2A9-46B7-B21D-571C6E41C6AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"512090374c2e314841f428f3d4a17e6f354bfcc1","datavalue":{"value":"417335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685387$61D8A74A-9AC9-418A-B7BE-448A89CCD6D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cf5c8098889f20d65372fc9b11dfda1b5554cda","datavalue":{"value":"structures operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$8277086A-0C77-4074-82FB-1F87212A405A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ac4de62f45a78562ed11de27a93e253d03123d","datavalue":{"value":"negative conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$59438044-0338-4118-ABE9-074DE7D99C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$B787FEF1-59EF-4A35-97D1-55CFE01D1BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$B8E3C5EF-5955-4789-B19D-D5B5010045EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$DBBA56F5-9578-4616-9936-35083E3209DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$240FD81F-2F83-41A3-BEF5-F7EA0403F2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca426b1bee617664022f46f771908501dd2dd05","datavalue":{"value":"Transition System Specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$18F6C189-02F6-42C4-936A-16522ABA3176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$004421AA-BF4B-4AC7-84CA-316C5683A2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d01569f50cee47fbb3f3f42c684124fa713ebf","datavalue":{"value":"ntyft/ntxyft-format","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$71F30704-6595-4774-B0AE-E77C2FF5FEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$3E063E12-CDEE-4B6E-A6A2-ACC3E39E17D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q685387$0481B781-954F-4A1C-9FE2-A24BC3997260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$1C7374D7-93A6-4D6F-8DF0-6C4F42D56378","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"925d67eb1b56877c845a4036a780535c79acb5bd","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$11C3D65E-5482-4574-A589-10778ABF3CD2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$228359FB-AA72-4503-9894-8289D05C743C","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":"Q685387$CE61D793-7778-49F7-BAA3-5575AAD35789","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51df70f3521794152f9625ff683b6ed17437af2a","datavalue":{"value":"W2125382028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685387$3852E1A1-F2B5-45FD-87CE-D6FE0D9206CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$1480A067-E010-4C9F-BCE9-CBDD1658CD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$13C03A01-EA96-4006-A5F7-D0EB2E9CD437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$18E78A5E-E487-4515-8D9B-AE3B1CAEA15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924f9d45e7c4bf8a47eecb690915286b469226fe","datavalue":{"value":{"entity-type":"item","numeric-id":1106660,"id":"Q1106660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$091A8C1B-FDED-4306-9E7C-86ACD8AE8C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$0FD92E15-7488-465B-A419-ABD3F217B5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$EBBF4DCB-B9EA-46A7-8DF0-717149313993","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":"Q685387$59FE2CC2-D179-4EFC-8DFD-4C3C9925722D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef03999b796c54be743039f4a3fb23feae152e0","datavalue":{"value":{"entity-type":"item","numeric-id":4036587,"id":"Q4036587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$6209EDDD-B24A-4E09-A419-95A2439E466E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$141D7C1D-AF08-4B40-BE00-08A65D16C73A","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":"Q685387$125978C2-403D-4EC5-89D7-65D65293872A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$D2169454-07B9-4691-A01F-C254AD6A94A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$AC466EA6-7177-46E6-893B-FBED31E31C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$7397BB16-9178-4CD4-A0EF-0D621434EB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$70D98563-57DF-4BC6-9159-7A1BBDBE4752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$B61A12FD-B069-4F9B-AA5C-7844F0AA9D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$52F1B3F0-3F1F-4BFE-8DF4-ABE42CCAA54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$57A9B9FB-1705-40C3-8741-CB89C66A5334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$CE07F757-2EE0-4867-8A5D-C25AAB247F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685387$5A45E2FC-E855-48A4-91A9-3D567FB77167","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":"Q685387$D192FB6F-9E9E-4845-BBC9-693F64FBE8D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a79cfd5ce6f676936d2f408b6bfcf12ed96b367","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab150e335482954d28228fe43aab93372520eac5","datavalue":{"value":{"amount":"+0.907261610031128","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":"Q685387$0A102160-0CC1-400D-AE86-EA4A2C68B7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fc933934099fc702f7ade85c62ea1c18c9b13c","datavalue":{"value":{"entity-type":"item","numeric-id":4490742,"id":"Q4490742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab150e335482954d28228fe43aab93372520eac5","datavalue":{"value":{"amount":"+0.907261610031128","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":"Q685387$D56A330E-595E-4BD4-9C2C-58584C28A6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc33ecbc1c6e5a703a8a60228e15fbea9bf7760d","datavalue":{"value":{"entity-type":"item","numeric-id":4036587,"id":"Q4036587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fade822cf6a2f9b30708f0296b72124f2aaa5954","datavalue":{"value":{"amount":"+0.9034367203712464","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":"Q685387$88CC204B-C758-42BB-8F68-D06B9E162428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efffbe588a0ff38ae921504ea9bd98b792418bf","datavalue":{"value":{"entity-type":"item","numeric-id":2842096,"id":"Q2842096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fade822cf6a2f9b30708f0296b72124f2aaa5954","datavalue":{"value":{"amount":"+0.9034367203712464","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":"Q685387$83B2FA9A-B529-4527-860D-77393F4F473F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718e1c1da3401e96ac7b0d57399c41776e11a80e","datavalue":{"value":{"amount":"+0.863689124584198","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":"Q685387$6A1ED9B4-7FE6-4A86-B218-B9827B036C27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685387"}}}}}