{"entities":{"Q685409":{"pageid":687258,"ns":120,"title":"Item:Q685409","lastrevid":63459933,"modified":"2026-04-11T13:18:23Z","type":"item","id":"Q685409","labels":{"en":{"language":"en","value":"The expressive power of implicit specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417349"}},"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":"Q685409$8743B91C-CC88-4D69-BDE2-8EE369C122A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82496eab95c737645a0161d7539c44b3971d9d8d","datavalue":{"value":{"text":"The expressive power of implicit specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685409$C918F80E-0B5A-4C4D-AE47-1F66BA6E3626","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8728d33a4ee5cdd842ce64f0f9be389b819e69a4","datavalue":{"value":"0779.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685409$D2B15F55-92CF-4AEF-81D0-7F89FC7172C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abbaef3bfdea02c497109295d91724873e356e44","datavalue":{"value":"10.1016/0304-3975(93)90155-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685409$7E97B160-909E-49C1-B3A5-40F924B869A9","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":"Q685409$E44148FC-FFFD-4201-96A1-E3333E4DB94D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d02bde13d622d42f9b76cdf00d7fe9c53527b91","datavalue":{"value":{"time":"+1993-10-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":"Q685409$A024BBDF-400F-4246-A239-DC37A2552C8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1bc3d71839f2e16417675a2e3ce5f2e2bbf9a813","datavalue":{"value":"We investigate the expressive power of implicit specifications of concurrent systems. That is, we consider specifications \\(S\\) specifying a system \\(P\\) not directly, but rather in combination with a given environment. Formally, we shall represent the environment as a \\(CCS\\) context of the form \\((A\\mid[\\;][\\Phi])\\setminus L\\), where \\(A\\) is a process expression and \\(\\mid\\), \\(\\setminus L\\) and \\([\\Phi]\\) are the parallel, restriction and renaming operators of \\(CCS\\), respectively. We investigate the expressive power of the following three types of implicit specifications:   (i) \\((A\\mid P[\\Phi])\\setminus L\\sim B\\),   where \\(\\sim\\) is strong bisimulation equivalence and \\(B\\) is a process expression;   (ii) \\((A\\mid P[\\Phi])\\setminus L\\triangleleft S\\),   where \\(S\\) is a modal specification and \\(\\triangleleft\\) is refinement between modal specifications (a generalization of bisimulation equivalence); and   (iii) \\((A\\mid P[\\Phi])\\setminus L\\models F\\),   where \\(F\\) is a formula of Hennessy-Milner logic extended with a (maximal) recursion construct.   The paper offers the following two main results. When \\(A\\),\\(B\\) and \\(S\\) are recursion-free and \\(F\\) is a Hennessy-Milner logic formula, the expressive powers of all three types of implicit specifications are the same and equal that of Hennessy-Milner logic. When \\(A\\) and \\(S\\) are regular, the expressive powers of implicit specifications of type (ii) and (iii) are the same and identical to that of Hennessy-Milner logic extended with (maximal) recursion. Finally, we recall from \\textit{K. G. Larsen} and \\textit{L. Xinxin} [Lect. Notes Comput. Sci. 443, 526-539 (1990; Zbl 0765.68107)] that the expressive power of implicit specifications does not increase by modelling the environment as other contexts (of CCS or other process calculi).","type":"string"},"datatype":"string"},"type":"statement","id":"Q685409$D7844606-82A9-4E14-9D1F-B28AAF1135EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685409$26161FF6-4E53-4B6D-B692-35543BA00332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685409$4F44BF33-89AB-4E1B-9FE9-B31DC4627415","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1916a3ffda51eafbc37a1e87c1f9b60c09cfcbbd","datavalue":{"value":"417349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685409$8F1F84C3-1C50-4E9E-812A-F3CE23372819","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a435886682c8e9c8000f5b912a1e78d7c7a5bac","datavalue":{"value":"implicit specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q685409$A171C30F-A19D-4599-8AB1-D37A3A285460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q685409$C1C57CB9-24CB-4F18-9C45-1FD7B4C23E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685409$CDB6928E-2F47-4C4A-A175-0CA9AAA9AFDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$EE192256-DC42-4374-A257-C3F8FB1477AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$C13FDE95-2E00-4A15-8FF2-976EA543541B","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":"Q685409$DB7A4DF6-6B85-4E45-9E58-4AD6BE62A524","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6720ea54e8d7bda1f526d6d3b9396cc0b55a891","datavalue":{"value":{"entity-type":"item","numeric-id":1115196,"id":"Q1115196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$213BD4D2-40AA-4519-AB99-FD1F2EC18EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$807F3F91-91EE-42B6-9DEA-577DC036000E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5eb513d5962a88f4f5c98ed8b7e6b3095b933e2","datavalue":{"value":{"entity-type":"item","numeric-id":4027619,"id":"Q4027619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$1470C856-8C11-4760-BA0C-D3E4F923325F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$F5837A5F-A9E7-4C47-BEE0-AAFF22732CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919e9204ec45969523a120a7737cd8514526e8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4036558,"id":"Q4036558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$CF2F8E6F-BBCC-4747-9FE2-086A7FAABD13","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":"Q685409$0ECF110E-6FFA-4A75-8F6C-9E841526BC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$6BAC965A-AA7B-4C80-8268-D60900F17488","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":"Q685409$9776BA38-8C35-4C38-BBB4-DB8C736427CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$8BD7F628-6547-458C-BC59-0727C69A0134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4699e7b6f680f959edf7c209e86a633fded3126","datavalue":{"value":{"entity-type":"item","numeric-id":3700806,"id":"Q3700806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$081DB8B8-0B01-4133-89B6-41E546DCA035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cda71ff5ed600ad77742f3d5e6a3f654a27f","datavalue":{"value":{"entity-type":"item","numeric-id":4732449,"id":"Q4732449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$2F2B824C-4FCA-4931-A1DE-D618A9637B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7c046ea8b4fc1f84c15d063b33cc5c1da598b4","datavalue":{"value":{"entity-type":"item","numeric-id":2736352,"id":"Q2736352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$A5B2923A-02F7-4FF7-B637-16581B194256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$8AA0373F-625C-4855-A4D9-FFACFFEF6AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$EA10C2EB-4BB1-464F-8C53-9DD9815EE1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2a6bbb40f25f4db3104def630456b503e1dceb","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$AEBE14B9-6803-49B9-BCEF-4BCFC920DF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c88fdec593483662a89d28548d30f5a2ef29857","datavalue":{"value":{"entity-type":"item","numeric-id":3964002,"id":"Q3964002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$17A00ABC-A3BA-4309-81D3-77F7DD018AD3","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":"Q685409$9B5B7DB6-6BF5-4257-BA4C-2B7181D174B0","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":"Q685409$AADF18F0-A108-44D3-A335-22942DBF8D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$9FED29CF-99D3-450E-B8C5-FA2078B2F0D7","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":"Q685409$49202720-F4F6-4917-BF0C-242E81706B02","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":"Q685409$5CBE6E5F-119D-453A-AE23-D466981457C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d4584907f56a4407554b758acfdbdf1aa46169","datavalue":{"value":{"entity-type":"item","numeric-id":1262748,"id":"Q1262748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$3B65014D-8D96-4A3B-86E3-DB00DAAFD51C","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":"Q685409$68960A98-956A-449C-AA5F-1AF6C5972F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$51300244-2BF1-4580-BC20-B45B23046CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1046b50af51c3932f3f883ecb7513f98f95e421c","datavalue":{"value":{"entity-type":"item","numeric-id":3033311,"id":"Q3033311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685409$B527E07B-EBF7-4F58-8C8D-E5FE745DB30E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c06c76d84bcdefee41c29ffb0b10c7094272db12","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90155-m","type":"string"},"datatype":"url"},"type":"statement","id":"Q685409$EEA804E0-E562-4BD1-9867-8BD8004EB803","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d1ccee5df8e85d1c86157018bdb657cd76c4b86","datavalue":{"value":"W1967594083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685409$75A8DD32-3B0C-4266-86E9-C27F8451D67D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc83022bacc504fd26933a76b507ac01e8ea8e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4036564,"id":"Q4036564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b99855a6e0f2f656c9791988ccc7beff85ebcb","datavalue":{"value":{"amount":"+0.8996167182922363","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":"Q685409$D4EC4767-8022-4BCF-AD48-FEDAFAFC61B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1fca5c6c00e59e4aa0f101133e26d0dedbf306","datavalue":{"value":{"entity-type":"item","numeric-id":2956692,"id":"Q2956692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b99855a6e0f2f656c9791988ccc7beff85ebcb","datavalue":{"value":{"amount":"+0.8996167182922363","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":"Q685409$3B8A7CEF-2692-4B0D-AC27-32643F9AE821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de3f9e1e2a32a67e04674d210867a974a5a7fb2","datavalue":{"value":{"entity-type":"item","numeric-id":911261,"id":"Q911261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd87d7da3abe49b38ad69fd90cf7cd1efb0df5c","datavalue":{"value":{"amount":"+0.7424674034118652","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":"Q685409$C7F2DB6C-4D2F-48B0-A994-BC3E753D608B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1a2edb4bf64d789a481ce8ce7f205da66477c0","datavalue":{"value":{"entity-type":"item","numeric-id":4027619,"id":"Q4027619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebffc716db93edabf9fc2671ffb5a4d09bdeb851","datavalue":{"value":{"amount":"+0.7349840402603149","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":"Q685409$303F2151-5A42-428E-98D9-7F87C0348128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a71ec948495a761399cf501b7fc10852eb4571","datavalue":{"value":{"entity-type":"item","numeric-id":960859,"id":"Q960859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdebd3fc6071d755a07f19617b971382d5cf1fc0","datavalue":{"value":{"amount":"+0.7349838018417358","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":"Q685409$E61781F0-748B-4CB6-8326-F8299307A0AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The expressive power of implicit specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_expressive_power_of_implicit_specifications"}}}}}