{"entities":{"Q5739363":{"pageid":7768915,"ns":120,"title":"Item:Q5739363","lastrevid":52576007,"modified":"2026-01-23T00:37:06Z","type":"item","id":"Q5739363","labels":{"en":{"language":"en","value":"Sound and complete axiomatization of trace semantics for probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603858"}},"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":"Q5739363$102DA2CE-2147-42AB-B6C7-DA207ECFB997","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1dd37d91c494147d8d876cb518c62a9b615bd72","datavalue":{"value":{"text":"Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739363$84D9624A-0C0C-45D7-83F6-D38AEE834263","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58c1963c4315514abf25dfa545c75f8d2d48ddf4","datavalue":{"value":"1342.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739363$5A49506F-CF7E-4B63-84E7-BA946FE893FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$14D7AE19-A671-4753-AA8F-B0A047F94235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faac90b189d470d059fb0f0202403aa6361966c3","datavalue":{"value":{"entity-type":"item","numeric-id":549173,"id":"Q549173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$2409D351-E2FF-41E1-A6FC-4F60EA3FD231","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$62BD44AD-26F3-428C-82B1-FF88469A4019","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78adf6e76276ee5d7f342d12b99cf64bd7a4e40c","datavalue":{"value":{"time":"+2016-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739363$1A6CC4DA-EF66-4D81-A1EE-B4C2EB1FA6C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739363$CD13095B-A1E4-44DB-A357-8EDCDD7BA77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739363$6685A00A-9A64-4147-8921-C092E0FF37FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739363$003F2DAD-7F86-40D4-B932-01A3F2366041","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"754658cc30d9e52f50562a295fcbf01a0b38a2d8","datavalue":{"value":"6603858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739363$6FFCB8F5-96B6-4129-AF29-09056A974276","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40971f5033e11f76c9ec957ec1402dd595b290ad","datavalue":{"value":"probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739363$C0BBF1A3-3D4F-4C0C-B6C0-2D3C7CDE23B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739363$BD8AC107-B4F0-438B-A8CB-A581E64401DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739363$4BF7452B-4773-4F76-BA2E-25F15A65EF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739363$DDE5C8FD-1CCF-49E8-B810-CAC707AE9962","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"723cb8cb54de15efdef641b9b4c03b4d4bf3df1a","datavalue":{"value":"Q113318218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739363$2ABAA24D-104E-4570-BAE3-0CB2C11823D1","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":"Q5739363$1E1F62B8-176D-47DB-87D7-43F2291A396F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db9f7f97c3325b9db1e2252182c09efd35e438f9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.09.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739363$95FFD468-AF73-48C8-BC51-57D54ADB7160","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ffebdf8e2086efafaca8ea76e05938fe364e434","datavalue":{"value":"W2163723056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739363$4FFAA352-0E03-4EB6-B554-1D71196C0FC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$F211A233-856A-4F5F-8B77-89FBE0B73FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6b7d32e3b50e59e9c3b73a59e4633639d022f3","datavalue":{"value":{"entity-type":"item","numeric-id":2946691,"id":"Q2946691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$E1A56F74-C1D1-467C-872F-37A3ABC22A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93947ca386e1340f95266ffd5766dab3c361aee8","datavalue":{"value":{"entity-type":"item","numeric-id":859832,"id":"Q859832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$9E6E014C-03BB-4677-B9ED-39B78C38F3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7cdcf6035824748a91c6194709bd05dc904048","datavalue":{"value":{"entity-type":"item","numeric-id":999266,"id":"Q999266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$E61B7834-D51C-400C-BCA9-022D2C7D920D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$30F795E2-11C7-4412-B93F-C0B4B60503CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"179c0b6962190b8ad4dd7f09ad71bc7a41594b70","datavalue":{"value":{"entity-type":"item","numeric-id":5757938,"id":"Q5757938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$793F1F8D-534D-457E-96F3-BA342D8B3A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faed41a247bd69339f207eb893ee9beb58f308d8","datavalue":{"value":{"entity-type":"item","numeric-id":4075064,"id":"Q4075064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$5FD81477-8A72-4A6A-8662-1B25EF68EC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$11D48E79-4814-4661-B781-BD3DAD171382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$796EEFF7-1024-44ED-8CFC-B056BAC627D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b06465acfb77d3eb78894f033bc3d30f6a01b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5890064,"id":"Q5890064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$DAE62669-20B3-43E9-88E2-FEAA3C86A686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e434a96053d306ffde38531d482a7680b20de8a","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$DEE74DA4-82F9-4F4B-BD8C-CD45E22C3D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d016235ebb01d31250876b3d17d640c533c391","datavalue":{"value":{"entity-type":"item","numeric-id":532394,"id":"Q532394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$48FD7589-8670-45E4-89ED-0BCF89ABBBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a04f2923cb60b1d38acdc06d7cbc43779b1e66","datavalue":{"value":{"entity-type":"item","numeric-id":5739363,"id":"Q5739363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$6434B43F-3FBB-4A4B-8EE5-0BE7D64AD356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739363$8489DC52-B382-489A-9388-83102E7DAF86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a9e960ffb715b3b852a6bbaf9258a430eeb39fd","datavalue":{"value":"10.1016/J.ENTCS.2011.09.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739363$F24478F4-2B1A-47A3-9E3A-D7693859F38E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bb4ed81ba1fb98534d8d1df9123892cb6fd9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5089615,"id":"Q5089615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e7f52e8480d204018acc39ef89e2f4ffa03817","datavalue":{"value":{"amount":"+0.8198661804199219","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":"Q5739363$3581E234-D7CB-461E-9DF8-F94686A771FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98f4f5601711e9682e4b03355c64db8a06e5a7","datavalue":{"value":{"entity-type":"item","numeric-id":1798789,"id":"Q1798789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02450d8b1b9c759a38f9a2d5af1fbde757328ddc","datavalue":{"value":{"amount":"+0.7753455638885498","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":"Q5739363$BB5B5B46-89E4-442D-A618-82806015E771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b162a9f0ad2fee6d52d225eb9af6e82ca2d643","datavalue":{"value":{"entity-type":"item","numeric-id":615236,"id":"Q615236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf5768b93b7408709ed7f001618d017e1a18e21","datavalue":{"value":{"amount":"+0.7614251971244812","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":"Q5739363$C9C99444-1EC2-4C22-AC20-5B7C528000F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ddbca50e3ed88ed87b84a991e5be38ebbdfd45","datavalue":{"value":{"entity-type":"item","numeric-id":2912693,"id":"Q2912693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e001f33ee82832c051624a6f63414d5e01790b","datavalue":{"value":{"amount":"+0.7537602186203003","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":"Q5739363$249DB5E6-B806-44BD-89C9-41D06D715A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45758877ff6b9fbd5a5dc26b561b3177d4ffdc1","datavalue":{"value":{"entity-type":"item","numeric-id":2871468,"id":"Q2871468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e3dbf54180b9277dd02740358d189774238af4","datavalue":{"value":{"amount":"+0.7513890266418457","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":"Q5739363$7EA883B6-BD75-4375-81D8-C7531C9A07F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739363","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739363"}}}}}