{"entities":{"Q1603403":{"pageid":1614143,"ns":120,"title":"Item:Q1603403","lastrevid":70954092,"modified":"2026-04-13T18:28:31Z","type":"item","id":"Q1603403","labels":{"en":{"language":"en","value":"Efficient verification of a class of time Petri nets using linear programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767239"}},"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":"Q1603403$84F9BED6-8FD3-47DB-8F62-430836124783","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91a8e6edbcd0c439a01f8f5da8487ef4144395f1","datavalue":{"value":{"text":"Efficient verification of a class of time Petri nets using linear programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603403$C44E091F-7BC9-4760-AC13-4D045757FAFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2de8ee73cb1bfb9a5478ec2d9443ffc65cece47c","datavalue":{"value":"0996.68524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603403$D84307C9-9C7B-46FD-9EA4-0954AEA72FD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a604e3703903ff2f8395b090159a6a85e89a69bd","datavalue":{"value":"10.1016/S0020-0190(00)00156-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603403$C60BDC45-92EC-475D-9B06-CD4B7FC88E62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a98e6614f60f23515bb13872cde66e70c4c6c9d","datavalue":{"value":{"entity-type":"item","numeric-id":182347,"id":"Q182347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603403$D45BB46A-417C-4A2E-8C49-782F4D3B2F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28a0298ca0f2e3e4f87aa8867b67869efe680894","datavalue":{"value":{"entity-type":"item","numeric-id":1575827,"id":"Q1575827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603403$394B61C0-B72F-448B-937F-C7B5589A8151","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603403$2D9AABFB-7CCC-4F69-9FA9-3D550E09DCF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603403$0019047C-8E3C-483C-B3D7-02A87E3E6B3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603403$898DD392-5EEE-4583-A561-32CE1DF832E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"648940ac90109fe52ad20b335deab288d584bc38","datavalue":{"value":"1767239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603403$5DC4AD2B-67A7-4CCD-B39E-0FB8D6B0480F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3be9722da82c907052377e41b8fac3bc3634a5","datavalue":{"value":"Real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603403$9E43FA3F-E113-4C21-9694-69D00E1A9B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7c3fd3872f7a30fbc4a3c1696a9662468e045b","datavalue":{"value":"Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603403$C39B9E14-4DAC-46D3-BB8E-B60FAD7EF8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68dd270adc1c32bd2c8c87abe213f2490d40f270","datavalue":{"value":"Duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603403$7634F47D-F613-4979-9F2E-4581553F02FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603403$F750D542-FF24-4A69-A975-0FC56F1B8688","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":"Q1603403$B7E8EAF8-5028-4E85-9A34-463DA8ADDF22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603403$3A938742-E868-46FD-A208-2DBD73799A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41af77e01f186c255b902fb05e7ee7f5d28951fd","datavalue":{"value":{"entity-type":"item","numeric-id":1603403,"id":"Q1603403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603403$D885A816-FE1B-419C-BE9C-0B6684D1F41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603403$27F0EE37-4A80-4A32-99FB-ACC3F7E03DEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient verification of a class of time Petri nets using linear programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_verification_of_a_class_of_time_Petri_nets_using_linear_programming"}}}}}