{"entities":{"Q5403469":{"pageid":7433043,"ns":120,"title":"Item:Q5403469","lastrevid":75508879,"modified":"2026-04-19T07:42:35Z","type":"item","id":"Q5403469","labels":{"en":{"language":"en","value":"More relational concurrent refinement: traces and partial relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274302"}},"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":"Q5403469$045105EB-C1C7-41B2-ADC3-C97BC7BF3A24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85d837cd06f032a9ace97122d382f84701969023","datavalue":{"value":{"text":"More Relational Concurrent Refinement: Traces and Partial Relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403469$D220AC6A-9C50-41B4-BB04-F59BBEFBA46E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14205c585b751a0bb1b91a2435bca52bf5e73c03","datavalue":{"value":"1283.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403469$B7D25BD5-9CE8-434F-8D73-E6DC8C5E55BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$A89B9461-EBDB-444A-94B1-09F4C9DC064B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1bbd7b0f1716022bdd3bf8a6eace09ad2456ca","datavalue":{"value":{"entity-type":"item","numeric-id":1193745,"id":"Q1193745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$32FE272D-9C49-4692-887B-0DE797416189","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":"Q5403469$082F1775-CC75-4F07-B1A9-02D30404795D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c143ccdb05c90aaaa52d92c2334883df4c472b19","datavalue":{"value":{"time":"+2014-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403469$438BC60B-68C6-4E3A-8AA6-281FB98D62A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403469$8A19110A-FD1D-4B6E-B67E-9C46EF5E5C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403469$7115C789-426D-4C0A-9A63-6AD9FE230DED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddf3bef536152c4c9a766b0cf811347b3a13421c","datavalue":{"value":"6274302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403469$9C3709C0-A367-43CD-9FE6-5E69E6CEFB58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403469$18183CAA-7AD8-4DA5-A180-4DD63AB5FD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403469$3AEBAEC2-534E-4C48-834F-9148871F5A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403469$5B8495DE-BE43-4E20-8097-0997C7C12FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e2b89c551e9cf1ec5b161afb208f4c3db1dc40","datavalue":{"value":"process algebraic refinement preorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403469$4B4C765D-7034-4250-B9F2-A5A49AB1DE41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$B76BCAB4-EA16-46D0-9C03-A14DC36CC5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$B6ABE2C2-DDBE-4C46-B62E-3EC776E859EF","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":"Q5403469$B9C36915-3EBA-4D22-BF89-EC29D36F9322","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bb0a6b4eeadefcd1ff5a803f1f90bd9f435c100","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.06.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403469$52A5E091-7F80-42E1-89B3-99DE8000B66D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f5d86490a895b9fc783f59c2ee7e6dd34373bf9","datavalue":{"value":"W1994784021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403469$096E587E-160B-4F37-86C8-A182B2E02846","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ebd97ebad7f6b6543ac93ba5957bb5f6f50160","datavalue":{"value":{"entity-type":"item","numeric-id":5703804,"id":"Q5703804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$8B0588E6-82F9-4F2A-845C-2CF25D7E2B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$B1A7AEEF-98FB-43F6-828D-A29498B4CA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6647e9539622a4f6610617a3b7c32cac781160","datavalue":{"value":{"entity-type":"item","numeric-id":608349,"id":"Q608349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$F11853DE-283E-4E25-8F1F-73266F706232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c1064387c1f8691472d4543fac41a25f867c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1019018,"id":"Q1019018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$014FB878-B8F6-4043-85B5-B34CAD99735F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186b08458c2e01a792cc01193f757909785e71ec","datavalue":{"value":{"entity-type":"item","numeric-id":2844822,"id":"Q2844822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$169D7E65-3A70-48D0-A375-6E6C5DFC835F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d442c4112067361db0e215cf79dc0d9bbd8159","datavalue":{"value":{"entity-type":"item","numeric-id":4737562,"id":"Q4737562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$A024E45C-BBEF-401F-B27A-D68A90D3CC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41784b41e82c7d8df17e662f07c318e13e61df41","datavalue":{"value":{"entity-type":"item","numeric-id":2432234,"id":"Q2432234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$8215E7ED-B04F-47E9-82F9-A3199B899CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e48d73179b7de11780ad81fa2d86fc066648eb","datavalue":{"value":{"entity-type":"item","numeric-id":3992422,"id":"Q3992422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$39EF86D5-1F91-420C-9BCE-93B34127C294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623619071b024e7792bffe623a1f704ecbe967ae","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$F4561A13-9CEF-47FA-A2BC-74F6832A4575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$E47CAD7C-354D-4253-8FDF-10EB3CD8A231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388c5e3abed55eae8db7886420a364df03aca78f","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$E645FF54-B69F-495B-96ED-826BCABCFDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a73e45d8a02c02a1a7e4eee577edcddc70f907","datavalue":{"value":{"entity-type":"item","numeric-id":2724177,"id":"Q2724177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$787EDBBC-EDF8-43F5-931F-9D44466AED28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643c9519505ce70f954afc2ea3c543e896e9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":578901,"id":"Q578901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$F940BEDC-7292-4854-84A9-177FE6B05CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a080b074196bf11d4837ba9c75e22e80835817","datavalue":{"value":{"entity-type":"item","numeric-id":3713577,"id":"Q3713577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$0651F6AC-826B-4484-8538-A65DF54FD3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$41E61768-6B13-4A6B-B004-32B26BA09D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd83fcebabf53ca985bbb64be66b5356ed9cf5e","datavalue":{"value":{"entity-type":"item","numeric-id":4028627,"id":"Q4028627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$65449DC1-EB31-45E2-B612-7489454C91AB","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":"Q5403469$049C5AEC-C648-46B8-BD70-E7ECB750910E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4108f1f226ed034922bb61db85c2ec4f3f65aeb0","datavalue":{"value":{"entity-type":"item","numeric-id":931436,"id":"Q931436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$F13259A7-DF4F-4B47-8822-934A4A7F549F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$BB223234-77FC-4660-9463-2ABF73D5D824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403469$D2B53E6A-67D7-4C59-835B-EAB6B82ABD48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d994d133a4736df3a71843beb6529a9a3d73800d","datavalue":{"value":"10.1016/J.ENTCS.2008.06.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403469$B6778468-23D1-4B91-A12A-5C6DC2B6E979","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb5b5d019d5a43135be6d07455aad401149ece6","datavalue":{"value":{"entity-type":"item","numeric-id":736917,"id":"Q736917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c8e37223b94b43ec37cb9f5796887c4a7e3567","datavalue":{"value":{"amount":"+0.9516069889068604","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":"Q5403469$75AABFA0-9B1F-4FCB-9E44-4D0816994DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"815382c23cae08035671df1e1793b53e9e019885","datavalue":{"value":{"entity-type":"item","numeric-id":2994488,"id":"Q2994488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220a66d21fc3e6e8b910a7bd218922758f1054e1","datavalue":{"value":{"amount":"+0.904466450214386","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":"Q5403469$9A99871D-FA82-473A-808D-872050D8D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493cad6f3de1d42c53b0c3cf7ee8b567ee64dde4","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8194ba569a6fe3a56475cbceff107aa0df61117","datavalue":{"value":{"amount":"+0.8849987983703613","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":"Q5403469$76E2AF82-2A87-4A9A-B150-507DBD195E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f2080ffe7b6af8141029c0c2703ac6b39c5ffb","datavalue":{"value":{"entity-type":"item","numeric-id":2844822,"id":"Q2844822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc7e658583dbbfe6b5127e01a5ab0cba09d667d","datavalue":{"value":{"amount":"+0.8842372894287109","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":"Q5403469$218F2BEB-8BE7-4C1F-AFCD-9AB1D868C695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b82329ef1d544627c99812b84fcf7d02aee0f07","datavalue":{"value":{"entity-type":"item","numeric-id":3605466,"id":"Q3605466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d824a6435291c14978da717869382f1157f12db","datavalue":{"value":{"amount":"+0.8045572638511658","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":"Q5403469$970D0BD6-27A7-4F67-9FE0-17DADC499647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More relational concurrent refinement: traces and partial relations","badges":[]}}}}}