{"entities":{"Q1019018":{"pageid":1020866,"ns":120,"title":"Item:Q1019018","lastrevid":69431043,"modified":"2026-04-13T06:57:08Z","type":"item","id":"Q1019018","labels":{"en":{"language":"en","value":"Relational concurrent refinement. II: Internal operations and outputs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558114"}},"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":"Q1019018$C9AAAB00-B0EA-4F33-A865-705F2123340C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99d8b3b4d71924b02575f2637acf285d4449e6f3","datavalue":{"value":{"text":"Relational concurrent refinement. II: Internal operations and outputs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1019018$F62DA858-DED5-447F-8F97-7C32D693FFF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3f09016204f840227b066b3bf88f0b86811c75c","datavalue":{"value":"1165.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019018$CB1F9FC0-3CE8-4079-A764-72E3BE0C4E5A","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":"Q1019018$4F9C7CA3-8216-44D9-87A7-FEF87EDF4519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$D86A65BE-0A4D-468E-8E5C-DE9B69D00D3C","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":"Q1019018$5D7259D2-4C6E-447B-9CE1-98B6335AB3D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$9C9958A8-4C95-47CB-BAC1-3C45441685F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce65d071e7340c2588abccb76c05f02030105cc","datavalue":{"value":{"time":"+2009-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1019018$AC2E9DD1-7524-496D-B0B7-B9B451AA7F87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019018$EFDC905B-4F5C-477F-B26B-59B6629C7325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019018$84C4F82B-372C-4570-938C-B86F6A1A961D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1508a4df671a6be1814268e8d413acdae9e32131","datavalue":{"value":"5558114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019018$43E44793-2889-49B3-B8CD-C45F85E492B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019018$8D947EC3-8C27-48F2-9B6D-84B5AD5D832C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019018$BDE4C100-8FC6-421D-BE84-AD9DF5C613F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d864e876c9a60e5afd6a3a8a672baa885250d995","datavalue":{"value":"simulations, process algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019018$AE661D5D-DA61-4F09-B3E6-69EA6F5A68E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291c5473307b1b0bdd6c3c1a1869f55a1ec5a7ca","datavalue":{"value":"failures-divergences refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019018$D3C37096-5B4C-41D1-A84B-8494DDEFBEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019018$E0C85443-B189-4141-AD20-735A1263D270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61572564f2d51f7cced8f37f5b8201583518fe8a","datavalue":{"value":"internal operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019018$75F4C370-4D78-4294-B059-73AB40852859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81b6c71130a0abb0f0426996e6d16849ef6647e4","datavalue":{"value":"outputs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019018$C7A2903A-EC9C-4777-B0F6-383DB0B0D55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf15c453b46bd7753fe7e18167d5fbe480bc3a1","datavalue":{"value":"mechanisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019018$428722B4-EDCF-4E6B-9F91-D2FEE5DEEBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"018dc77f56efcc8f5be6946909abc9741fa7d6a6","datavalue":{"value":"KIV","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019018$995437C3-4509-4A66-A826-ACF8892A9B95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb385c6fb44380b06a40402fc65293954318bdb0","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$2726FEAD-D4B8-4CEF-AD86-49FDD8C2E612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$62158FD9-33EB-4EDC-84ED-67FD13D3C496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10dbdc5acbf2573a22c35f16aae307ad18a5ea1e","datavalue":{"value":{"entity-type":"item","numeric-id":4494250,"id":"Q4494250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$9E61AEFD-C4B7-46F1-A15D-96C34C008E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3cefc19e00878c2a1bfebb4d92dcd02aa2fd295","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$11A9798F-E8EC-4C7C-B58D-0937396162A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$27CCE24B-63DB-4244-9B86-5EB109A81BFA","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":"Q1019018$DC8D723C-37D9-4E63-9F0D-94D1869FCFB0","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":"Q1019018$1CAB0C64-7CA9-43ED-89D7-76A2393D46E7","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":"Q1019018$04877E3D-E190-4B07-8C65-0D8EACB81062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0afe23b312c742483b5022f2c4100ff024c46c75","datavalue":{"value":{"entity-type":"item","numeric-id":5200808,"id":"Q5200808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$47D8A0E5-979B-46C6-BB5A-5B2570AE9ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337da47e4082f2a02d5a2ed9f766eb80d6041714","datavalue":{"value":{"entity-type":"item","numeric-id":2847409,"id":"Q2847409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$28061942-ACBF-410A-AC93-EE0D13D924E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63612c513927b7ce1db1e14dfc32eeff5cac75e9","datavalue":{"value":{"entity-type":"item","numeric-id":1763727,"id":"Q1763727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$F51629BB-465F-4C4F-AB36-9CF26F00937B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$E8C1D89B-8CC4-40AD-84BA-567BEA853092","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":"Q1019018$0C4AA0B3-59FC-4F35-8D96-9A6750D35A51","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":"Q1019018$6A7D6955-5DD6-479A-AD5C-483D038F0D2B","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":"Q1019018$EBB1E28C-A71B-4916-B308-1AB062F1CBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1654c4e40ad78f76ab2f2e969742a028eef430","datavalue":{"value":{"entity-type":"item","numeric-id":851133,"id":"Q851133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$EB75EB95-02C1-4ABB-9516-DB586681EBA4","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":"Q1019018$2E4A9023-111D-4758-950D-C5E4A5B89F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36dbedb573273ca09b5bc79ea73d0ac087543cd7","datavalue":{"value":{"entity-type":"item","numeric-id":5703820,"id":"Q5703820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$7589C5E6-FE0C-4856-8B5B-B4AE4F8A9574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61688f3057dea46c184688c59e5d28895fd3100","datavalue":{"value":{"entity-type":"item","numeric-id":911322,"id":"Q911322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$0B35D539-9EE3-4EDB-A9D3-CA303B165C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c285fbac4c0cc6de1d1ef52f1fe4ea0572069ed","datavalue":{"value":{"entity-type":"item","numeric-id":1317426,"id":"Q1317426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$12017AEB-9A40-4318-A9EB-9CA12647E6A9","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":"Q1019018$E981D965-54E4-407F-908B-AF3562E2350A","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":"Q1019018$0C772FBF-F7DE-4D05-9B62-DD19A02323F7","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":"Q1019018$3D142339-431E-4A19-8F3D-79FB7F0796B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad1a6cca27b95e332a2f784b23a5cb646393672","datavalue":{"value":{"entity-type":"item","numeric-id":5484903,"id":"Q5484903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$A03E26B3-2BA3-4B69-BC3D-FBA114BFC3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f20b55cf3bc328f8589f330f96a951a3345ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4524764,"id":"Q4524764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$FBE3C993-78B8-47A8-875D-51EAD1025E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934bd079085c5b6722b947f7b5fd69890ffb51a0","datavalue":{"value":{"entity-type":"item","numeric-id":555790,"id":"Q555790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$84D51D87-3DD3-418E-B2A2-A246200DBCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004b6322713c93ba5975d66d08cf938b57dc11ff","datavalue":{"value":{"entity-type":"item","numeric-id":2432218,"id":"Q2432218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$0AFEC0FA-430C-423B-A459-8FB77B161A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9bdd970c991ad85a4bb981d65608bf96d56854","datavalue":{"value":{"entity-type":"item","numeric-id":4412485,"id":"Q4412485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$25751D1D-0D8F-4115-9D7A-AC87B4FBA7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8a395965b4a89157441c6e6d74ef9d13de849c","datavalue":{"value":{"entity-type":"item","numeric-id":1903079,"id":"Q1903079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$DB42D99F-19F7-4C90-BD9E-2A7E82616733","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":"Q1019018$A1AE8BB6-78E1-4A99-A2C0-8A576EF8711E","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":"Q1019018$03282588-A00B-4757-ADC5-96CB51F61D67","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":"Q1019018$2E4494CA-899B-408E-93D6-D7C2179704A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019018$21CC0F40-BE6D-4C9C-AEE2-518442E70695","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":"Q1019018$49BA8583-BC79-443D-8BBA-7F07CECFE3FC","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":"Q1019018$140B6FAF-D930-42EB-804D-E4FAF0699050","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09da2ba0eb1b0c425fb8a5ed73293c16d7a700d0","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0066-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1019018$330B0316-E100-4A02-BD74-220F52C3D9E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a148733de64f4173367473bc55efbc91f7f093de","datavalue":{"value":"W2111901968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019018$56394E61-FF50-4561-A3F2-16E29B5992AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa0cef643543084a92b30b8b4dc6aaf4b728126e","datavalue":{"value":"10.1007/S00165-007-0066-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019018$7301EFE6-177E-4138-B1C7-11F49D1D924B","rank":"normal"}],"P1643":[{"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":"7b7603a2de14552f2dd02d35ae8d478adbe7b8b2","datavalue":{"value":{"amount":"+0.8578084707260132","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":"Q1019018$9A501174-7956-413C-A2AD-3C8D1B078A45","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":"2cb3bb5241ee5ebaa6817fcb62a68e46f526ff82","datavalue":{"value":{"amount":"+0.8560013175010681","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":"Q1019018$E9619EC8-869E-44CE-8F89-1625B44151CA","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":"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":"Q1019018$AF87C49E-2780-41E9-8E81-48A56FF21B76","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":"578134efb133a86bb8153637c4b0c228627a8609","datavalue":{"value":{"amount":"+0.8086021542549133","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":"Q1019018$281BF37A-69A7-499D-8692-4D3246AF69AB","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":"c5353d4a1998a966a48707dead15e30b4d5dcd18","datavalue":{"value":{"amount":"+0.8040190935134888","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":"Q1019018$EEFE338A-3089-4BF2-98D8-7BD2D2AA43FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational concurrent refinement. II: Internal operations and outputs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_concurrent_refinement._II:_Internal_operations_and_outputs"}}}}}