{"entities":{"Q6534368":{"pageid":14145511,"ns":120,"title":"Item:Q6534368","lastrevid":95481239,"modified":"2026-06-05T09:07:33Z","type":"item","id":"Q6534368","labels":{"en":{"language":"en","value":"Romeo: a parametric model-checker for Petri nets with stopwatches"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535621"}},"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":"Q6534368$9E033718-B898-4FD4-9280-3F5F82EF1823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d57a73f2fe855a3213c54ac6fb05acf6f7faefc","datavalue":{"value":{"text":"Romeo: a parametric model-checker for Petri nets with stopwatches","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6534368$C12A7CDE-6B6C-408C-8EEC-DF6A1F0E893D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"751c0d1c7af46ef8887c07e14b4d0772bb6c7e9e","datavalue":{"value":"1542.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6534368$C81E0DD7-CC6A-4823-B41D-DDA7D5247014","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6669b1b670c81f4f5658d6991880a6b07216dea8","datavalue":{"value":"10.1007/978-3-642-00768-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6534368$E87D0B62-68D9-4F52-9CC0-AFC4A37A2968","rank":"normal"}],"P16":[{"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":"Q6534368$36480B5F-7AA3-41D8-82A6-7CCEE7F3B0A4","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":"Q6534368$B73BB99F-6F08-4E48-8715-1FF37A67C05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a35121ba4dbad677e7caba547927d9db477e820c","datavalue":{"value":{"entity-type":"item","numeric-id":1683437,"id":"Q1683437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6534368$A54A400D-7EDF-4655-9F6C-5E20C4B0DA31","rank":"normal"},{"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":"Q6534368$EF28781A-CACC-464C-9D50-29B1AFFEE39F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6534368$467F8E82-344B-4798-ACB4-45D0DA955F1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6534368$44D91804-A066-4A97-9F39-EFE9475BE44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6534368$077AC5CC-B7CB-4776-B5C2-1331E9541C0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d74cf82ec718565f236a34446fa273665f13ce57","datavalue":{"value":"5535621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6534368$3CAE71F7-ADCF-4EB4-9189-CC9759AD6E75","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":"Q6534368$3096291A-78D2-4A2D-B15A-FC10578CAADA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Romeo: a parametric model-checker for Petri nets with stopwatches","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Romeo:_a_parametric_model-checker_for_Petri_nets_with_stopwatches"}}}}}