{"entities":{"Q275588":{"pageid":277355,"ns":120,"title":"Item:Q275588","lastrevid":57420603,"modified":"2026-03-30T21:20:34Z","type":"item","id":"Q275588","labels":{"en":{"language":"en","value":"Petri nets properties related to the unboundness and analyzed using coverability multigraph"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573749"}},"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":"Q275588$69D111B7-339A-4954-ACBF-B9503132D7D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5832fcdba235e9c256825cab04d7bb5534afbc5","datavalue":{"value":{"text":"Petri nets properties related to the unboundness and analyzed using coverability multigraph","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q275588$E42A87FF-CC0B-472A-82AC-FB0A3FC6C2CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07d8a5dc7d28e17ed9abf452dd7a77a202a6c9c7","datavalue":{"value":"1334.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q275588$B6A843FA-81BE-4C68-8707-544807F6FD31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4ece6707690a7a315287dc4b209f43825d31e2","datavalue":{"value":{"entity-type":"item","numeric-id":275586,"id":"Q275586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$4681C917-44DA-4BB0-B00C-124233D26072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25f1672b117ccc4917e2133320d0a03dd4cfc117","datavalue":{"value":{"entity-type":"item","numeric-id":275528,"id":"Q275528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$C47AA639-8824-49B7-981B-243C58777389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c04af4522f76564918d4e3add7d4a3b5ae5178c","datavalue":{"value":{"entity-type":"item","numeric-id":275587,"id":"Q275587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$D1CD4E4A-C83B-42AA-8DDA-C574A5E0BFC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb427a5bbc86e004529deb4bcf09e44c420e4e44","datavalue":{"value":{"entity-type":"item","numeric-id":275530,"id":"Q275530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$88784C0C-771D-471A-ADDB-43A33AD12FE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q275588$8241DCFF-3409-4668-B4F0-D8003079ECFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q275588$4507FE26-3AC5-46A7-8053-AB63F792D9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q275588$62D1B815-65C9-4885-8B2B-DF8B1BD6653B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d594735d8fbd2564942f1944b063cd292d64c040","datavalue":{"value":"6573749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q275588$589B6A04-83A7-4596-BD97-F6B58B9EDC7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q275588$E24CA554-48C6-46AB-8A1D-0B9084744AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3538403cc95f99d7925ef9fe5b6a0949afdb414","datavalue":{"value":"unboundness and coverability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q275588$05AE2D66-97EF-4885-8ACD-2604B7244583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fecdda115e6e9edce602621720013fca6f54e256","datavalue":{"value":"\\(\\omega\\)-marking","type":"string"},"datatype":"string"},"type":"statement","id":"Q275588$2FA9C990-CE41-493B-ADD2-8F37A7791F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc5e4811c6954066eadc36fe36eba32cb318e99","datavalue":{"value":"coverability set","type":"string"},"datatype":"string"},"type":"statement","id":"Q275588$AE4C6BA9-FFAF-42BB-A7C7-D75C814EBC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b17bd588246741aca117cf0b9b7b5a7256cf91","datavalue":{"value":"coverability multigraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q275588$5856D7D6-C235-46E1-A340-3EB56B447070","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$358352A1-226B-438C-880F-F47387B61DFB","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":"Q275588$BA818206-36B6-46A4-875B-21B1E7866251","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73e4a7ea037f32cbb93eafbabc0b27890337ae93","datavalue":{"value":"https://doi.org/10.2478/jamsi-2014-001","type":"string"},"datatype":"url"},"type":"statement","id":"Q275588$07B15219-510A-46EB-AA9F-41549CF8A579","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8f7b2ef23ad89a8f117ec20921c1866cdc04c96","datavalue":{"value":"W1999628437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q275588$09045C70-31D9-4F37-85A4-D2A60B8109E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$E6520D74-5CB8-4074-879E-737E0CE44F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a12bd2a4e99b861472e6863f39212df9c9b4e8","datavalue":{"value":{"entity-type":"item","numeric-id":4890884,"id":"Q4890884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$891FF1C4-5EFA-4519-B16D-9115356584E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0346c3fe76372f13cf425f5501025336a40ef656","datavalue":{"value":{"entity-type":"item","numeric-id":4247286,"id":"Q4247286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$F358A859-9AC6-4969-A98C-7809F35B334A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b75ed62afe83ceb6417d351b8c33b9eda03bb16","datavalue":{"value":{"entity-type":"item","numeric-id":3997488,"id":"Q3997488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$8E18BED7-065E-4AB7-8E2D-A061D63B1278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac300682ed7878e8b71805329eaf7a71a95f9711","datavalue":{"value":{"entity-type":"item","numeric-id":2458637,"id":"Q2458637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$A0F7AB7E-9ED0-4C96-8FE9-F4064134CD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3f1ca7245db78f2e0e2c3e3e3ff67547573345","datavalue":{"value":{"entity-type":"item","numeric-id":4911790,"id":"Q4911790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$FF3171F5-838F-4CDE-8B73-C51543BD05F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4013da23e249e294fd252606c946caa97002b723","datavalue":{"value":"10.2478/JAMSI-2014-001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q275588$9C6D0BA9-0798-4504-949A-1E9FFB1A02F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a9cd8fc33553f6d5411e1152f4c8165ed18fd7","datavalue":{"value":{"entity-type":"item","numeric-id":5712328,"id":"Q5712328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69407b23227972992571997116e79fd3e5f0ec3a","datavalue":{"value":{"amount":"+0.7855861783027649","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":"Q275588$5E7BDD6B-2E2D-43D2-BEC5-A281505549D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76341b585ef84da711f1776d66eb042958535d76","datavalue":{"value":{"entity-type":"item","numeric-id":3055041,"id":"Q3055041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d25c585b605a3b636e9a759119183494abae4c","datavalue":{"value":{"amount":"+0.7679613828659058","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":"Q275588$F50EEBD8-8201-4163-9AD6-E42CFE769CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f90e5e088879ed480e77236ddab5b457056300","datavalue":{"value":{"entity-type":"item","numeric-id":2754109,"id":"Q2754109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461fe073d79171a7dc2c9fd361187cc13b342bf8","datavalue":{"value":{"amount":"+0.7567933797836304","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":"Q275588$7814A362-E5A1-4B50-8AA4-0161AD2246B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2581f11af9e9f3a71720eec086a480932e42bf20","datavalue":{"value":{"entity-type":"item","numeric-id":2941148,"id":"Q2941148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c45654d2650c37783888f12149e2f3e09befcc","datavalue":{"value":{"amount":"+0.7562061548233032","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":"Q275588$B993B762-A316-48EB-81A9-DFBDFCDAB6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f862a843beab4ffaf66d456c52886d71646f48","datavalue":{"value":{"entity-type":"item","numeric-id":5179054,"id":"Q5179054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ceb88f6de5d5177d3c34695b21ac582d3d73c3","datavalue":{"value":{"amount":"+0.7555590867996216","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":"Q275588$17FCF654-E272-43CB-B827-7FEF199FB599","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q275588$D0ED2958-ABBF-49BD-92C7-EFE8A27E34EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:275588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:275588"}}}}}