{"entities":{"Q5111627":{"pageid":7141201,"ns":120,"title":"Item:Q5111627","lastrevid":55903894,"modified":"2026-02-21T00:30:07Z","type":"item","id":"Q5111627","labels":{"en":{"language":"en","value":"Coverability synthesis in parametric Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204931"}},"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":"Q5111627$0EC90B8B-B64F-4CF4-B115-36381C4C70F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d33af28affcf96af4bc6f4817ebba4e88088c6f","datavalue":{"value":"1442.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111627$653E89B4-A86A-4B1D-B01E-09EE01775C14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05cb31598129fbdd6f895b17ea5056364747306c","datavalue":{"value":{"entity-type":"item","numeric-id":2097533,"id":"Q2097533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$E2246BFF-0D14-429D-9073-D96BFAF08FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f6d4e3ff7a13e54a54a40f8cfa4f07e93586982","datavalue":{"value":{"entity-type":"item","numeric-id":673005,"id":"Q673005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$8E9E275A-74FB-40BA-AD5E-7A5FE349B257","rank":"normal"},{"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":"Q5111627$E0D7C5F8-79E7-4A30-8BA4-AC4FDE167C8E","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":"Q5111627$B280F387-F9A8-4877-A78E-580252F89F17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111627$D1675114-088D-4D10-A9EB-19509C8FF1BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111627$B85DA587-5338-4AF1-8C4D-3C53A3B8BFFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a9d0c0cdcc779106566397d2bd787243dd35178","datavalue":{"value":"7204931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111627$6FFF10C7-E7BF-4EE4-B232-F9A23FA9D7AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111627$D28AC761-CF22-421D-A04B-685D8DDE06C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111627$691716CF-2D18-44E6-A015-07089ACA7202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111627$0185C3EE-3C69-4AF0-829A-692F99D93735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df168f0bdd8dbc719e92ab45831e22a078dab8b0","datavalue":{"value":"unboundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111627$4A8992DA-F375-48DE-B2F2-2F1AA447A86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111627$3E155F00-246B-444D-9FA0-9343F136C967","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":"Q5111627$5B15E82E-B61B-4FFF-A1F3-D65E62BDDEA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$613C3726-4920-4B7F-84F8-A3BD4F170EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8364c618ad76db52057e29b74d52fa66ec4e18c2","datavalue":{"value":{"entity-type":"item","numeric-id":4251060,"id":"Q4251060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$7E994AD6-6FC4-4083-BA76-9506EC02D05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b76cd63c5178ec2dcd1f08b328bd5ef3f072c74b","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$F7D80FD3-710A-42B6-8C70-27B674A3A867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b4c1548a0321e32b2dcbadfef61dd481ee814aa","datavalue":{"value":{"entity-type":"item","numeric-id":3011885,"id":"Q3011885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$88CA55F7-FEFF-4582-8B59-63FD8EA4DF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25cf694ef4273f6c84ecea1e39c75c8874b0a3ff","datavalue":{"value":{"entity-type":"item","numeric-id":2941148,"id":"Q2941148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$94B95107-C78E-476A-A038-B22733C31136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbecd242d3ae206f5691b149103266b22f6482a","datavalue":{"value":{"entity-type":"item","numeric-id":355513,"id":"Q355513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$8E86CEB9-BC07-4928-A435-A3CD1EDE31EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d83092f8c95d7d524e1fd306669278c84f755b3","datavalue":{"value":{"entity-type":"item","numeric-id":5389997,"id":"Q5389997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$17945FBD-FAD0-4B67-AB24-DBCF2C227A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44e5738e739579e3429c25fb182bd984c83b01f","datavalue":{"value":{"entity-type":"item","numeric-id":3638095,"id":"Q3638095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$02338048-6DFB-435F-BA8B-53268C3E665F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba419f49a7da3ab8e0dc067af1ecda7dfe1ccdf2","datavalue":{"value":{"entity-type":"item","numeric-id":2805418,"id":"Q2805418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$82180B3C-36E5-40D8-AB7E-8E0C9047F122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6e6339c8f8a3272b7cfb2e5fb19de523862545","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$907B9AB1-B14C-43BD-BAD2-1DC5B6FB5A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$D1E246B4-F8B6-4D1A-8635-9599E4384313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde52beecc143da7aa90fe577e5577644f5a9b03","datavalue":{"value":{"entity-type":"item","numeric-id":3997018,"id":"Q3997018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$79E81730-3BDC-4217-8480-A18A9220BBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$98F38304-9E66-474C-AAE3-D1F9BE8C445B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0863235db59889cae8e307ac033932805be9713f","datavalue":{"value":{"entity-type":"item","numeric-id":797285,"id":"Q797285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111627$049BD2EA-D329-43FE-9A8D-3DB617CF2820","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99ab53113b74ca7b4341ae405256188505efc848","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111627$C07DE5ED-8E56-40F0-827F-21A753FC4C77","rank":"normal"}],"P1643":[{"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":"4e73400922bb7489095e5e3fe808b8839f3d5b72","datavalue":{"value":{"amount":"+0.8534976243972778","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":"Q5111627$0C284DAC-5A49-4BB8-84D0-F6A36F9CF65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ac11be9298730c2273548fc20284ab4ba5f822","datavalue":{"value":{"entity-type":"item","numeric-id":2805418,"id":"Q2805418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fb218ef95478599084997a6c0ce4b8c9842135","datavalue":{"value":{"amount":"+0.7754577994346619","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":"Q5111627$AB7AFCF0-DE56-4141-B657-E5027EF39DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1933fe5a7c4bcd09118ee1839f645ec449a48b","datavalue":{"value":{"entity-type":"item","numeric-id":5300865,"id":"Q5300865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335c9298cf34ef4cc15d8b0e3ae857bed68dc3b5","datavalue":{"value":{"amount":"+0.7732526063919067","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":"Q5111627$389D7927-193E-4A76-A8EC-5ED7714D1936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111627"}}}}}