{"entities":{"Q5179424":{"pageid":7208996,"ns":120,"title":"Item:Q5179424","lastrevid":52229267,"modified":"2026-01-21T05:11:17Z","type":"item","id":"Q5179424","labels":{"en":{"language":"en","value":"Translating stochastic CLS into Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6417437"}},"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":"Q5179424$95B3A552-1237-4143-B10F-B42551FA4F28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"675c3b9b050f8d6a7adceeb15ba4eb9e2878fce5","datavalue":{"value":{"text":"Translating Stochastic CLS into Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179424$DD1687C8-5566-4CD8-B706-FBA051DDE85B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c947994bfe4828fdcec7d4dca10964ba39b71d6","datavalue":{"value":"1347.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179424$C7911D71-309C-4A86-B558-575BE0EF9276","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f7d68a03af5575792ba35c752e03e344f53293","datavalue":{"value":{"entity-type":"item","numeric-id":1047207,"id":"Q1047207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$B31F4D7B-2AD2-4B88-B69A-8F13E3ED1978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03333001e6474c6d2dc6a6884536b068b6fb330d","datavalue":{"value":{"entity-type":"item","numeric-id":276004,"id":"Q276004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$9C61D68E-7711-49A1-BAA5-50108BD7866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479d1038b6b48ff3b38084f7171d92adb9c96ad","datavalue":{"value":{"entity-type":"item","numeric-id":256971,"id":"Q256971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$577A63C6-7509-4EE8-BD79-6E7F2F1495FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$11A3BD4E-14F4-4734-924F-0232AAB6A474","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179424$046F671A-E9A8-467F-98E9-78DC1098F777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179424$554ECEB1-F1E6-4E13-876A-F39DB99C7C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179424$C705F3EC-A9FD-456F-9AC7-C662439D72D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179424$F4F3F59E-91EA-4ED5-9D46-0D45699F5D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179424$736F1928-BF96-47F4-B5B1-7D28993E7B67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be65814954f0897cd8ab1ec7562bc06fe9f78f8a","datavalue":{"value":"6417437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179424$EA6726F4-12EC-45FE-803F-8F4EA055F9EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867d2c215b3f608301ee1918404f25133282364b","datavalue":{"value":"calculus of looping sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179424$CA0E4AF9-A81D-4709-86BA-11FBBA2C40B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179424$89DB57FC-7651-4849-95CA-ACA4152F12EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179424$1E17C702-E380-4C75-B7EB-786A6702DD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b81c83f6b641242e5df6c46ead1170c0aa9bc4","datavalue":{"value":"biological system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179424$8C1CFFD2-D16C-4D6B-8624-0E6B5C27FE89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8e5d5bcc5e71e7649f82c0434334f298b02dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":22650,"id":"Q22650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$B11EABB4-CAB8-4752-A4EF-5DD4059D9718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$8D561140-0C86-4FAF-B138-CF7B4DF9ACED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$441C3044-E3FB-444C-99E6-E07F07446385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54f0b533582b39d02e94fd769c3e24c352ea1d22","datavalue":{"value":{"entity-type":"item","numeric-id":20431,"id":"Q20431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$2ED8898D-E0F2-4A4D-AA38-A727E7B1E3DD","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":"Q5179424$6D4EA9EC-626F-44CC-A8F4-439021064392","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97d8ea9fe89c845a9d088f088967dd4909fac188","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.103","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179424$9A5FEBDE-1169-4911-9A97-9FF9D26136CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e96c0e94f31ed650ac4a706b13810a153981427","datavalue":{"value":"W2073387715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179424$5A375F08-7086-4C13-B85C-B61261A4834F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"424b1bbfa01b2bdda0d51b5927e4505fba0c5470","datavalue":{"value":{"entity-type":"item","numeric-id":877021,"id":"Q877021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$2E92F333-58C0-427F-9140-E883491ED57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7591254261f078f369d875123fecaa8f87f3bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5190983,"id":"Q5190983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$899C4B99-C186-45C4-94D3-2D4908FF0640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8765f9048ef220d73d2eb5f5b52fc8d67a4f7eaf","datavalue":{"value":{"entity-type":"item","numeric-id":5404072,"id":"Q5404072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$CEB48540-E2B3-4517-9139-14198A9C6447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557c8e6f58a6cf3a18d88c4cab8d603ee71fd1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5712404,"id":"Q5712404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$4056EC0A-A684-428D-9D08-130E51394DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986dff955b3323903dc04ef58ae4ff4b0eadf895","datavalue":{"value":{"entity-type":"item","numeric-id":1884862,"id":"Q1884862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$BDE86696-F57D-4633-B9E8-4B0D23C6008B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49a241346a72d41a7eed6a4ace2f8994bb45cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1884864,"id":"Q1884864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$BC69B236-3022-4557-AE72-74C1EADA7788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e13a0e7c5ee2944580dd300a656a9cfafaf4d5","datavalue":{"value":{"entity-type":"item","numeric-id":2474435,"id":"Q2474435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$3FB9F03B-CDDE-48A6-B805-45A1DB144CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73c4001000eb02721d5ba68097f163c82dcd83f","datavalue":{"value":{"entity-type":"item","numeric-id":4222859,"id":"Q4222859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$F646174F-03B8-48C6-B8C9-9F4890C684DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8914758ac6f2ac25786ddc0b91cc49457a108d49","datavalue":{"value":{"entity-type":"item","numeric-id":1004068,"id":"Q1004068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$7761D22C-86C5-4D34-B287-604C80892546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd40cc28069f9fc8d66273425b98d6eed5dd00c","datavalue":{"value":{"entity-type":"item","numeric-id":5492982,"id":"Q5492982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$9C215071-F0EC-4C59-B8D0-A7186853A639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5274edf95cbfa00f50d26f8311358f99b7856e2","datavalue":{"value":{"entity-type":"item","numeric-id":1607114,"id":"Q1607114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$0DD262C9-6CFA-478A-87BA-E5D5FD1F3A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179424$227FC06B-F0B9-4C6C-9BCD-F60B5FC025B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df75cd3949829791d9d9a51c16277a2cdc2374c9","datavalue":{"value":"10.1016/J.ENTCS.2008.12.103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179424$46C860E2-66BD-4FAE-8FE6-BFF1FFAD650F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8b4d688d829d5f201256be19d59eea70d6ace0","datavalue":{"value":{"entity-type":"item","numeric-id":3005246,"id":"Q3005246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd13f5e53c9a1480870d5a4b80dba36715ebfb12","datavalue":{"value":{"amount":"+0.96635502576828","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":"Q5179424$8A0B0C65-6A8B-429C-B0B1-7172354750F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1935e0ce1871a034508d75765c11687130065210","datavalue":{"value":{"amount":"+0.7440205812454224","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":"Q5179424$BAEFF2D9-EDE9-4C64-AC55-6A2394CFB761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d5d5a1ca8c542a51909d511331119fb09133c3","datavalue":{"value":{"entity-type":"item","numeric-id":5190983,"id":"Q5190983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fd566667146d3b3eb41c965da6db69b44d0c09","datavalue":{"value":{"amount":"+0.7273280024528503","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":"Q5179424$9087746B-C0DF-4FDC-85F1-3C6C862B88FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8889b1b785c60ced58ff7a3139d99cbb5d9078c4","datavalue":{"value":{"entity-type":"item","numeric-id":2271445,"id":"Q2271445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc83140cd6d82cacf29bc93ee40580ff898e1237","datavalue":{"value":{"amount":"+0.7213512659072876","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":"Q5179424$A3D06C9E-8DA7-4494-8F27-44A15242946C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3842af06f5596bbd6da4207773eaa820d634d7f5","datavalue":{"value":{"entity-type":"item","numeric-id":5262542,"id":"Q5262542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32ed249d175f0c424771b78e6dc79a6103511d1","datavalue":{"value":{"amount":"+0.7194070816040039","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":"Q5179424$B73CDBE6-580F-4EC6-BE42-7A546726E2F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179424"}}}}}