{"entities":{"Q3543304":{"pageid":5573208,"ns":120,"title":"Item:Q3543304","lastrevid":80855375,"modified":"2026-05-06T17:09:16Z","type":"item","id":"Q3543304","labels":{"en":{"language":"en","value":"Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5376783"}},"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":"Q3543304$FFDB0743-180A-4457-8ACA-04807BD556B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47a1c5c6bcfb119770ec4565838bdc4cab99dd2e","datavalue":{"value":{"text":"Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543304$17FD075F-BA6C-4195-A2A8-993ED12906EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c77f26c9af2e800fc836f30acbeae25eb1adde0","datavalue":{"value":"1171.68580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543304$0FEF4B7D-D5FE-4FF0-A8C4-821615966187","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cb9380f1f12bc5e5fac86a5dc57f7971c76b202","datavalue":{"value":"10.1007/978-3-540-85778-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543304$1B21D6DE-99F1-4E98-8345-0437AF03045C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcd4b26fd536e6aa8f09ce8ab65a6210fabcecfe","datavalue":{"value":{"entity-type":"item","numeric-id":386616,"id":"Q386616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$60BE2996-3D16-4701-ACF2-1D3F186F61BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$BC4BCDDF-DDA4-46BF-BD81-1F62E084A326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$E8FD894B-6A6B-4FC5-AD25-2CA5E8AFB702","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":"Q3543304$7315C5E3-C599-4BD5-9428-BD880EB5E556","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e93f8d3c28f11b076aa7adf47edebc135f21d9","datavalue":{"value":{"time":"+2008-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543304$2DD4D52B-D63E-40D0-AFD7-37158F3F6353","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543304$723B9241-85CF-4317-9E52-9C993291A5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543304$1FD93EDC-074B-45DE-A14C-DDC0A0839882","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fd169e8149da960cc60262bacf4fb44bec6b73c","datavalue":{"value":"5376783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543304$DBB6FEA2-B804-4F0E-B685-3F886F5286CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3543304$94026988-606A-40F7-9E0E-E3CFF4739360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895286b88f96c8b55992cd83244eb8ac6aff1acb","datavalue":{"value":"stopwatches","type":"string"},"datatype":"string"},"type":"statement","id":"Q3543304$8D4784CB-E715-465A-AF3F-BC03880485F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3543304$EBE040BB-EC98-464E-8B5F-59735CFAFB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3543304$6C3B17E8-E0FE-4681-988D-D7471426CEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b78f8277a3b43226e6a09e265d082ab9c8513","datavalue":{"value":"state-class graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3543304$06E7EDB0-9003-424F-AD29-25CB3800E460","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$2876A16B-C4FA-48FF-86C2-5847AD8C5ED8","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":"Q3543304$CCA67207-1E0E-4E82-BE05-36F22C457F3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac69fc5a29f2fc0874dfc4aa89359eb46daa4569","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85778-5_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543304$FB36BBB1-545E-4AF6-B2B6-A1EB6B828086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d71e7781de29132b552c38b03e9488ad03c731b","datavalue":{"value":"W2148410410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543304$B89614D5-FE67-4B49-BB88-0836E7FB10EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df63538162f9e159411979e014352538c7c4d499","datavalue":{"value":{"entity-type":"item","numeric-id":5712345,"id":"Q5712345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$1681B887-2DC3-435F-BCEF-BB5CF6A4F195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"988d71a736f33be45785804e9658af2a1866bb2d","datavalue":{"value":{"entity-type":"item","numeric-id":884758,"id":"Q884758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$707CF266-5B09-440E-8BC7-6DE98DCD1916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$C54D936F-D711-4FC0-8045-3D654156FEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d1d8ee2c5a20f4bbb771b0d86edcaf1d78bae7","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$89AA27F7-7752-4473-A36C-B86AA92F7023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5faab6947a1daf8170d12a06c66c2afffdec907","datavalue":{"value":{"entity-type":"item","numeric-id":5310683,"id":"Q5310683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$D7C8A62E-B9F1-46FA-B074-59DFDCFD538D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$469E3E49-BA6D-4CC3-89B3-7269FE931679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eb33fcfa4dcf8f3cb224015a88a380e338a35f","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$41F83E86-778E-4378-8B47-4F05FAD2DF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195b0f26590ad46b4367d7e26d3d51a4e8e7970a","datavalue":{"value":{"entity-type":"item","numeric-id":3543304,"id":"Q3543304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$F2D935C9-31ED-4159-B969-ABC12C28898D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490269d9394e69cd0d2b1307d19f5fb57560b3ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543304$A745D7B7-F9F5-4E5A-BB39-EBE82766D3F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989dacadda237f9c21f4d4d53cbc3c7abb889b29","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ac941e1f85e669d90c9e536ed7d101b85aa169","datavalue":{"value":{"amount":"+0.9345736503601074","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":"Q3543304$A2E0FC52-03AD-4967-916B-143C26D4C50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eac6d07045d28cfaffbdd1a9dae2c1af7b975963","datavalue":{"value":{"entity-type":"item","numeric-id":5712345,"id":"Q5712345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fc6b60a7f26983e4c74de1f46520b8673b2ee5","datavalue":{"value":{"amount":"+0.8238166570663452","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":"Q3543304$D76D6E80-D888-4784-ADB8-5ABE5E0EB4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba2ce00b61133a98101ca20a5fea46f0639eced","datavalue":{"value":{"entity-type":"item","numeric-id":2248088,"id":"Q2248088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8148d98ea306e8f52206eb7d172ed6904443a5fb","datavalue":{"value":{"amount":"+0.804779589176178","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":"Q3543304$D49316C0-0BE2-4CC9-8988-A542983697B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d8d67b1ae796dcf7e8499014df0471921d512a","datavalue":{"value":{"entity-type":"item","numeric-id":4931299,"id":"Q4931299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a74aa636559136c8a8d3de14546e950fa9712a5","datavalue":{"value":{"amount":"+0.8017218112945557","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":"Q3543304$336829D6-69E7-4D7C-B2F5-26D3C3267A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d215e05141f65c50140ee10799f589d23122b5a2","datavalue":{"value":{"entity-type":"item","numeric-id":884758,"id":"Q884758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac58a9b948278db2fa7b36dbb1c6702ed00a64d","datavalue":{"value":{"amount":"+0.8016266822814941","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":"Q3543304$A4B62857-EB5E-4154-A96B-24B0DAD69701","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parametric_Model-Checking_of_Time_Petri_Nets_with_Stopwatches_Using_the_State-Class_Graph"}}}}}