{"entities":{"Q5038572":{"pageid":7068149,"ns":120,"title":"Item:Q5038572","lastrevid":55423393,"modified":"2026-02-17T16:07:09Z","type":"item","id":"Q5038572","labels":{"en":{"language":"en","value":"Resource Bisimilarity in Petri Nets is Decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7597932"}},"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":"Q5038572$B2D011BA-3B92-4C70-8B2F-BCC861D6B847","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d4b4852cc058b439ed220f18a1da3504004ab5e","datavalue":{"value":{"text":"Resource Bisimilarity in Petri Nets is Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5038572$E5DD5AE8-AEB0-4DFE-B27E-A166F6F3D54A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c7632f092b1c7d78bd1bd82605f3549a3b90a3b","datavalue":{"value":"10.3233/FI-222125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038572$817A00AE-307C-4F9B-955E-8EF605F0E11F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b7cc9cd5cc7a92274ca6227a1c32481c3d87997","datavalue":{"value":{"entity-type":"item","numeric-id":174522,"id":"Q174522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$F2812914-63E4-4DD3-8715-ADCF801C7168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"debfedf6f4657203170842670e6619e00f5b8d60","datavalue":{"value":{"entity-type":"item","numeric-id":1662524,"id":"Q1662524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$56BBBF66-1AA3-44CE-88F2-9BF2CADFF396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$44DD6528-2145-4FFB-A376-F36781FC4662","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":"Q5038572$1A8EC1EC-B06B-4865-A91B-DD916F39599F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"518e300db17bfff1ac1e0945a75cbb743f9cc157","datavalue":{"value":{"time":"+2022-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5038572$526D90B9-716B-4F22-91B1-0F113B20570F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e747da93f29a3219178d65b8e23882665e5bc7f4","datavalue":{"value":"https://arxiv.org/abs/2101.07711","type":"string"},"datatype":"url"},"type":"statement","id":"Q5038572$42BCFEF0-614E-4EFD-855B-54C82A74F696","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038572$67A5A81D-35B4-4B7F-A97D-EFB178E6A605","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e9aa84948760f30825771a9a19f580087735b81","datavalue":{"value":"7597932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038572$25141770-AFD0-41C7-86A2-45D404750C83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecf2798a399f9b5828407c14af519ed63947722c","datavalue":{"value":"labeled Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038572$99C31966-CF27-4BB7-B960-87E64AA97E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038572$C696ECC3-2AD4-463F-B864-20D583C6BC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038572$7A789BA1-EDAA-4D53-B1A0-9690314FA774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038572$93A269B4-EDBA-4DFC-97D7-75A6459A53C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69fe6bc056ff3cf24c8c6b6417c1a6d7fa3f2339","datavalue":{"value":"resource bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038572$DCB90EBE-1B70-4616-BA60-9D872F2BC0EC","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":"Q5038572$64CD29F6-6A63-4AEE-B823-AC78376E0969","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$27E2014D-5C26-4553-9240-FD6001EB2398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$3E97BACA-EE19-4608-98B6-E98455A876D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$4C73063D-9E0F-421F-9B9B-0F0DB19B7F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$00B23979-D4F1-4582-A043-1387EDDEC206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$7AC2E876-1661-4B0F-9333-3E6419778AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0cd915db952fe82777b6d54c3362f81cedaa4d6","datavalue":{"value":{"entity-type":"item","numeric-id":2072066,"id":"Q2072066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$BEA6ACBA-259E-47D4-BDC6-B8E60310A578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a83ba445ed7517bbe4180ab83a3d00c6c5fdbe0","datavalue":{"value":{"entity-type":"item","numeric-id":5392166,"id":"Q5392166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$3502F9FD-8A2D-4510-88D9-0426FCFBE379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece0915b3c0200ac1f222d78b4c01f66cfd5b298","datavalue":{"value":{"entity-type":"item","numeric-id":1660760,"id":"Q1660760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$4598396B-7546-4CB1-8677-6D928D81F121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c06e7ffc50410d9fb3b22f877a0aac30fb0e1a8a","datavalue":{"value":{"entity-type":"item","numeric-id":5411652,"id":"Q5411652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$3CBAE9DC-F5A1-47DB-B208-10DC479226E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9964005417932f52fb23e814bd930d468a3c39f5","datavalue":{"value":{"entity-type":"item","numeric-id":3452466,"id":"Q3452466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$06A03B28-52D9-47CA-BA64-09762C473D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$3FBDF43C-C18F-4D95-BE69-470AA63CADDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1555b32ba3f7e64b14c78e2859ce3131b3c1e6ac","datavalue":{"value":{"entity-type":"item","numeric-id":3043830,"id":"Q3043830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$988F3FDA-8316-488F-A74F-950CC0E212D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c6f3b612d6ba19b8a4acdb4969da43b572919a","datavalue":{"value":{"entity-type":"item","numeric-id":1187645,"id":"Q1187645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$DCAE646C-53BF-4AC5-ACF3-C589641D16D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639e5e385f6eecc963f6845cd6b62fa29e92ef43","datavalue":{"value":{"entity-type":"item","numeric-id":2766577,"id":"Q2766577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$AAAE5E6C-CDDF-47C3-8C9D-A8160512EEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f73830bc30d0a6976be436d6b3e22ecb7010e9","datavalue":{"value":{"entity-type":"item","numeric-id":2128401,"id":"Q2128401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$C53CD817-AC17-4675-91CC-5F213D2EA87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb1ea500557acce1f00a63350385d2972de8689","datavalue":{"value":{"entity-type":"item","numeric-id":4461752,"id":"Q4461752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$9521EA94-49FD-41C1-A0BD-6A854EE0F784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43b0d359af541fcf6431bb8dfafc17e65ec401b","datavalue":{"value":{"entity-type":"item","numeric-id":1970200,"id":"Q1970200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$F8B1EC50-D216-40F6-87CF-FFAE50163373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881a2309371faa36075d90897a15b3d8efd21848","datavalue":{"value":{"entity-type":"item","numeric-id":2628288,"id":"Q2628288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$6EEC611F-31BA-4321-A916-CA9F77FE244C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52cbecaa96f5bd3ed77e4109251a4ab9aef3ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5411870,"id":"Q5411870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$D59A0068-136B-4C78-865E-625EB8DA84E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$29886CC7-1C77-42C1-BD52-BBC4532375AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6814ef78453770263be7153847467267beb6722","datavalue":{"value":{"entity-type":"item","numeric-id":5343411,"id":"Q5343411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$F7B6C7E0-4A53-474C-97A6-60A2CD30AA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a309dabd80707a552e56199261d4c0b70e4f7f","datavalue":{"value":{"entity-type":"item","numeric-id":1424356,"id":"Q1424356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038572$A34800B8-0800-4A00-AB4C-831434284B85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba49f9f5d6c72f446ceaf8152db7d62a2b4bc0f5","datavalue":{"value":"W3216174486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038572$DE70367F-E35E-4F5B-B5E9-B7113DA4720C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7d098ae19c51b5f6fe5fd025b3e170da3d7b31","datavalue":{"value":{"entity-type":"item","numeric-id":880715,"id":"Q880715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b689669f3ab301058b02ed60f82396c1c05d1d7a","datavalue":{"value":{"amount":"+0.891620397567749","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":"Q5038572$608AC796-9505-4B07-8F05-4FE3F496F2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"385c214225be098a7943b1fb1b5b5b3c03295c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4461752,"id":"Q4461752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37c5c0501d8af1a2f2b24d0d21b5c5aad5d63eb","datavalue":{"value":{"amount":"+0.8757627606391907","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":"Q5038572$CE1F578E-1A4E-4197-9A86-AE65C988497C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beaa48166b22f5e0cde52af614c43b56af04aa95","datavalue":{"value":{"entity-type":"item","numeric-id":1662525,"id":"Q1662525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664733ece7257104da38c0286245a9d01751155b","datavalue":{"value":{"amount":"+0.8616452217102051","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":"Q5038572$E6A05B63-7054-4135-8B6D-E3A8340300C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c334be1d32ae5e0ffa5aa5fe8dd475e315656b","datavalue":{"value":{"entity-type":"item","numeric-id":5060067,"id":"Q5060067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8f43acc02ad84cc45f91dc3535ae61f50c6133","datavalue":{"value":{"amount":"+0.8314921855926514","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":"Q5038572$7B740D1D-A0C1-4DD7-84F4-6E0014664F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66d01a423ca05009f4cb2738ab23bffde9156e9","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523bdf78699a25805b37914df80b95e076556c6a","datavalue":{"value":{"amount":"+0.8046639561653137","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":"Q5038572$E580A93C-065D-4AA5-BACB-25F655D18A6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5038572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5038572"}}}}}