{"entities":{"Q2982576":{"pageid":2993301,"ns":120,"title":"Item:Q2982576","lastrevid":85666046,"modified":"2026-06-03T10:49:12Z","type":"item","id":"Q2982576","labels":{"en":{"language":"en","value":"On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6716623"}},"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":"Q2982576$7DBE5D21-E478-496B-BCC4-7D4889035B71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed8a49502195cd29466ecd17e908d834804851ee","datavalue":{"value":{"text":"On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2982576$2AD07D4C-E9D4-44E8-8FBA-EF89DD2724A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc37e586c6a1b4d213c5fe5266faa17f301ae03f","datavalue":{"value":"1360.93438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982576$5257B2E1-B5F6-4EE2-BB12-933BED4410B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f476735dbef361f42551b356ba8d434d9deded1","datavalue":{"value":"10.1109/TAC.2015.2398951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982576$30605F89-4B90-406A-BF20-6D1D0B37C1CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e25e5bea87357c0468dd74d82c5cb85a79c7025e","datavalue":{"value":{"entity-type":"item","numeric-id":1646757,"id":"Q1646757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982576$9F110267-3ACD-4DB3-8305-208B1CCC97FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73bdfc54a37ff8259781c57e14c72c306d7d09ee","datavalue":{"value":{"entity-type":"item","numeric-id":1295010,"id":"Q1295010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982576$A2A43556-7403-4457-94C1-D9830E2949C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982576$D9531B52-B831-4970-98C7-F691D668263A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2982576$B35C19E0-A29A-4713-88E9-AE58AE575839","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982576$ECF4CB46-5198-4387-A5F6-AFE61FCC8777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982576$F2044F9E-ED7E-4115-B34C-4A53E39E452E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8fec66fb1b69d1fc3fc36e9458c383f946fffbf","datavalue":{"value":"6716623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982576$BD3BF390-FDB5-4F39-BFD4-25FFD6836660","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":"Q2982576$45830659-ED6C-473D-A55B-00E942D7E0C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdc237cd3e0226e24893d514ed1d5d80de5ccbef","datavalue":{"value":"https://doi.org/10.1109/tac.2015.2398951","type":"string"},"datatype":"url"},"type":"statement","id":"Q2982576$DC0600BC-AFD8-4A14-8B8C-8A2F47AFFA35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74c8ad127427d6c695cc7ad820f6c3452ac7ddea","datavalue":{"value":"W2036718662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982576$07DDA684-3556-4520-AD4E-8271CC8D2F25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets","badges":[]}}}}}