{"entities":{"Q1935777":{"pageid":1946519,"ns":120,"title":"Item:Q1935777","lastrevid":51654158,"modified":"2026-01-19T06:59:58Z","type":"item","id":"Q1935777","labels":{"en":{"language":"en","value":"On the coverability and reachability languages of monotonic extensions of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137326"}},"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":"Q1935777$60BB9293-C837-4006-9486-556ED933414D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5b56c9a058566e820db33094748fb98629ead85","datavalue":{"value":{"text":"On the coverability and reachability languages of monotonic extensions of Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935777$149A8FEF-2513-4050-AC8A-88DBE2D4C711","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aeab9d0224fa0a683591db316e6c92f2fdc6f277","datavalue":{"value":"1277.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935777$863A53A9-E8FA-467A-8797-5DC6C44D5542","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935777$5E358AC6-2DD3-48AF-8FB3-AAD9A2B2D8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af934de01236ff6769f9de152ad7c0dc72bd9980","datavalue":{"value":{"entity-type":"item","numeric-id":529042,"id":"Q529042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935777$3E9D1F22-CE8C-4C49-8FF7-31A9F165E1B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935777$32D9697C-0337-4D84-9229-023FC24D52D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935777$1D28FAA3-50FD-42E5-97A6-FD5239D94CE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935777$A617D43C-E4B2-4A39-A87E-9AA54234E002","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0ad7bd516c9b7b490c158c5c228f19a93f80845","datavalue":{"value":"6137326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935777$623F8ABE-BB76-49C4-9FA4-41EC9000E955","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3802d926a9aa2e3f20d20f05696d39ccc412a456","datavalue":{"value":"language theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935777$2A27E31F-C9BC-4EFF-A823-AECD9D4B833A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935777$0416DC74-84EE-4971-BBFF-5B7860683673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935777$BC8C7B25-11A8-4B80-BF04-64E13E7BEECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ead3eb7ef3920b5d95f80be94c89bb441800ba04","datavalue":{"value":"well structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935777$2E421703-E2C0-4CB0-9666-332C2D81A94C","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":"Q1935777$C0B8C941-D263-42BA-93CD-A37C19E28A14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b993c0c5947996ab375cab83fc27d99f95b5edbd","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.09.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935777$25646078-2366-4D75-8F91-0AD3CB15C4B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0cadd2ecbe41b5810d4e56e8bc954d289fdcea2","datavalue":{"value":"W2073918004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935777$3CFB5E6A-6965-45B4-A1A3-DCA486E2C275","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"26853fbe84a92ea803ab58b9e5940bebf1985332","datavalue":{"value":"Q57831197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935777$26BEAFBE-0A75-4535-A138-D2A71666AD87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1aa7204c657822146022836c3bbc91e6d236c221","datavalue":{"value":"10.1016/J.TCS.2012.09.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935777$2ADC7A66-89EA-4206-A358-DC70882CA9F0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c5b8a6e605344da433fd65608fced1802fa2db0d","datavalue":{"value":"journals/tcs/DelzannoR13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935777$ECDBC81B-3AEC-4517-A3DE-1DC6303864CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513bfe19a0caca8605ed3cb4443eee00cff548a8","datavalue":{"value":{"entity-type":"item","numeric-id":3564891,"id":"Q3564891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6855a3109e79462aa0ab407361fef896e5497005","datavalue":{"value":{"amount":"+0.9180387258529664","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":"Q1935777$A0B70E36-25BC-4B2B-94C1-74E6B98CB366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70db077e5d2f67993bdd64faeae51c68793fad6","datavalue":{"value":{"entity-type":"item","numeric-id":3618568,"id":"Q3618568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1d804038a4863b35c1fdd41f646cb27a366d24","datavalue":{"value":{"amount":"+0.8910555243492126","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":"Q1935777$A49ABCF5-5076-4819-98C2-8E9B97EDE736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95f923b5d309f2ae9f21fc39461f0f5794a89e4","datavalue":{"value":{"entity-type":"item","numeric-id":2848137,"id":"Q2848137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e2f09b07adad5f57f7e684556787cae06f0819","datavalue":{"value":{"amount":"+0.8535875082015991","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":"Q1935777$413CAD97-6283-446A-B661-86FEE41FD741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e776f8bd472a991e413ed3a1a583207267fc84","datavalue":{"value":{"entity-type":"item","numeric-id":2491637,"id":"Q2491637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2814b480d8d85d171f60e3654858c6f3c82e09","datavalue":{"value":{"amount":"+0.8535873889923096","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":"Q1935777$03077A48-526F-4B9D-A3CD-58E84838DE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617f6c0dcb91397eda62325b1afa3c66a092983f","datavalue":{"value":{"entity-type":"item","numeric-id":3225720,"id":"Q3225720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37af85b1de31337547e539f46bbe853e50fc1891","datavalue":{"value":{"amount":"+0.8062151670455933","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":"Q1935777$843E00F9-4CEE-427F-9E0D-0156C2580570","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935777","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935777"}}}}}