{"entities":{"Q493122":{"pageid":494889,"ns":120,"title":"Item:Q493122","lastrevid":62295780,"modified":"2026-04-11T05:07:13Z","type":"item","id":"Q493122","labels":{"en":{"language":"en","value":"Parametrized invariance for infinite state processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6480980"}},"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":"Q493122$84736CE8-23B6-460C-AD80-F33C9ECB3920","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30d08492fb83215d8cae9a73884c14809abbcf52","datavalue":{"value":{"text":"Parametrized invariance for infinite state processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q493122$365D4A39-A413-41B8-8D14-C2C818834B49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a6d902d357d5f2855cdd75c1703e0988c41c52b","datavalue":{"value":"1329.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493122$C296E99B-4742-4488-9203-2D2818E92B44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$386AA27C-DE43-4FC6-B9AC-12384455B48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e496c44b5055bef4634247acf22a71a3f156698","datavalue":{"value":{"entity-type":"item","numeric-id":994601,"id":"Q994601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$2B53978A-69A8-4F6E-A5CE-BC4DF9BE4B1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$72C17331-ED92-4811-8878-7F25479BE8AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q493122$D0B9243F-0022-4902-8D70-D3DC44B438A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af8e479cf67b8c1af7d7e814cfc72ded6649b032","datavalue":{"value":"https://arxiv.org/abs/1312.4043","type":"string"},"datatype":"url"},"type":"statement","id":"Q493122$8F775263-0437-41CE-A911-9D071C428FB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493122$D43C6508-4B57-4027-9F55-8574F78B6FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493122$3BA11166-52C2-4008-9723-E0DC0146F08F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc3c44e361ac83245cb1f321aac1970ff9bb901d","datavalue":{"value":"6480980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493122$020295C1-A0D8-4AD0-B7D8-F7534352B703","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"00823d4b535dd755fc9f8b52f7bd368e7eeefe9d","datavalue":{"value":{"entity-type":"item","numeric-id":18503,"id":"Q18503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$E0A71185-C200-4D4B-BAA0-49F470F4A0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$A81DA607-3812-4D94-811C-92BC5B20EA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$75CB2082-8AA6-40D2-A8C3-23538C916643","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":"Q493122$1A3F373C-23AC-40F7-B8C1-5ECD15522117","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e29b07fa8eee254e05af418f723acb1e44cd10f0","datavalue":{"value":"W2063286137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493122$F2643BD4-7A2C-4E2F-BD43-01C53FCB6783","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543b6ab16d24051c1f38949623316c0a3308454","datavalue":{"value":{"entity-type":"item","numeric-id":4817539,"id":"Q4817539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$CF22447A-1D7E-4C0A-8A2D-64F8FB82D073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a29645c51bc53603d109a499f6b00505337ab72","datavalue":{"value":{"entity-type":"item","numeric-id":1039841,"id":"Q1039841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$1D8CFE34-0A62-4FA9-BE7E-7C26DBC329A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a767fc3751275d35659fd98f7c386957eee0922","datavalue":{"value":{"entity-type":"item","numeric-id":5429339,"id":"Q5429339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$5B501B29-DD9E-450B-A106-EDBB9A80D1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e66169d13b5dd46ddd7a696b7a8a0e7742685","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$6E562CE7-2A6A-4010-8A31-4E5AAF49CF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6523ef816a30cfe59e18dfe51bd083fb459630fc","datavalue":{"value":{"entity-type":"item","numeric-id":3512507,"id":"Q3512507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$B8FB89E2-4578-41D9-B61D-4089572385C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$C00FDE86-4E08-4B96-BDA6-0D11985A127B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$BE7B14EA-5C80-40BD-AB14-5ED440E187E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920bd38ae983c9a591340c94de88486c7c8a9db3","datavalue":{"value":{"entity-type":"item","numeric-id":2956705,"id":"Q2956705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$9252F341-9B82-4420-8A46-633EEAF57852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$79E4EFE8-55ED-41E6-B8E9-59DA4D6419ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$27AE1C5E-E7DD-4E40-9B75-AD4013CDB1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a22f3ef20f11108b2416e81f5c1a0ef4c09783","datavalue":{"value":{"entity-type":"item","numeric-id":5458319,"id":"Q5458319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$60736086-727C-4C00-83DC-AEA849BA1231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$6EDE9C78-D490-4CF8-A916-DAC7AEC09813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$6497C6A2-F8AE-4187-8402-734CA02D7EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567fcd1c261f6a4df3dd5aad2c8976d4ea228e34","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$1CEA340E-2F1C-4516-8B06-C7673446F0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d1596174cba13237e643be08f3093aab774dc4","datavalue":{"value":{"entity-type":"item","numeric-id":5705949,"id":"Q5705949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$537A1FB3-4482-4CA0-A7BD-4315427ED2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$B9C403B0-40F0-4F3A-977D-ECFC1F98A1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$2DA83657-1A09-44BE-AED8-D6CF4850D7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9846a136de6407a3b8e1fec51a7185c1349644cc","datavalue":{"value":{"entity-type":"item","numeric-id":3189836,"id":"Q3189836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$592473CF-7E58-48AC-83FE-8D00002F99B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8de3639b16c92e9ce55a3dba9a1550e636a752","datavalue":{"value":{"entity-type":"item","numeric-id":5941103,"id":"Q5941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$5A2BBA73-BB8F-4392-94C8-BCC2033486D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe3e421d6e27edd88e225f74f1b132c62664aca","datavalue":{"value":{"entity-type":"item","numeric-id":5408581,"id":"Q5408581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$23A9BA16-5DAF-41B6-B39A-1F57CD11AF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$6BEF2E19-10E8-4C17-8F38-46A27121144F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9013fd85e0d4b6390e5212c6bcb3cca1b9d0a63f","datavalue":{"value":{"entity-type":"item","numeric-id":4472240,"id":"Q4472240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$9E0BB070-6039-4279-891A-723A8E90B016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$A42317D0-703D-45BB-AFCC-83196CA066B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$6E1E39B9-46B7-4655-8CE1-935FBB0090FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327cd46bf4b48e147be3bff1c9fea6e5ba45f94e","datavalue":{"value":{"entity-type":"item","numeric-id":1115609,"id":"Q1115609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$E5B99B96-E672-4341-B832-0EDF12572E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28039a446a03faca9d112ce464bbb91b9adbe1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5394160,"id":"Q5394160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$ED6F14A6-E634-4C5A-BB55-DF973BB001C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db437328f2b7da411f41250c356bdb6824c15cf","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$CEF7E592-AC82-4DFA-93AA-8CCC9D3D9FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8dfd9651ab5a9bb850689db6ed8d071ae411ff","datavalue":{"value":{"entity-type":"item","numeric-id":5891935,"id":"Q5891935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$62C8FB36-68CE-49BD-B03E-DA277AB6DA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde518f36cd1a2d96b392e6bea5c17fc82bad026","datavalue":{"value":{"entity-type":"item","numeric-id":3600484,"id":"Q3600484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493122$A6903F09-8367-4E5A-B6A7-1D0E92ED42F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6c817d06c724e2d281d424cb9642931d0dd7a35","datavalue":{"value":"10.1007/S00236-015-0222-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493122$1ED8CC23-28AD-4FA9-9C23-5604320D56FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91fa8a0c4336e646769ad9d9c388805218b1918e","datavalue":{"value":{"entity-type":"item","numeric-id":4472240,"id":"Q4472240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce190e0601abe29a46557869ea134477e1613e0","datavalue":{"value":{"amount":"+0.8078193664550781","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":"Q493122$BC334912-6C6D-430F-9CBE-8DBBCD52B69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a5f40d8d1b0cbde67fb514d0002484b78c8336","datavalue":{"value":{"entity-type":"item","numeric-id":2942881,"id":"Q2942881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c664d8551ee0bcc9ea0a8a61a782a9197cd67a","datavalue":{"value":{"amount":"+0.8056860566139221","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":"Q493122$84BAE657-22AF-4FB5-A0E1-6F177523FECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e297a7817f14283d1e5ab664e2a75936934f061","datavalue":{"value":{"entity-type":"item","numeric-id":2408742,"id":"Q2408742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ee98629fa5ead16c28a3f742b5e904538b24b2","datavalue":{"value":{"amount":"+0.8031034469604492","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":"Q493122$0E83C81C-59CF-4860-9D7F-BF9D0AFF49AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f284b16a2afee30940b5ef7c2361f8cb8e04521","datavalue":{"value":{"entity-type":"item","numeric-id":4551131,"id":"Q4551131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375c9613e623241cf65ccb1869d8046988902a09","datavalue":{"value":{"amount":"+0.7751864194869995","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":"Q493122$B58CEF39-71E6-4D11-A91B-1A9D05A2FB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123e937c53af54b9fceb23f35b3fc65fe9959e73","datavalue":{"value":{"entity-type":"item","numeric-id":5897956,"id":"Q5897956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196f8e07f65266f8607bfc89777474d5cddb74ec","datavalue":{"value":{"amount":"+0.7726399898529053","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":"Q493122$1BEBAC79-64A1-43B0-B6A5-EB3A8762EDC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametrized invariance for infinite state processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parametrized_invariance_for_infinite_state_processes"}}}}}