{"entities":{"Q5025058":{"pageid":7054635,"ns":120,"title":"Item:Q5025058","lastrevid":55938700,"modified":"2026-02-21T08:07:51Z","type":"item","id":"Q5025058","labels":{"en":{"language":"en","value":"Coverability, termination, and finiteness in recursive Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7467840"}},"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":"Q5025058$7A29CC6D-C4CD-449F-A7F2-7CEB9B90899F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe344c52cc2335170d298d2782d3fe5af5285ec1","datavalue":{"value":{"text":"Coverability, Termination, and Finiteness in Recursive Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5025058$817F2D82-77F4-4E75-8063-B56EEDD7C187","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c32353b27deef6cc5d4244865b9625261fe796e9","datavalue":{"value":"10.3233/FI-2021-2081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025058$09D34016-52AA-42F6-BFD0-A73472A7915D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$F09D2F6C-9D19-4ADA-915D-A0D37E3429E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0944675518f51c9d345290654618d314c9ace92","datavalue":{"value":{"entity-type":"item","numeric-id":2058565,"id":"Q2058565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$4640A639-3C3D-499F-8802-295EDA89E91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$B590FF50-FDE4-492F-9021-8E981580050C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$D88D8D9B-DC42-43D2-B8DF-B0BDFE7CCDAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fa622351c9dbc7b7a891fa25d235c8f79af6e3a","datavalue":{"value":{"time":"+2022-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5025058$9B8DF543-E3FF-49FD-9273-D1FB14D0E4D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a39e685089f801de4029c3c8f8b4e8e89e59c9ab","datavalue":{"value":"https://arxiv.org/abs/2109.06804","type":"string"},"datatype":"url"},"type":"statement","id":"Q5025058$4E3BCA53-C67C-4D34-96CF-424ACB83031A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025058$7B2B13AE-B747-44FE-BA58-376B2AEDEE42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e30bc0b27bf0c8e2c73b7ca71e4c3518411d044","datavalue":{"value":"7467840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025058$506EA161-5055-4827-8C02-A9CDB3FB50C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eef65a6bcedbb53c33a26818353cb2257faeea1","datavalue":{"value":"recursive Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025058$43563760-11DA-4543-BABB-EFF153AF9E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025058$300AB25A-34A1-48C1-BFA6-214F44B91916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025058$432AF2D1-FDE1-4C92-9711-B6F94E70986D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025058$9EE4C871-68E7-43BC-947D-3EFFE1E145EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025058$CA960762-2FDE-4DD7-8791-EDE74D105C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed96de97b0a609b359b7c86a233bcbfc19923f4a","datavalue":{"value":"finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025058$E5805F0F-4550-4BEA-A1E8-156052A54A73","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":"Q5025058$751775B8-6CCA-4867-B6C3-64EC2A163198","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$D55EC961-F480-4A4E-A1FF-A71518A507C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bea33521ecdb5b888af5771509d9c6124d3eea","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$51CF515A-39BD-4F58-AE52-0475596A6FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$EEF8E70A-181E-4AC6-AC2F-24DD897290F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7d7dc538448798d6a394d1f6aa8ca50196bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":4982097,"id":"Q4982097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$037F3FB5-CFCC-474D-8B58-A16A5F4C8D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728a1b81bfa8303b2c2436544e85be00643e4f99","datavalue":{"value":{"entity-type":"item","numeric-id":2895472,"id":"Q2895472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$61B4749B-2FBC-4B2A-8BA9-4A7065C2BFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b700b25c7efe122ffb832060352d677e3fd6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3088035,"id":"Q3088035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$38431A07-75D9-432D-B2C4-06BED8C9335F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3feebf644fbf5979d96664f07d862fbfe8cc287c","datavalue":{"value":{"entity-type":"item","numeric-id":3586117,"id":"Q3586117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$B54C5319-63B3-46CB-AF66-B561582CF759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$77C8BB17-9BC5-47D3-B609-3639C444CA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8eb01b2d5582b7a45432de334b50b1bb596878","datavalue":{"value":{"entity-type":"item","numeric-id":4635904,"id":"Q4635904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$6EE7B474-D3A2-422E-8764-AEAC4C80228C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b18d4fc60a70c27ea7b62beac0a6f5c90f6df2","datavalue":{"value":{"entity-type":"item","numeric-id":1936244,"id":"Q1936244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$1E3AB66D-57E0-4BF1-9DB3-122220E439EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb8c1e3806f3cb682bcfefe28a695b730fffba2","datavalue":{"value":{"entity-type":"item","numeric-id":2911620,"id":"Q2911620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$2ED40E42-3321-484B-A756-81B5FFD91821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5b635c0aa8b434f0463e303fc0b0d0c7bbb424","datavalue":{"value":{"entity-type":"item","numeric-id":4558750,"id":"Q4558750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$D8651F48-2281-4FC6-AD69-615D0761D902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426477d2e2d7976280a055112f2747c274599079","datavalue":{"value":{"entity-type":"item","numeric-id":4929333,"id":"Q4929333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$D2C3CE73-3B5F-4BC0-9EB4-E76FE8DF2E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d706b51247e6e946956fa86b907eba0aa40828","datavalue":{"value":{"entity-type":"item","numeric-id":1675163,"id":"Q1675163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$D70EB823-E2D3-46AB-A190-EAC2B640328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcfe535a7d7eac6351e6f29c59c647b070f6ea1e","datavalue":{"value":{"entity-type":"item","numeric-id":4263301,"id":"Q4263301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$A23ED0F6-C6A0-48F3-B485-741D0FAA5C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bfb35796f3e659d3d0ca8514fdb5214c4cbae9d","datavalue":{"value":{"entity-type":"item","numeric-id":4782078,"id":"Q4782078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$63701865-A352-4C41-878D-DC9F821F5A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf302fbc29b021d0b50a7ece6ef4e7e72eafd84","datavalue":{"value":{"entity-type":"item","numeric-id":2464034,"id":"Q2464034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$FBE1B43D-6D7B-479D-B6A7-060CFC743F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0de718758ed53a4ff8b61fb3f79930b305d5aa","datavalue":{"value":{"entity-type":"item","numeric-id":1249180,"id":"Q1249180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$F8B5A22B-8BAE-4710-AC9F-5EF21DF1C9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$82AC52D3-BDD0-4838-A7F6-64A5107E0210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$F08DF4F6-BC18-4C04-8505-A88F29F80311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3571bf8eed34370adfb0c8f4fadf636abf77941a","datavalue":{"value":{"entity-type":"item","numeric-id":2641880,"id":"Q2641880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$0A7B4A76-6E1E-4C76-A8E4-AEF477F4579B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae891d395d75412d6886b846f84fb13ae3150d0","datavalue":{"value":{"entity-type":"item","numeric-id":1951597,"id":"Q1951597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$68513215-3138-4FEF-973A-C24060B56619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ef7f8b3cf4688871bd0bb9008dfb665e6f7e39","datavalue":{"value":{"entity-type":"item","numeric-id":1935777,"id":"Q1935777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$84C0D9A9-645E-4933-A53C-0B3E15097A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4742fb3b3c48c73bcf3c896ebed6b9469ae658","datavalue":{"value":{"entity-type":"item","numeric-id":1158763,"id":"Q1158763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$BF689DB7-B393-47E0-B4DB-1FC69A2ABBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71201bdd8355843fc4084260142cbe201a2f83c1","datavalue":{"value":{"entity-type":"item","numeric-id":3447702,"id":"Q3447702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$62C800B1-DD16-4F49-B051-A3E0EA2F053A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4d01a97a3cd454f116ed0737edfdfcb9f7a69f","datavalue":{"value":{"entity-type":"item","numeric-id":5565120,"id":"Q5565120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$871FD2F3-3614-4549-9362-F58A78D8F7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025058$4418C7F2-270E-4BD7-AFA6-FB7E774AC260","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e650a966d4fb3ff3fb699167af4a74a9490179c","datavalue":{"value":{"entity-type":"item","numeric-id":5100760,"id":"Q5100760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae1a1e0bfdd864a3f63c42562dcc8f464b63325","datavalue":{"value":{"amount":"+0.8794362545013428","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":"Q5025058$DDA68A87-EE5C-4E37-A55D-5C28380E3745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88a0718fd5cc1cc76a823ec9e0a82fa67d419f5","datavalue":{"value":{"entity-type":"item","numeric-id":2464034,"id":"Q2464034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e91d470e6bee0fb9103928d1ab9a136d269dc31","datavalue":{"value":{"amount":"+0.8342331051826477","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":"Q5025058$CA61DF65-A05C-4F33-A400-8DD533179533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ad75713e0de25178fe9f02dab6e5d4389606a3","datavalue":{"value":{"entity-type":"item","numeric-id":1403182,"id":"Q1403182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9d572035f4ebaf65cc4b1d336c6aa7c6481571","datavalue":{"value":{"amount":"+0.8325988054275513","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":"Q5025058$5DA0256D-09B6-4793-A7C9-00D0B265113C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a71e7a7a706fde87b9bf4e8954af0846d471d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4263301,"id":"Q4263301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a532416963d5b651b54759c7da68b2e232dcd54","datavalue":{"value":{"amount":"+0.830307126045227","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":"Q5025058$D9C639B1-25C5-43CC-B627-DBD5B4510339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655c16f331a6ee536902c7f06231d44e9e5c5bf2","datavalue":{"value":{"entity-type":"item","numeric-id":4782078,"id":"Q4782078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5434be05c18a6760064fad71ddcd5765b504e1e","datavalue":{"value":{"amount":"+0.8046668767929077","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":"Q5025058$309A5CE1-174C-4992-9E02-F1D182648BFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5025058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5025058"}}}}}