{"entities":{"Q1365677":{"pageid":1376417,"ns":120,"title":"Item:Q1365677","lastrevid":68559132,"modified":"2026-04-13T00:33:18Z","type":"item","id":"Q1365677","labels":{"en":{"language":"en","value":"Deciding true concurrency equivalences on safe, finite nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1058318"}},"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":"Q1365677$255E31F2-05BF-425F-8D40-74F9A8DABEF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"180de51f8a766ea769b8a231ce844cf1c103c6b9","datavalue":{"value":{"text":"Deciding true concurrency equivalences on safe, finite nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1365677$704EBEE4-1C52-4FA4-985F-32446C82ACA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62e88c5a8692161505fbaae2fc3ebd4c68ad6afb","datavalue":{"value":"0877.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365677$8C1E865B-E11B-4E52-9F84-39102B8CDB95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d2de8a539d809fbe48395d0e215777b99854173","datavalue":{"value":"10.1016/0304-3975(95)00132-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365677$F0577216-9831-4971-9868-FD58AE7A6E93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"790d947b3393ca6ed472d6f354105dd9273751cc","datavalue":{"value":{"entity-type":"item","numeric-id":1365676,"id":"Q1365676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$ED5E2C2E-4073-4BB8-87D0-045966546036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$158D5413-C193-48C9-AF77-25563F6CFDB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$B86AAE3F-71EE-4689-8AE2-7D54315169BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6be3e37c641cde91cfa734d9536de0ec5c1b8bc6","datavalue":{"value":{"time":"+1997-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1365677$DE0038B9-67D5-4424-B28C-6FA8103311E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365677$A4909C49-25F8-43CD-A247-D076AAF3D76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365677$EC5A13D1-4564-4D49-95F9-FEF1FDDE029F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6db4087837eab0eafffdbec2a471c124a7663a5","datavalue":{"value":"1058318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365677$7CA18A38-DE26-4FC1-A267-78E72727EF16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365677$FFC967BA-6980-4ED1-886A-E73D6D5565CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365677$5D01EE4D-8AA8-4989-BEB2-03010ADBA8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa39bf317f4fb1743d4ba4f6e1e36fc840e03ae4","datavalue":{"value":"EXPSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365677$FB1DF9EB-94A2-4359-9FEA-AC38B8B9E357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b2b9a08371e7fbf758264fed6aa8d7d21497cc4","datavalue":{"value":"DEXPTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365677$FAB2C8A6-F5F7-454C-BD0D-EB615989DBAE","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":"Q1365677$1EDEF12A-22D6-4AE8-9BF6-4F1FFB81C192","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6729c9af2f907b6068d31cb15cdff72b4f334bf4","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00132-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1365677$B4F2DCC8-5241-4FA5-B31D-590806654038","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24e1b08c78349a27660fe8942a8b9a4e5b01013a","datavalue":{"value":"W2003972637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365677$0BEDC29E-72CD-47BD-8E1E-D9CD4C647E11","rank":"normal"}],"P223":[{"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":"Q1365677$704891C8-68BD-4743-9A1E-B808E4551BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1c26eb19363f0d01226bbcc19585d42b1b49e7","datavalue":{"value":{"entity-type":"item","numeric-id":4721639,"id":"Q4721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$7A26D650-CE04-4314-83D7-3A733F293308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$BDCF0407-E722-4A08-992A-860D3671C9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$434DB2CF-65A0-4A42-9A84-7EEC9CAC7481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e961e3a41aba0c299586df0decbe45224cd9e3","datavalue":{"value":{"entity-type":"item","numeric-id":1193655,"id":"Q1193655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$1B251671-0400-45E7-9DA3-C71807A0C482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$F731A402-1C8F-4914-8F8A-186E351E66AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$4E61C1ED-4F96-4755-AD45-AC75A160D527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$84E403D5-A759-4CCA-BDC3-DE03C37D60E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$6BF57BEC-3E30-44CB-8C81-0D9C134B8ED9","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":"Q1365677$3FE7C243-66EA-4523-8B11-45D5B1F92D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d585c4dd0432ac2413da3252f2a657e173bd9cd","datavalue":{"value":{"entity-type":"item","numeric-id":3751025,"id":"Q3751025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$BE7F3341-9058-408E-BBA4-C189F602F2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c58fb8ca68bcbf66e265b26fb6c094f9ce1637c","datavalue":{"value":{"entity-type":"item","numeric-id":5204358,"id":"Q5204358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$E01AAA21-BA97-4E7F-AC49-090ACA6AE846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$A437B23E-6E1F-422D-B498-0E5D30967560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bf7c01bd53c18169a7b8c5300c97daeb82d32e","datavalue":{"value":{"entity-type":"item","numeric-id":582133,"id":"Q582133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$4701DE8F-92A3-445B-9A05-B332FC5281E0","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":"Q1365677$2903F1F0-D1A7-4270-B406-C267481E1E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$13FC0CC2-45DC-42FA-81F9-7804EFF8A5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe07080838d558f770c476f92c4ea04919ea9ee","datavalue":{"value":{"entity-type":"item","numeric-id":685407,"id":"Q685407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$67A20B8E-E95E-4903-AAD3-23873F4A58A9","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":"Q1365677$74B9488B-2E68-4A34-94DB-6AEEB9733FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b975344eef28b0a3586df3f3002123a1b83601","datavalue":{"value":{"entity-type":"item","numeric-id":757073,"id":"Q757073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365677$345681DD-FE78-40F8-A0D9-71618F1F7B34","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":"Q1365677$600FAB52-E341-48AC-8479-EB48F4A39D0F","rank":"normal"}],"P1643":[{"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":"e94397955c0ef9fb8069f0611f26d78821fc0c27","datavalue":{"value":{"amount":"+0.988327145576477","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":"Q1365677$FCE9A291-6EAC-46CB-A6A9-E61B0FCC1FA2","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":"ef20a14d4234f7eed06640ea5fca7be0bcf2c07f","datavalue":{"value":{"amount":"+0.857783317565918","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":"Q1365677$223E3AAF-9CA7-436D-87C7-329A5AB39065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2516069ed424f4e78b8f71cd50e295a83ba38ac","datavalue":{"value":{"entity-type":"item","numeric-id":1970202,"id":"Q1970202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441dbb423aa00858b8bf765155410a39d9bd02e6","datavalue":{"value":{"amount":"+0.8346236348152161","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":"Q1365677$DDA72C50-B74A-42C5-BE1F-1085E1C3911D","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":"1c16ce42b24f9803a3d74a3ef6f4171b973a0705","datavalue":{"value":{"amount":"+0.8257319927215576","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":"Q1365677$7FF23D8D-7AF4-4549-9536-AA7D38D38B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a5c8793e3d096990575fe5fd9078b9a59bdea8","datavalue":{"value":{"entity-type":"item","numeric-id":5048942,"id":"Q5048942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73de6bffb5a187642b467ffb501d59d056e5b1e0","datavalue":{"value":{"amount":"+0.8069452047348022","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":"Q1365677$8CB48FE9-89BB-4F4A-A577-04C19D20671E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding true concurrency equivalences on safe, finite nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_true_concurrency_equivalences_on_safe,_finite_nets"}}}}}