{"entities":{"Q6137873":{"pageid":13272180,"ns":120,"title":"Item:Q6137873","lastrevid":58706007,"modified":"2026-04-06T10:02:23Z","type":"item","id":"Q6137873","labels":{"en":{"language":"en","value":"Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7789009"}},"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":"Q6137873$A91EC1BA-A82D-418C-B3C8-09ECB1C26E78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f05d4bdedfdb1ac4f2a88f11148ee146961cf4e9","datavalue":{"value":{"text":"Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6137873$ABEF49A2-C18F-4494-A6D5-682BF6926F0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94ecab420f91207ea02066db5cf783bbc1a1c4ad","datavalue":{"value":{"entity-type":"item","numeric-id":6137872,"id":"Q6137872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$B48DF143-2F36-4CAC-B2A6-6FA7210480D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$47E2CDDA-906D-4683-9011-94DAD5247111","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$94ABFFA4-D9EA-4238-ACD8-22BC9EEB7B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc8cd618aba52e258fe3cb0e097a7203f8486d94","datavalue":{"value":{"time":"+2024-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6137873$D2F93AE2-9CBA-4EDD-B89B-181EEBB0B69C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d67d4944e6b0ada03e517890bf279338d09376d","datavalue":{"value":"https://arxiv.org/abs/2104.14856","type":"string"},"datatype":"url"},"type":"statement","id":"Q6137873$302A1D23-AD39-472A-A09E-4D1BE430FAAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137873$0CD4ABDD-2EFB-459C-8242-5E0120F61F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137873$044F26B0-BC1A-4AF3-9451-BA76EC55710C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc24bff07954f1cf0e10e902eb193789d93f72c2","datavalue":{"value":"7789009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137873$EC1F6CF5-EFC2-4063-92F9-1D3ECE004932","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7988d6e2a15b70f386d1c36238312f63eef396d","datavalue":{"value":"behavioral equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137873$52C9006D-EFDE-4841-8A40-4F3C572374C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137873$1D46EDCE-CBAE-4769-9854-D70969E9685E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc1eb0d4ec5e4a8a3278edcad92d4561aafff06b","datavalue":{"value":"fully-concurrent bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137873$9B93A2E3-D625-4A43-844C-BE2ACAFCAEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35362f64cbdb1d8e255e3e8879bcca10393677b0","datavalue":{"value":"causal-net bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137873$3777D9A7-9864-4913-BB58-2789BCCE8A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83af601b7308c8dcff2cc5a7ca9ffae9c436a2d9","datavalue":{"value":"i-causal-net bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137873$170F6E68-7A40-413B-B1D3-FA2659858A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137873$9B280331-99B6-4A5A-BCC2-9FE17175162E","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":"Q6137873$BE4690C0-EEE0-4E7B-BAE8-6E1D8B779796","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"065ad1a417c3b5f21705871c0c9d6bb2c2df5a73","datavalue":{"value":"W3158514776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137873$9288C385-B615-4160-9DE2-1B4D82A86702","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5d5022a03ef90b60bd9d94e10d019f66d2ead8","datavalue":{"value":{"entity-type":"item","numeric-id":1119024,"id":"Q1119024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$7D717A20-2450-4A67-ABE2-C9A91A699263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc59e1a97f709973d7c5b044b91b207ea41b5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2639636,"id":"Q2639636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$806B5BDA-53D9-41C2-ACCD-7AC8A9C99F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e043ba605f964cfaa5043c7b174388ae47bd2260","datavalue":{"value":{"entity-type":"item","numeric-id":890619,"id":"Q890619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$046B512C-CD98-4E2D-AF63-126B2B8E18C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a03c63b6e4cda2b3f78798931c85bf52afbef2b","datavalue":{"value":{"entity-type":"item","numeric-id":2257982,"id":"Q2257982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$E70C209E-479B-4DA8-9541-81600933215D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0d2e34aa930e925e375883c6bd748955e5f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$886155CC-F927-44E4-9647-0F7D02661E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$75C835DF-CD1B-4B98-80BB-0571F6185A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$0C24EC02-16D4-4A12-A34B-5ACD9BF877A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f86ddffbe9e13e55197647365813a7c39a97ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5100754,"id":"Q5100754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$30E81475-E8D8-42B9-855F-3823936FE1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b1a011da71143e348db872dd0570467d65622f","datavalue":{"value":{"entity-type":"item","numeric-id":2055961,"id":"Q2055961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$B85EEC6F-3658-4453-98DB-B55072A3F656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$758C7730-40A5-4307-90CE-8D364840AEE7","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":"Q6137873$83778AE4-DB1B-4510-A10F-8D784556F594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb1cbb7867a200f2abd5447ecaa47e9811d7878","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$88BA61EB-327A-4661-A8EE-9028AC808128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$F0981D92-8AF8-4CF3-BE51-883453151FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d26ee7c33c74c6c559a5c5b5c653c2ec12f70a","datavalue":{"value":{"entity-type":"item","numeric-id":4347377,"id":"Q4347377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$6A9C3E7D-AC47-4AFD-9484-C7B703E8A6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8cce4b1da1cc2b201b3b068a5f0031c71e8d9","datavalue":{"value":{"entity-type":"item","numeric-id":1122355,"id":"Q1122355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$6552FA8B-D022-42A9-8935-8CA29EC5C909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3979bafe4eb9f717a5fb20fe1d7c87e4416fdbc8","datavalue":{"value":{"entity-type":"item","numeric-id":5048942,"id":"Q5048942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$BBC2BBFE-57CD-4E10-AE4E-77F4A2B931B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$1E3C864F-7D7F-45DB-997F-19FBCD7E1640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554c68bc5e95de248b45e91b74a6fb3304a2af2b","datavalue":{"value":{"entity-type":"item","numeric-id":5897492,"id":"Q5897492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$6D3D4F27-7144-4607-81B1-EDBB50E37C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf53d6cb8483c53167a6b224459ec2cd8dfc718","datavalue":{"value":{"entity-type":"item","numeric-id":3449628,"id":"Q3449628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$1FB79E2C-3EEE-45D4-A6AE-A5B8F153C349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$BBDA72A7-C64A-464B-9127-53412AF870C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8537f6a57826b3db1ef7a461ab0575417933ffc7","datavalue":{"value":{"entity-type":"item","numeric-id":4036588,"id":"Q4036588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$3B855C43-515F-44A1-83BD-E753A0E86114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33aeab1a6e46a1375276b1d7baec5d1c874aba2","datavalue":{"value":{"entity-type":"item","numeric-id":1891131,"id":"Q1891131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$D2B3B359-039F-4315-8131-85C393D65747","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8f745732c033c06f3c0a376b21bc30fbd433dcf","datavalue":{"value":"10.46298/LMCS-19(4:37)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137873$AB4C46B8-DA17-44D2-8038-F693A928DE62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b6bb54e5ab501ea27312e77dd27871dc6b0974","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e94e4ee64e085a7cb7d8f56c04107d3c994f288","datavalue":{"value":{"amount":"+0.8867863416671753","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":"Q6137873$3B1BB39B-C214-4082-B6D5-BD77F24652BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb441095c3c27aa3d334a159c4bc832a5b9eed84","datavalue":{"value":{"entity-type":"item","numeric-id":4630288,"id":"Q4630288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa14b56ea0d5de358d7b1ab9e43804bc4c8bb40","datavalue":{"value":{"amount":"+0.8828737139701843","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":"Q6137873$CFFBC4AD-D09D-4AA8-A5B2-08FD886E2791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e8fc93a67887c97f5139257894ef7fcabc8e09","datavalue":{"value":{"entity-type":"item","numeric-id":4818859,"id":"Q4818859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6609d679678aa0ec91ad127ec452aedde951ffb8","datavalue":{"value":{"amount":"+0.8619462251663208","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":"Q6137873$507F222F-EF28-45FD-903B-5D3F302A93F9","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":"f7abc3672f684a49fd4b178dfbfc6ea025920a1f","datavalue":{"value":{"amount":"+0.8530800342559814","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":"Q6137873$151BD579-4B40-4FCE-95C4-2C447C9F64CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6383ca3ad0f865e4b1851ad9a1eb25ab08616fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e58645190e311b298617610bf16f9af83714a8","datavalue":{"value":{"amount":"+0.8416039347648621","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":"Q6137873$F919FC01-549D-46BC-B6E5-4C4E38F5C9BA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137873$DADFCDBB-3C9E-4253-BDBD-4542A379C106","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6137873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6137873"}}}}}