{"entities":{"Q2490814":{"pageid":2501557,"ns":120,"title":"Item:Q2490814","lastrevid":49833601,"modified":"2026-01-11T03:52:20Z","type":"item","id":"Q2490814","labels":{"en":{"language":"en","value":"From local to global temporal logics over Mazurkiewicz traces."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5024251"}},"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":"Q2490814$8FBF0A36-6D9A-4FE2-A7AF-B1B4FECF0561","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20d6570dcb4c55a3b755d702c7367b4f384a3dcb","datavalue":{"value":{"text":"From local to global temporal logics over Mazurkiewicz traces.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2490814$87382433-6FE4-423B-92F9-B250B78FB17F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9627dc9c55b86d07c48a02bd5ce8c914d46993fe","datavalue":{"value":"1160.68574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490814$021771D0-2CE1-4428-B6B4-752E82C0327A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c83c28843efefafe1f80734e19c2e6ff309a9c","datavalue":{"value":{"entity-type":"item","numeric-id":213104,"id":"Q213104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$788FAB60-943F-4EB3-8CC8-E8543E5B194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$00BF8D34-A42E-42AC-938A-11D1332DC542","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":"Q2490814$01922A50-C090-462E-9AF3-A1BC6ECD6D1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5968708d4ed73ce47408e9a3ef16d1588956e095","datavalue":{"value":{"time":"+2006-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2490814$93C822CB-632D-444F-8D0C-3B0A3E8B0DC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490814$7D9B6234-5C14-44D8-B873-97AD851DB7F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac883ba66eafa3f032b31c0e7aa21a195a3c8756","datavalue":{"value":"5024251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490814$EDF8B7AC-533C-429C-9E65-5E0C7DE63231","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490814$3C6FD2DC-820C-4A2E-AD8F-718F8523F284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490814$D6B56F47-98B1-4C5D-A967-31602CA66F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490814$93C456AE-2D5F-4A7D-B08F-41B707171FFE","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":"Q2490814$54368393-82CA-42B2-9B1D-AD524B18523C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"466da8b0784fac19c1ff3e969b5bbd28b20d6b43","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.01.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q2490814$35ED4FA0-1863-4844-A623-2419935A7B0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5636d76e77fcd8e56bef9ab9323c7b74e603a4d","datavalue":{"value":"W2147311182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490814$B63C9C29-01BF-4D6D-80CB-2BDC60A1B5E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"939096901dcc84a18ead69a18c121f4b42626e35","datavalue":{"value":{"entity-type":"item","numeric-id":584429,"id":"Q584429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$7AB260BD-D4F3-4C4D-9674-D1E496D0603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f97bc8ea1d74e3d8b0c2ca246e35bffa3f6dc1","datavalue":{"value":{"entity-type":"item","numeric-id":1308983,"id":"Q1308983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$EF8F3BEB-E43F-490F-910A-DB0DE8FB065F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f1da083c4a78a7c3d14a5f8a2acf6cac741495","datavalue":{"value":{"entity-type":"item","numeric-id":3772414,"id":"Q3772414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$354D9B42-B396-454F-8EB4-C73072A256FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ea5242625af22cf8e0354acf558712dba9aa19","datavalue":{"value":{"entity-type":"item","numeric-id":1297486,"id":"Q1297486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$5FC87459-F10A-4701-A55A-613C9C43A4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc3f38c5bf7c1cb394d28bbebbbbd065d9bfbb0","datavalue":{"value":{"entity-type":"item","numeric-id":4850330,"id":"Q4850330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$8E878E0B-AE59-409D-BEB2-9845EBB615F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cbcb19086ff4611752d8034078516f9ad64772","datavalue":{"value":{"entity-type":"item","numeric-id":1608324,"id":"Q1608324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$D24883E6-3854-44AA-AA8E-62459FEF77BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334eca2254c13439f2f5ebbc4f44912929ac4e60","datavalue":{"value":{"entity-type":"item","numeric-id":4738286,"id":"Q4738286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$35A83F8B-D001-4844-A194-4138E245FA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0adcbbc104cffbe764c43bd7551451ab5a24a49","datavalue":{"value":{"entity-type":"item","numeric-id":5901643,"id":"Q5901643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$14A5362E-B691-4F44-ABB0-AFF4AE4E46D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d82147a59885a4bb491b402567e198ff80dfb2","datavalue":{"value":{"entity-type":"item","numeric-id":672860,"id":"Q672860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$9C315B17-FCE2-4460-BD90-BC960E4755D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5267a6253867a8850f88301d5f8f0ed3681b6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5900568,"id":"Q5900568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$9D11F6CB-E832-464D-BE36-2CFFFE4E06F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c963b43b0571f92434f59a81d5038f254e0414aa","datavalue":{"value":{"entity-type":"item","numeric-id":1193878,"id":"Q1193878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$95B18EFF-1158-4D4C-9317-F4C5E0E98155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac5a46180e1dc4f153e26635681df86ec98c676","datavalue":{"value":{"entity-type":"item","numeric-id":5180826,"id":"Q5180826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$5AC867B7-AFCB-449C-B216-39709D34FE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$8B597779-B14D-4714-BC1A-7E170EDD8CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7492b50c2c62ca06bcef461e4c0f10be464157","datavalue":{"value":{"entity-type":"item","numeric-id":4375802,"id":"Q4375802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$9943D503-0B38-4ED3-9C20-C455E93C8E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e953677c16c99f1b27f28a0a3a445d631135e9b","datavalue":{"value":{"entity-type":"item","numeric-id":3569046,"id":"Q3569046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$27640B6F-7A5D-407A-A2E8-51DB4E7A390F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f0776cd2bb279a937717661bfaf9e8326ea413","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$DADF71F5-1D3B-4A5C-B127-9B4D2D4537F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a091fa96805ee8cc47c29cf15da844810699fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$1C9B58F6-6D4C-4D1B-A7C6-7E80C04CF5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9256597e479262f5da622146a6ab57b4f455a5aa","datavalue":{"value":{"entity-type":"item","numeric-id":4219025,"id":"Q4219025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$9B5AFE22-1AA2-4507-9D60-F83C1C8C6E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d8fbcb60461926596646d10e457e80159cd74","datavalue":{"value":{"entity-type":"item","numeric-id":4807834,"id":"Q4807834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490814$2C52DE87-63C7-494D-A20B-EA32AF2F061C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c29f9019fff092e314faadcb451400d6ac7b27bd","datavalue":{"value":"10.1016/J.TCS.2006.01.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490814$84F86D11-4924-4D73-90DF-9DF0F4F46AA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302818a0ff3c7d3ac0ad0a594ca583049505ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5901643,"id":"Q5901643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ead9d90b42b7b8449ef9f80a007ffd1296da7cc","datavalue":{"value":{"amount":"+0.890464186668396","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":"Q2490814$1310443E-7A5F-4F79-934F-BBF0A406B92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5ee4bb34c42a89852a79509c5fde9f66f6a3d6","datavalue":{"value":{"entity-type":"item","numeric-id":859824,"id":"Q859824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11fd92f9bebf963b33fd5a675febf050916d45fd","datavalue":{"value":{"amount":"+0.8804338574409485","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":"Q2490814$222594DE-A671-49DD-BC41-1D558CA4F8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771c17044fd2d01bef082de82391d70331d1a4e8","datavalue":{"value":{"entity-type":"item","numeric-id":4737221,"id":"Q4737221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0254b1a7ecd714a7e212e89c7a9bb6827749742","datavalue":{"value":{"amount":"+0.8775590658187866","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":"Q2490814$7AF37520-3A93-4917-AF0B-306CE59CDCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49cb831dd1a8963d71b4d4bebc926274e5c21127","datavalue":{"value":{"entity-type":"item","numeric-id":4375802,"id":"Q4375802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d3e9cd8675a88bddb91cdf0a8a07a6960ef90d","datavalue":{"value":{"amount":"+0.8611723780632019","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":"Q2490814$8956220A-F187-4C1A-B174-E2AE3037EB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de5f0e5fde522452477201cbb3bc1cdb43843d0","datavalue":{"value":{"entity-type":"item","numeric-id":5431330,"id":"Q5431330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbe71a9f741c5fb84d271c06b1ddc3fe9fddd88","datavalue":{"value":{"amount":"+0.8464884757995605","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":"Q2490814$E017D8EF-CFE9-4AB7-AC46-D4F0353E50FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2490814","badges":[]}}}}}