{"entities":{"Q2912688":{"pageid":2923413,"ns":120,"title":"Item:Q2912688","lastrevid":58056243,"modified":"2026-04-03T15:24:33Z","type":"item","id":"Q2912688","labels":{"en":{"language":"en","value":"Fluid model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086187"}},"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":"Q2912688$17673686-E87D-4A64-AF43-C7F55F5344D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0248ea3385e62dfef337d93f2ed02bce48db83fb","datavalue":{"value":{"text":"Fluid Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2912688$6B13D638-6084-41AE-9005-707517B26CCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b2fbad409405445db7760fce03105269f6f8d23","datavalue":{"value":"1364.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912688$FA488A02-8AA9-4FFC-9812-E172C0F8A39A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e6c7c08715d01f029a8ecf8b3251c09de60d7aa","datavalue":{"value":"10.1007/978-3-642-32940-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912688$A6780A0A-DA92-4A15-B71E-9B3359D62059","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c08f373ed6dd47de29844f015be15a75e84a8bb7","datavalue":{"value":{"entity-type":"item","numeric-id":259040,"id":"Q259040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912688$911FE989-6B4B-45EE-A77F-D609F73C1843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89ad271a572aa42ab46d561d11e2cdae61630d8c","datavalue":{"value":{"entity-type":"item","numeric-id":470010,"id":"Q470010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912688$29FAC42D-29C6-489E-AF06-24FA6BF9A317","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912688$79121382-ED7C-49C4-BE08-8F1B1B55EE03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-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":"Q2912688$AC8816CC-8522-4EB1-8CBF-67400D1AD70E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcf6244dd09b6356739238930fcd2176419e8c99","datavalue":{"value":"https://arxiv.org/abs/1203.0920","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912688$3C842CFF-07C2-4F74-9564-C3E2F7FD9521","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912688$B884DD5D-7F17-43C3-8783-FCC735B042C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912688$8AA5ED4E-637D-497C-BC79-C4DCB74B8697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912688$9999979C-7DCA-40B9-9D2A-7582BF6110F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f794d2711504e221406975452addbaf9681477e0","datavalue":{"value":"6086187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912688$ACA44C99-0016-4A6C-95CD-FFDBDD11FA0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f7dccde269b602b64e741437acd3eda39f6c12","datavalue":{"value":"stochastic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912688$0A098DFB-C187-402E-B841-24FBF22BE8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d9337e07a9e5095264897def2e75ccbce32e14","datavalue":{"value":"fluid approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912688$71C6F34A-4CE1-40A8-9446-059F2AB63A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb78f568a04981f55f3a039b9ccbdec552133b45","datavalue":{"value":"mean field approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912688$4E331EB8-A579-40F6-ADEB-E38A1BA30CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"569b9079239453ade8e770b9bcd901a76e3adf21","datavalue":{"value":"reachability probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912688$8178D9DF-6C79-45CB-97CD-7B1566A25D40","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":"Q2912688$6585AA20-7430-4AF9-A1CB-CFF08FCCC706","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"234e6b8469374ed9b78c2bd25d76f8067f09c317","datavalue":{"value":"W1604167937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912688$D77FD511-28DF-4CE0-8161-1BB69B03FCF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd7bcf4160e4874a87eefd8c489da494216f6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2346412,"id":"Q2346412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c30b40ebce00c4284bd0c294b5d92836e2ef34","datavalue":{"value":{"amount":"+0.9711627960205078","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":"Q2912688$7441D73C-87DB-4E64-B55D-D2C88C584CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5dd5f54675e8a1ae8f183feeea9baaf49f2c37","datavalue":{"value":{"entity-type":"item","numeric-id":5300886,"id":"Q5300886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1849053a16506b9c082af59a4e7a49e9b2b73d","datavalue":{"value":{"amount":"+0.8956591486930847","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":"Q2912688$4F21D3FA-4C3E-4B42-BBBF-6B0AFCDFEDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ef32448032ddb59fd47e1f36bead897ce34dbe","datavalue":{"value":{"entity-type":"item","numeric-id":2945594,"id":"Q2945594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f40be4fd722f5514e553b41a3a4cb4abb97eb1","datavalue":{"value":{"amount":"+0.844173014163971","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":"Q2912688$E1FA2A31-98FA-4651-883A-EF231F4AEF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8edf76aa66c9881080bd4f027fadc721cba918","datavalue":{"value":{"entity-type":"item","numeric-id":3613671,"id":"Q3613671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf15a25e5c3bfb0d206a9ac6696ed3cc71f5b7a","datavalue":{"value":{"amount":"+0.8202217817306519","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":"Q2912688$E35D7DC0-7096-4AA9-AFAC-A0CF548E911D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccdea1419eefd66c370ca242f3417911eb59625e","datavalue":{"value":{"entity-type":"item","numeric-id":1784959,"id":"Q1784959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfd182008453b60fda58244b252f0b58b07a272","datavalue":{"value":{"amount":"+0.8046368360519409","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":"Q2912688$BD197261-4829-4C7F-BB71-63C1BBF1B35F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2912688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2912688"}}}}}