{"entities":{"Q689293":{"pageid":691142,"ns":120,"title":"Item:Q689293","lastrevid":47204620,"modified":"2026-01-01T00:13:49Z","type":"item","id":"Q689293","labels":{"en":{"language":"en","value":"The poset of infinitary traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 445059"}},"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":"Q689293$5AE4FB9D-DF43-4327-85E7-B37B42588924","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16284e4af16321944eaca2b97f53aa299ed1ab85","datavalue":{"value":{"text":"The poset of infinitary traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689293$E697F050-A08F-45B0-8602-9F42413420CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4acea532b81e0cb80fbeefb0cc0dd74e27cc740","datavalue":{"value":"0787.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689293$87A1FA01-BA42-4DE1-B44E-E66EA7A06658","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"689167ae1f496f6fdee0c6862e9cbba70592b1a1","datavalue":{"value":"10.1016/0304-3975(93)90247-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689293$CCA2FF10-1E1F-4C29-8020-1004DFFB2B61","rank":"normal"}],"P16":[{"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":"Q689293$0A4AA73A-E8C3-4D37-85B2-30F7B3EB2E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77614b200ef43fe11dc5e2ab030e72091b1a69","datavalue":{"value":{"entity-type":"item","numeric-id":689291,"id":"Q689291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$065CA2CF-7F0A-4CFD-B3F6-C894F36EE58B","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":"Q689293$BF50A905-EEBC-4738-9FA1-FD3314C454DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689293$4432CC69-82FB-4D1F-8AC0-E8E50767468E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ad9955efce2702aa2757db97607cc8edf3a4777","datavalue":{"value":"The concept of partially commutative monoid (or trace monoid) has been extended to include infinite traces. It is shown that, similarly to the finite case, infinite trace monoids are strongly related to partially ordered sets, domain and event structures. It is proven that the set of finite and infinite traces with the prefix order is a Scott domain and coherently completely prime algebraic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689293$0936BFCA-F1B1-4690-8EEB-D9B4405A84A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3cb322112ae56aec500b334b7351f32fb107365","datavalue":{"value":"68W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689293$69B41F5F-F49E-4746-8995-2B7639426400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689293$51297F70-AACD-40A4-B3A3-78A29BB4A92A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e54e33b14529108de2eb83225969cfad9bf0c37c","datavalue":{"value":"445059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689293$933FCA43-31A4-4231-B139-EF928A679B5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e9f656524a92c168dcbacc116e00ba0356ecadf","datavalue":{"value":"partially commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q689293$820C64CD-521F-436D-91E5-FF0EA5E62C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e54f0fcca86d22578fde7c7afa55151c5a5352","datavalue":{"value":"infinite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q689293$7932389F-C532-4C80-A492-DCFD257ECC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q689293$7959A300-B981-4DEE-BB97-0BB9879F12DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b55d4f730b0fff93049489e5af079180da36a13","datavalue":{"value":"domain and event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q689293$0BA11D4A-384A-4116-B423-DD4D171888AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bff1a6a101ed9457c5675a03afa059c71740e9","datavalue":{"value":"Scott domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q689293$D944F62A-30CB-4F0B-A64C-9B7215FC14D0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ef154828838154f55171333cf59109f6242d31f2","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$EF52FF1E-3CC6-4B5A-9323-96C434CB44A9","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":"Q689293$1BA8A739-E08E-46D8-A506-4A9222E333FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3f3d4284f29707c15dbffe01b4356eafdc3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1107296,"id":"Q1107296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$5F1D2792-1A60-4213-9193-50FA08C7620D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606a1ba0b25e8d1bacb0f033a5b4ac81479cf171","datavalue":{"value":{"entity-type":"item","numeric-id":1157971,"id":"Q1157971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$1FF22BE2-89DA-4581-927F-5B88A4F0B080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faab8babb029dc7335ecd88530e82e9dd8530a8d","datavalue":{"value":{"entity-type":"item","numeric-id":1186604,"id":"Q1186604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$7955633E-457B-4623-9A65-E5D6098AE339","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":"Q689293$6B029A8A-C0FB-4572-9891-2CD76A06D2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f455dca8cf9d0b4f1efda8f122e8e3725f6bded6","datavalue":{"value":{"entity-type":"item","numeric-id":4733397,"id":"Q4733397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$EA62E190-8959-4B66-8223-51D81A41CA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$D05BC433-AA66-4214-ACD2-17E5B3DB05F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d33f258e45d3be8f88444553b07200742546804","datavalue":{"value":{"entity-type":"item","numeric-id":3657423,"id":"Q3657423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$2453FA11-7EA8-4E8A-9402-EB31F94A4E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3224b3ee4e2065842acb7ecef1d84c9102fafc","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$5E73DE4D-BBFD-4DF5-8A98-108A3452BFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf863f54a7b5b61ab2956c2c67d3998a92fbdef","datavalue":{"value":{"entity-type":"item","numeric-id":4035661,"id":"Q4035661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$92E974EE-45FA-49F2-A633-3EB904B3061E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$DC6F4B98-8828-4CC1-B751-BAFF142EE24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc685e2f4a2404bd86015021f25348be4f2eed04","datavalue":{"value":{"entity-type":"item","numeric-id":914365,"id":"Q914365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$8A92682E-A9B3-484B-8CBB-449C53AB3FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f0fcb34bc14db9e31435b24f5733f70168f374","datavalue":{"value":{"entity-type":"item","numeric-id":4035660,"id":"Q4035660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$4EAA5452-FC77-43F9-AB1C-A1579A5F72CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a6c071c6e2d18eb21a8b04c6da14687ed1a771","datavalue":{"value":{"entity-type":"item","numeric-id":4036568,"id":"Q4036568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$4F4F9DF6-C788-42B4-9229-8EE78DA9511C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d0c0414f31a6b3576fbfd0d45b9a6a5da110cc","datavalue":{"value":{"entity-type":"item","numeric-id":689293,"id":"Q689293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$3FEE7EA7-2227-4A40-BA22-3C9E1657B747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901701966a3f720569546cf5478278f378e3cb73","datavalue":{"value":{"entity-type":"item","numeric-id":3746904,"id":"Q3746904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$1D8E64F4-F148-45F7-A9A5-370D776A7068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97a70b43971e16830c739a7218a89c43f2b2a45","datavalue":{"value":{"entity-type":"item","numeric-id":911785,"id":"Q911785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$823075E6-F1B1-4650-9F91-F68F8F63EBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$FDA611D7-2AA8-4F07-A5C5-76B79AA37B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$F1641DD7-4A87-412D-A8E2-7EFA8D932313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3b2dad008e8798709d54196e1a1032baf80921","datavalue":{"value":{"entity-type":"item","numeric-id":3698327,"id":"Q3698327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$3DAF858D-A485-4757-BBCB-13543AB53FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12550e88f7a4ec578bb5b96ede421ffa2af26f","datavalue":{"value":{"entity-type":"item","numeric-id":3330542,"id":"Q3330542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$2E8CDF99-0851-4D5E-8284-0128C0FE6665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a60469c8661fabd3fed40dcf1d2ee142fff7fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1183599,"id":"Q1183599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$37E152FB-B51A-42B5-9AC8-5159FD84E1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$B58D76A4-979C-4F8B-9900-EC06C6D9A31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4982176d32c657b9142034cac8bd7d98a62ddc6a","datavalue":{"value":{"entity-type":"item","numeric-id":3742725,"id":"Q3742725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$6B7BA4A1-BA58-4A6C-B68C-C3F276B4163C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12113c52b3127249cd98f6e5578d7e039662dec4","datavalue":{"value":{"entity-type":"item","numeric-id":3683531,"id":"Q3683531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$44DA274F-128E-4354-97B8-A548ED0179AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689293$2D4F6D32-A089-4684-B964-A6790EED4CC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4a91a5d3333a9aa1b93c1fddf78f59d72762c8","datavalue":{"value":{"entity-type":"item","numeric-id":2736356,"id":"Q2736356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560614fb86965b3e8a4b1a1ee0226f9bbdcc0dd1","datavalue":{"value":{"amount":"+0.7960443496704102","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":"Q689293$E7E6B7C8-669D-49C5-9109-92C4D496D448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076d41287a700c6ce074537f031b55cbe0c90e69","datavalue":{"value":{"entity-type":"item","numeric-id":1568667,"id":"Q1568667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fedc986c347e9135121c0e7aacb180aa3ef49c0d","datavalue":{"value":{"amount":"+0.7938726544380188","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":"Q689293$084F3B14-A83F-4296-953F-3644FD6E18D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9998174167c2a1042d94a1d8efb9a123c057bd","datavalue":{"value":{"entity-type":"item","numeric-id":4035661,"id":"Q4035661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fedc986c347e9135121c0e7aacb180aa3ef49c0d","datavalue":{"value":{"amount":"+0.7938726544380188","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":"Q689293$0415E2B4-E72A-44C4-937F-9CFF01545498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68545aa05306c715816ffc8d85c1129d90865792","datavalue":{"value":{"entity-type":"item","numeric-id":5096837,"id":"Q5096837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7858d3f8887423cae85ce6bf56b8d88c542b67","datavalue":{"value":{"amount":"+0.7923858761787415","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":"Q689293$91F97A4C-95D1-4042-A075-A3A0D50A15D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a599109430a8cd70187866a200a9a45516e84a","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4519949648f4cffe9ee4a058855150045655fb","datavalue":{"value":{"amount":"+0.7851478457450867","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":"Q689293$653427E5-A129-41C1-A8E0-848F8876972C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:689293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:689293"}}}}}