{"entities":{"Q3605466":{"pageid":5635372,"ns":120,"title":"Item:Q3605466","lastrevid":90492350,"modified":"2026-06-04T20:24:46Z","type":"item","id":"Q3605466","labels":{"en":{"language":"en","value":"Modelling Divergence in Relational Concurrent Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510233"}},"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":"Q3605466$041BD025-99CA-40ED-BAE3-85C7507F1D94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"680ed0b30777dd01c1c499d6a65bf51f1a1947d9","datavalue":{"value":{"text":"Modelling Divergence in Relational Concurrent Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605466$EF074DA1-089F-4F56-8A71-AED00B48F699","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45e29502ba85d01d5efd5b4c4b075c84b0c4dfb0","datavalue":{"value":"1211.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605466$D4C28DEA-51B0-4396-9CA7-E9AA9317A06A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72b9eb35fa8af2e43ffcfdd5ea24499144c48422","datavalue":{"value":"10.1007/978-3-642-00255-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605466$9E3AF9AD-ADE9-427D-B2A5-4E0CA15CA6BE","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":"Q3605466$5D5C6337-DF95-45DF-8257-04C5CB0CF8EF","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":"Q3605466$2198626F-4732-464A-A6D6-A613388279C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605466$C70585D4-4CDB-45D3-BBFF-9CF5C1C1D3E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605466$F8AAB3BB-CBE6-4972-ACEC-D1EF51FBE2EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605466$9D0C0954-9449-48F3-B65D-9278658A6A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605466$75548B7E-E5BE-4531-86BA-D6DCE00E17C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0eb187c574b3aee4df9000abfed4064b3041347","datavalue":{"value":"5510233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605466$666A3797-FBE5-4A61-91EC-598773EF3CB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605466$746ECD86-DF4C-4EAD-A60B-99A01A98612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605466$86F2068B-894A-4228-966C-1C671FD5B64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61572564f2d51f7cced8f37f5b8201583518fe8a","datavalue":{"value":"internal operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605466$E4ABFE9D-7D3D-4BBC-BCF7-3170CCBECA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e2b89c551e9cf1ec5b161afb208f4c3db1dc40","datavalue":{"value":"process algebraic refinement preorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605466$893991F0-074B-456A-9312-A34CDC6BDA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605466$F246EE53-01F6-46FF-B554-339DF028AAB8","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":"Q3605466$F0E92781-5960-4F88-ADF8-F44538C37EED","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":"Q3605466$3DE8BC1E-238E-4429-90F9-3A215A445965","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":"Q3605466$26CA1245-2B18-435D-988E-ABF451448114","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79f65ffb4cef7536e0d528dc1f9a953b062acc9c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00255-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605466$6A6D6371-181A-473D-BE4F-75CACFF13903","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6f8c57d8292cf8a19c88aeea02305459579c000","datavalue":{"value":"W1588227792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605466$29586BD9-D8BE-4991-A30D-1EA7389B20D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605466$083D9CBB-6280-4E6C-9BA4-C7AA429E773F","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":"Q3605466$E022FFAA-AD48-47AF-BB71-F9DFFD6C734F","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":"Q3605466$E70B4B74-43F6-4317-9651-699C90C90700","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":"Q3605466$17840B35-B4BD-46EF-8414-9F8A33A7DE02","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":"Q3605466$F737F487-22B1-4AEA-B9A3-9830CA161CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605466$AD663D71-F531-493C-9FAC-8A30B93C624B","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":"Q3605466$A96A7EDE-2231-44A4-848F-3257D8664B9A","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":"Q3605466$A3581B87-4EE6-4E53-BF86-155B7125CADC","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":"Q3605466$978F444D-B151-4C7E-8D1F-6A2A8F3AB8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33330733a5a384fd3143828d072978f325fa1f98","datavalue":{"value":{"entity-type":"item","numeric-id":5403469,"id":"Q5403469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605466$3B28D074-4A16-4A72-A024-613D41999EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"317637a63ab9585f445be81776096525ae697366","datavalue":{"value":{"entity-type":"item","numeric-id":1272761,"id":"Q1272761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605466$6F0F35E2-8692-407D-A8F2-8F7151637A1F","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":"Q3605466$51A28E75-36B7-4533-A166-0834AFE06791","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":"Q3605466$963FEDEB-BB63-41A1-B188-2E2DBB391ED5","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":"Q3605466$F0B52614-C9AE-4AE9-BF10-A5048F8160AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b990987646964abac11e3e2c0c4b5cc7c7b0913","datavalue":{"value":{"entity-type":"item","numeric-id":1112600,"id":"Q1112600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605466$1E383CFE-623B-4D36-A49B-7F86B95AACB5","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":"Q3605466$4C1D899E-2652-41CA-82BA-104364AC85FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad957840de1432ebbd987e2e1da316564d89fae","datavalue":{"value":{"entity-type":"item","numeric-id":4270078,"id":"Q4270078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605466$340CD82B-0DD4-4AD2-884E-C10FA2C3B3C7","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":"Q3605466$9E1D379B-FE5D-47A1-9123-7BAF242C8005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2ed2124bb3cbda3e55ecc972b9fe8ca054e225","datavalue":{"value":{"entity-type":"item","numeric-id":5709378,"id":"Q5709378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605466$92DA17F0-12F2-4ADB-94F1-A647E3128C27","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":"Q3605466$B1C3EE8D-EA0C-47F5-9705-780783621713","rank":"normal"}],"P1643":[{"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":"a0ae3233ec6e5dba8067d718dedf7da37ef72e68","datavalue":{"value":{"amount":"+0.8478986024856567","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":"Q3605466$16203021-F9B1-4B26-AB9A-E81348FAE735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08f04dc3322f523864691f117efa09588a6e53e2","datavalue":{"value":{"entity-type":"item","numeric-id":1019018,"id":"Q1019018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa13a14f5f0454edb0733ffc5395854f398ca48","datavalue":{"value":{"amount":"+0.841163158416748","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":"Q3605466$BA7737A5-ADC7-4C64-A116-29A58699AA98","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":"d18c9040494de79a4df80c387687d60d45e2102a","datavalue":{"value":{"amount":"+0.8360893130302429","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":"Q3605466$227CB29A-2773-48D5-8B40-9E479612746E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3d204268d0bd91baa83a228e6e789ffa5abd07","datavalue":{"value":{"entity-type":"item","numeric-id":5403469,"id":"Q5403469"},"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":"Q3605466$19FA22B6-45D4-4C23-AAA6-3DC842E926CD","rank":"normal"},{"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":"17250b39d2232ba36cf26184332a0188557b391c","datavalue":{"value":{"amount":"+0.7926905155181885","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":"Q3605466$33738600-43A8-47FD-882D-E546970A1FF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modelling Divergence in Relational Concurrent Refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modelling_Divergence_in_Relational_Concurrent_Refinement"}}}}}