{"entities":{"Q2929958":{"pageid":2940678,"ns":120,"title":"Item:Q2929958","lastrevid":44735127,"modified":"2025-11-25T15:10:34Z","type":"item","id":"Q2929958","labels":{"en":{"language":"en","value":"Probabilistic verification of a biodiesel production system using statistical model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6370104"}},"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":"Q2929958$5A9713B5-DCA2-4B58-94DD-807942DEAE07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82aecf050e0ad9fafe6891888b3e87cf9b94d16c","datavalue":{"value":{"text":"Probabilistic verification of a biodiesel production system using statistical model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2929958$1DC7A5D5-0DAC-49A4-9D96-F4F033A3669C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6faebb0f335a3f49c0e9c4115413c2d3136b7966","datavalue":{"value":"1299.90129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929958$CFE385CA-E2C8-4505-ABCE-A0960CB0ACB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2e6eefea80492a2d9f8a73c9c7f427ca8802f8e","datavalue":{"value":"10.1080/13873954.2013.832333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929958$B0CC5C40-FFD4-48D6-8AD4-B5B8E85DD40F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a9e5eaa83e08afdeb1839a4df7c72b9ecd930c","datavalue":{"value":{"entity-type":"item","numeric-id":2929957,"id":"Q2929957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929958$E1A562D7-26C2-4DA3-B326-4F5EE98463EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf2194174c0ea6965c53f8c46a08fc404004f950","datavalue":{"value":{"entity-type":"item","numeric-id":483960,"id":"Q483960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929958$435A0BBB-1873-4E40-8EF9-935A1E5BC0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e93dbbeec2aee8dc057ee91511ffbb7d931fbdc1","datavalue":{"value":{"entity-type":"item","numeric-id":6486712,"id":"Q6486712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929958$6CB26B21-2780-46D4-A6AD-BD9D5FF5403A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1770c404e308b19f58d0b9f79c4c4f522edf44ce","datavalue":{"value":{"entity-type":"item","numeric-id":2709983,"id":"Q2709983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929958$EA5CA5E5-BAA2-4A82-BC75-EA4C0DBB156F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50bcea4fbb2959830e00775b174a15b6923af8b","datavalue":{"value":{"time":"+2014-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2929958$73303D80-F97C-4813-A144-DEAE207F6A2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929958$5688DC78-9A8D-4B4F-A5CF-F2A1431E6BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929958$6C107C71-160B-484B-A4C4-00D18C52A31F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6751274070721fbb0a488fbb9efe1cba6824f5dd","datavalue":{"value":"6370104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929958$D0EC6525-6A57-4052-B79F-DF41B1CC85A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c048bfda677a91ffb7ceddfbad9d8d20d3e2fe73","datavalue":{"value":"biochemical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929958$10453C0D-0786-4B26-9E07-63A037EB153D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"799b667b19df8710aeaa0c68696a33807a98ba0e","datavalue":{"value":"stochastic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929958$41494646-7093-4F7D-AB9C-568EC07C9A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adff26d8d37172fe7da1c7350a1cbd5cad4a8936","datavalue":{"value":"biofuels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929958$68521041-B64D-433C-9993-69E8B61134B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3636eded13b3c223602c3797f474ba1d6c903bfd","datavalue":{"value":"stochastic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929958$4272A035-73D9-463D-B651-24CF37EC04BB","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":"Q2929958$106F3174-92AF-4898-8684-CE0B48CEF669","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efe74aab629dee4e25a0a4f52748477b602f7a71","datavalue":{"value":"https://doi.org/10.1080/13873954.2013.832333","type":"string"},"datatype":"url"},"type":"statement","id":"Q2929958$8BD56314-C731-4288-AAD0-95FBA9ECC391","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b42f4ed26096577c33fcbc964d49e1bc9d711836","datavalue":{"value":"W1985893227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929958$6E2FD876-4D43-477C-8591-D037EE980F6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"962bfa0bab3752dc74158634ede02c266a4dad88","datavalue":{"value":{"entity-type":"item","numeric-id":629649,"id":"Q629649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929958$2D41ECAF-591E-4C9F-9A9E-B29FF00BF7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf939fec8171be762b21114d1707c5277336411d","datavalue":{"value":{"entity-type":"item","numeric-id":2770125,"id":"Q2770125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929958$37BEDDF1-4AD4-47A5-AFB2-8ABC06EB3740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5169efe6d5ea2f6bc8226e282d4bec05036aeee","datavalue":{"value":{"entity-type":"item","numeric-id":969178,"id":"Q969178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929958$A17DCEEF-0419-41BC-9535-0F0AF9AFCEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8a7d69d1fddee9c9a2d74466b5eb6eab42ed50","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929958$BCFDC89E-A608-445D-91D0-56F472A1A025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770933e780e82311c3b7f188673515cd8fbf450d","datavalue":{"value":{"entity-type":"item","numeric-id":3612955,"id":"Q3612955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929958$2C7D4682-7721-497A-A7E2-34C52F3E79B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdcbdffb80e8f007f685e46c8017e1fe3c999c70","datavalue":{"value":{"entity-type":"item","numeric-id":4534853,"id":"Q4534853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929958$EF0CB9C0-8ABF-4C24-ACF8-A5BCDAF0D36C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5969e973fbf42455a2cff7cc7075b18cab7292","datavalue":{"value":{"entity-type":"item","numeric-id":629649,"id":"Q629649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8cdf674a8903c853dc68fea7b9cc5688742c75d","datavalue":{"value":{"amount":"+0.8731884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2929958$9B12ECC1-F6D3-496C-9389-A0C50CA179CB","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":"63bdaecd7641a8707c9350b2599c784d21b97588","datavalue":{"value":{"amount":"+0.8393675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2929958$56E68A23-2C8E-49DD-938C-BCEA418F4EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e58875a483aaa71071f6f1e788144f536bf3dba","datavalue":{"value":{"entity-type":"item","numeric-id":533361,"id":"Q533361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aebb333dfc5989037b81a75a94b7e4e0d5bf68e9","datavalue":{"value":{"amount":"+0.8358691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2929958$07E49A2E-62AB-4400-A83B-C78E3C9F6FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3d0f02318d4df7c58c40c9e8b8163a6b2fec2d","datavalue":{"value":{"entity-type":"item","numeric-id":4649391,"id":"Q4649391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a05a3f656032b6e7122445b4161a8f61e7a8ea9","datavalue":{"value":{"amount":"+0.83457154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2929958$8C3A46BE-381F-4410-A170-3EE0F0198003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"183ed06645ea4dd08b6d93b4fab30259550c3182","datavalue":{"value":{"entity-type":"item","numeric-id":5106945,"id":"Q5106945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b561a703e694d10c903d188054d5b24780f96cba","datavalue":{"value":{"amount":"+0.83419573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2929958$B25C89E7-F695-4631-8CC9-A2D1497C5353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce88db62d37f8ea54268ab83b29e8cd80fe36b6a","datavalue":{"value":{"entity-type":"item","numeric-id":764350,"id":"Q764350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a89aa7f85b63e1f6b11a5e261b966dba959cd9a","datavalue":{"value":{"amount":"+0.83406997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2929958$D7493D7C-C1FD-4E2C-82F7-CA728195A734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dfa52fcd9b00bb6a8576e44ddc7c2f738a2e22","datavalue":{"value":{"entity-type":"item","numeric-id":3646252,"id":"Q3646252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0753794bd22435a0fc57ac90941034acb9b605f","datavalue":{"value":{"amount":"+0.8340698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2929958$31ED07ED-0833-41CC-8736-39C05F0D0F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba384fd3f96e06c9824e71a026517f4640b2454","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb06bde86e01392a45650c362d54b639bda9632","datavalue":{"value":{"amount":"+0.82897913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2929958$3FD32817-21A8-4219-84BE-6EC4485CC2E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2929958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2929958"}}}}}