{"entities":{"Q7411997":{"pageid":32534040,"ns":120,"title":"Item:Q7411997","lastrevid":108206889,"modified":"2026-11-03T16:47:31Z","type":"item","id":"Q7411997","labels":{"en":{"language":"en","value":"Statistical model checking for rule-based models in the Kappa language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8277140"}},"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":"Q7411997$B401C53C-E3F9-4E96-9E6F-E6941AE60CB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36e3f76fd67284145f442b563f1f45a5ac0771f5","datavalue":{"value":{"text":"Statistical model checking for rule-based models in the Kappa language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7411997$BE0790D0-DE8A-40F3-A6CA-799F1223D94F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c39e932ce6b093d952854ca9cd57504c327bebc2","datavalue":{"value":"10.1007/978-3-032-30870-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411997$90209137-7037-44E1-9062-0F0B9C4B3B26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc1c3c64ab6ee3650fbf6e9e536991bc2e6bc583","datavalue":{"value":{"entity-type":"item","numeric-id":6174399,"id":"Q6174399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$C902C363-760E-4E00-85AC-8D42E3D19581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9b295a3f947c72979836e9f0c05122c0fc9610","datavalue":{"value":{"entity-type":"item","numeric-id":418842,"id":"Q418842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$84D08BC8-6214-43EB-B6DE-A57388D2E6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9c30ba4ff9f6a2e85f4173774877e90d990c01b","datavalue":{"value":{"entity-type":"item","numeric-id":404797,"id":"Q404797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$41ABCAB2-72E5-4A40-9DA3-D5EF499412B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c4819533fd95c8a03422c31929e0de57dbe02a8","datavalue":{"value":{"time":"+2027-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7411997$D9E5E04B-86E1-415E-A338-2286F2E718C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411997$794A8251-52AC-4614-AFD5-909C5931FAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"708a6f1a75f978962215fcdf6748c16c77f4fd6e","datavalue":{"value":"62P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411997$2C7588D8-B67A-46A5-B40E-044567B1C567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d1f357130b885564de2a7f813fae2f00846119cd","datavalue":{"value":"92-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411997$85099983-CA0B-4F2D-BA74-E30BEC9D7A0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82950200425629e4bcb09cec8e13c3bc74d26f20","datavalue":{"value":"8277140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411997$DFB36453-AE1D-4ED2-A02C-2F14185DB347","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411997$D5B4DD74-9B8B-4039-9F0A-6ECF16303A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e101f7f59f22564ca505a04735b03a71301737","datavalue":{"value":"stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411997$7348DB77-C100-4EC6-B38D-A66CD31AEA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c94f3a31f2796ba2d1d5fdcf6e92dab57a55456f","datavalue":{"value":"rule-based modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411997$E6B96DF4-902B-4B21-980B-2A2225E8BA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411997$EBC7D8AE-B971-4543-9919-A969E22610DD","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":"Q7411997$105743C4-3B8B-44AE-A325-4B1F70242DA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8af63b51a4c170ec70c4cd6516c4e86f3add2a4","datavalue":{"value":{"entity-type":"item","numeric-id":6091303,"id":"Q6091303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$DDA46FB5-FC55-4833-8B4C-1C607E791676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7fb1f189780b650b6ad43313607c60cf22a3882","datavalue":{"value":{"entity-type":"item","numeric-id":2988640,"id":"Q2988640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$4C89DB9F-51B8-4633-BB13-511ABB9B5CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc179938332216b6df7bd64f0b2984f032a6a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2957506,"id":"Q2957506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$8C8168E1-0D21-4FE0-8519-7A2A5FB17059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc139303843fae864120aefdbb3e5ad3a8220ea0","datavalue":{"value":{"entity-type":"item","numeric-id":418843,"id":"Q418843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$74D03D69-C3C3-4399-ACD3-6B63AFDBDBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dbffb0d479792ade1e5293feba2352cd4097c2","datavalue":{"value":{"entity-type":"item","numeric-id":5270913,"id":"Q5270913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$60AA39DE-8DCC-46B0-8423-E18C82C1FB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f033118339eda38efd497de20f3a3fb866bb2cf","datavalue":{"value":{"entity-type":"item","numeric-id":1796506,"id":"Q1796506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$95AD30EC-8140-461C-9D25-FCCB3230EFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8a57652bfd7cb93856d790d0a32d3d1fcf463d","datavalue":{"value":{"entity-type":"item","numeric-id":6104816,"id":"Q6104816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$496CE7DF-450A-4B64-8115-7F9B753BFACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b389ae1a4f564960821be4da7459b43a4c4b0b8e","datavalue":{"value":{"entity-type":"item","numeric-id":2238202,"id":"Q2238202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411997$34208143-4487-4D04-BC4B-5AFD154ABAD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Statistical model checking for rule-based models in the Kappa language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Statistical_model_checking_for_rule-based_models_in_the_Kappa_language"}}}}}