{"entities":{"Q5146372":{"pageid":7175943,"ns":120,"title":"Item:Q5146372","lastrevid":31904398,"modified":"2024-03-19T20:08:29Z","type":"item","id":"Q5146372","labels":{"en":{"language":"en","value":"Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300851"}},"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":"Q5146372$2F1735D8-FE8A-49CC-AFF0-26CA0F735866","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1d79527060465d3d53cc35bac31c5fa7afccad4","datavalue":{"value":{"text":"Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5146372$72687C15-5541-4F3B-B018-C313F557D160","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4a519c9e4bbf3c5a978eed33fb1c1d34b5f3f2f","datavalue":{"value":"10.1145/3365365.3382198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146372$57C7EAC9-951C-44DB-BDEE-A1AE0CDDD300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0312da408ec4eb5f0cdcdf4660e8cdf6ae8638d","datavalue":{"value":{"entity-type":"item","numeric-id":832094,"id":"Q832094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146372$0CDA5EE3-8196-4E68-8267-9BA8EE0E8B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7587b268e1527b1fafbccca805f2d5bdc79d38c","datavalue":{"value":{"entity-type":"item","numeric-id":832047,"id":"Q832047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146372$7326671A-29DB-4F22-AB97-AA9AD3BA553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab59c40aa3f1553c66a6eb09646ad8f5d7173be","datavalue":{"value":{"entity-type":"item","numeric-id":832096,"id":"Q832096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146372$BA202E0B-8D12-4176-9CFE-39E90B5020BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00d79ec26a05c4c4c6269c083164f9555ddd9a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5146359,"id":"Q5146359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146372$364ABEEE-1D78-4ACC-B101-173EBCE38909","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-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":"Q5146372$FA6F5BF9-7C31-486D-9726-A1A9F231164E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146372$ECCDA0DD-3B8A-426E-9520-18997628AC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146372$882ABCA9-0315-4A5D-AD23-A669B08843E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146372$DAED4B60-A349-4176-9BE3-76FE6ECE249D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7de76422e5b35f3ba919a0ab1b11f22643d5e3e7","datavalue":{"value":"7300851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146372$36EF32DE-35BF-4A78-AF21-4CE9CB0B56E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d88d5326285d23df40e562103f192b4422b3ccd4","datavalue":{"value":"hybrid Petri nets with general transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146372$10CAEA47-7E63-44B4-A4C2-BCD662FC1AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146372$C98EC8F9-1617-4737-9EE4-666D829E3838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879c46e3503897f2eb6704ea7f866d4952b4a05a","datavalue":{"value":"prophetic schedulers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146372$6A9CE82A-BA85-4BA2-B867-22AB797C0C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146372$35DD829A-39C0-4BFD-BFA7-BCE6121080E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255abf574cd911ce0441a5a04032698806b52fe","datavalue":{"value":"stochastic hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146372$DA26CD62-4D8B-43DC-A803-BFD6EDBE898F","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":"Q5146372$DB2554FB-7A21-4B05-A75C-AEC668B825F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dc54441749d23facde6c3c1a69a6f9247ccb77c","datavalue":{"value":"https://doi.org/10.1145/3365365.3382198","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146372$6C3B5747-88E6-4F0E-9C3A-1EDDE2282D37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d7e46f540e5b9484371c8aea2c437b79ae4f420","datavalue":{"value":"W3021133488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146372$0DDC17F7-EE52-4B9C-AB78-1B85420AB0A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5146372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5146372"}}}}}