{"entities":{"Q7032032":{"pageid":21695079,"ns":120,"title":"Item:Q7032032","lastrevid":77528513,"modified":"2026-05-04T19:18:47Z","type":"item","id":"Q7032032","labels":{"en":{"language":"en","value":"Model checking CSL for Markov population models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7980049"}},"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":"Q7032032$AE9C9523-EA98-427E-ADF5-5783B17DC607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0ad065d19d786bf921a8dda14afc9de0cc4efde","datavalue":{"value":{"text":"Model checking CSL for Markov population models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7032032$76298100-3292-4AA6-B0E0-09A4FD785CD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c0470d756d4093378ece66f471bfb4928b4e465","datavalue":{"value":"1560.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032032$21A82F78-42D6-42A8-9614-E0BD828FFE14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16d4cffa663de70132ceaf7816bfe7ec31b7aca4","datavalue":{"value":"10.4204/EPTCS.154.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032032$32A37759-70FC-4D50-A68B-1170612638A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55dd4af5344b39525bba1cd23d721332270a0810","datavalue":{"value":{"entity-type":"item","numeric-id":2248079,"id":"Q2248079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$673AF1B0-79AA-4C3F-951B-0839A9D23E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$0D373C8E-FD0D-4911-BA57-38A6A474A10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$A12FB054-034B-4CAB-B7AC-6057F0CA8161","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4eadad38579231afe6fd5d0ce960f90944b60efd","datavalue":{"value":{"time":"+2025-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7032032$D02AE6DD-7183-4110-AD75-4F6CF7EC9BD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032032$47F31850-3ABF-4D30-965C-C9EADDD2CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032032$6391337E-CB62-4603-86A8-8A4113736668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bfd44d39fc48f1c1778c5522f250d3165ba32e9","datavalue":{"value":"60J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032032$228A6280-3B3B-4736-9C19-128345693A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c061e4e7ae883786725eafc8628fcf7f3e822514","datavalue":{"value":"92-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032032$CF84D7D7-A1BD-4549-9D6C-0FCF564A7FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032032$0AB1FC54-0FA9-43E3-988D-A605547BFBBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"088fc49027ab552a0f76477c0cd6f373f028e07c","datavalue":{"value":"7980049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032032$C56CFB93-573D-4B93-8437-7186AAD1049C","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":"Q7032032$4ABCBF57-9321-44DE-9B81-3779A5CDE94F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51fed4a84c8ab2f423d2d1925cccee77cebf270","datavalue":{"value":{"entity-type":"item","numeric-id":1189368,"id":"Q1189368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$30544D8A-8D30-43E1-BF66-B61700BBE16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$20F93636-EA0C-47E0-A7B9-709DE6014C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e74e6d5e5a6e4638e08a88cfc878dcfa24e0df4","datavalue":{"value":{"entity-type":"item","numeric-id":5404071,"id":"Q5404071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$F22E0491-7CCE-44CA-B5F4-09900A6F7DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86184e7aa9443bb07721ead76c15d7e220259bce","datavalue":{"value":{"entity-type":"item","numeric-id":3765110,"id":"Q3765110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$EABAD897-1BCB-44C0-AB7E-E0666D61B6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb58e40d763a3188979d0aaf24972aa390e8eb38","datavalue":{"value":{"entity-type":"item","numeric-id":4897510,"id":"Q4897510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$57F4645F-E5C1-4BB4-AF4E-44B6020B3EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a709bdf19eccebb792f18f30e1007f76872bfa84","datavalue":{"value":{"entity-type":"item","numeric-id":1103586,"id":"Q1103586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$148BE98A-E690-4481-AA3B-D4B1629FB926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$E4BE860E-7741-4E55-8E10-B752D13AD6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab2e586b2a487f2ea204b5be62a188f3815f972","datavalue":{"value":{"entity-type":"item","numeric-id":3626707,"id":"Q3626707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$EE9817CA-876D-4F51-B551-FEEA76E41702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1ac0ae4289b900de0c905196448cade7fecfda","datavalue":{"value":{"entity-type":"item","numeric-id":3976676,"id":"Q3976676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$B324DF15-CD51-4D18-B8B6-00880D2633E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a4d95101bc18532b07c2a7cf3f3bb0d0cdd943","datavalue":{"value":{"entity-type":"item","numeric-id":1763006,"id":"Q1763006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$BDDBE581-81F0-4719-9C84-7DFC91ED97E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36eb59ab85c1a76aff1ec483ca4af9e7498e7f6","datavalue":{"value":{"entity-type":"item","numeric-id":3400550,"id":"Q3400550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$619E922F-C38C-4B48-9644-4235672A098B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa2383af19b89dceb8df6d73900f6c3fb59318a","datavalue":{"value":{"entity-type":"item","numeric-id":5429326,"id":"Q5429326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$F0C2ED7A-1C4C-40F2-82D5-ACD99A3B72CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2452c3786675187f44f71f985ab4f79659edd3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1006435,"id":"Q1006435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$11B9133C-01EC-4AF9-9E23-15C515E5B8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4e9dc1fde13df4ac768257b0638376a3e939e3","datavalue":{"value":{"entity-type":"item","numeric-id":4306252,"id":"Q4306252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$4C7CC80C-C34B-41CC-8DD8-F44847833306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b692fc87db902681b66787d850661dbeaa885c9","datavalue":{"value":{"entity-type":"item","numeric-id":995462,"id":"Q995462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$96CA0EFC-AF50-4E3C-90FD-043794BF18B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$245D7B0E-3DD8-4FA1-A542-103A3E07553F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa5cf2dfc615f8719a9f9f21a62eb5e8dc39d10","datavalue":{"value":{"entity-type":"item","numeric-id":4096204,"id":"Q4096204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032032$81F1953D-3CDF-467F-B88C-1F0D31F4ECED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking CSL for Markov population models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_CSL_for_Markov_population_models"}}}}}