{"entities":{"Q4931292":{"pageid":6960874,"ns":120,"title":"Item:Q4931292","lastrevid":90980402,"modified":"2026-06-04T21:57:12Z","type":"item","id":"Q4931292","labels":{"en":{"language":"en","value":"Non-monotonic refinement of control abstraction for concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795630"}},"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":"Q4931292$98236293-7A76-4666-A2A6-9C3E31A304CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1661db7891fc995ac25bdad5f0c8e5e66662cecd","datavalue":{"value":{"text":"Non-monotonic Refinement of Control Abstraction for Concurrent Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931292$5676EA40-9A8E-49B9-BAF8-D07A7A3B40FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6ee09cac7d42aac41ee6f86a7571a58bee06b24","datavalue":{"value":"1305.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931292$FBB538B1-98D4-424B-A51F-DEA49BD00F1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e36eea041642cf6be24500050e493eb888355f9","datavalue":{"value":"10.1007/978-3-642-15643-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931292$89BC7919-1826-4F8D-B7AD-17772978F40F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cefe2994cd2e378e79e344a451c126379a495f1d","datavalue":{"value":{"entity-type":"item","numeric-id":630709,"id":"Q630709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931292$08DC909A-E8C8-42E1-80D5-C21A956D36FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931292$0ADE4F04-5D96-4D9C-9EBA-8F3CDF1D1398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb5194b074431f4ab5210cd57ca7a7f1a1e79525","datavalue":{"value":{"entity-type":"item","numeric-id":948221,"id":"Q948221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931292$FC8496C7-2579-4D99-8C21-A444F433DBE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931292$32F7CBED-B020-440A-892F-40D22C42EE00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cfab7d3906afc05e862851cc22fb484b12e8f1","datavalue":{"value":{"time":"+2010-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4931292$9DC3BE08-6486-4E99-AE09-8516E358A2BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931292$9D6978DC-1CFA-410A-9C9B-739E6CD49AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931292$D66A177B-FAC0-45F7-9F09-DC03DD0C4426","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43bbb23ea453b2f9b3fda3e9c771b2e61d506839","datavalue":{"value":"5795630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931292$B8138FA8-6E5B-45D4-8568-936A72969F5E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931292$26F2511A-222F-462D-A5BC-471DD9EA06F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b5b3d722a89e38fc553043bf5da3991c467eb","datavalue":{"value":{"entity-type":"item","numeric-id":17100,"id":"Q17100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931292$DABB8E6F-686F-4E67-B7BC-FBC209CC2353","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":"Q4931292$02B9996C-0668-434A-BED8-CB83B99DA886","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd8c98a80960738e75f419dcb50bbbd4c645adfa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15643-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931292$DA83D4FD-B389-4F1F-A259-A9DBA23F36D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52997fef414f0799c38dd71f7e00cf524daa0ada","datavalue":{"value":"W1569404555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931292$1EE1C8D1-CFFF-4C4A-AF09-144F74C59C61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d41ee4f28489e03ddc16a1d1d8777b5ebe5b024","datavalue":{"value":{"entity-type":"item","numeric-id":3460058,"id":"Q3460058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a1e2bd831234f86fc330d6982002e951fc9736","datavalue":{"value":{"amount":"+0.7758491039276123","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":"Q4931292$42999534-EB7B-4238-B583-C5F0A244E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52121ee2bd91fb8be046c49435e9ee56268f2a38","datavalue":{"value":{"entity-type":"item","numeric-id":2225107,"id":"Q2225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1161aef29e14a9d4008da8ac0ed18385850c52e","datavalue":{"value":{"amount":"+0.7607071995735168","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":"Q4931292$9F8F3054-78BF-441F-B0A2-A4B45D4D2B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfe103a237343092c56f9a884431017e84d83de","datavalue":{"value":{"entity-type":"item","numeric-id":5408554,"id":"Q5408554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6b2bf7d65cb0d8fd626ac49a98f636282c839f","datavalue":{"value":{"amount":"+0.7459954619407654","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":"Q4931292$D573509D-4D82-4F6C-AA83-9CF422C8DD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f83a6bc04d9e714480577eeb1e3d2fdb1e692a7","datavalue":{"value":{"entity-type":"item","numeric-id":3612004,"id":"Q3612004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9968cd1e9794742e210db5cdfc8712c1b0e34074","datavalue":{"value":{"amount":"+0.7420877814292908","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":"Q4931292$E5A66CF8-5DB1-445E-AB46-4729D1346097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30c511d4b0fa24c84dec4563cb8a15f072b4126","datavalue":{"value":{"entity-type":"item","numeric-id":2796043,"id":"Q2796043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ef35068a14d4ac68f456637c83fc2e7113714d","datavalue":{"value":{"amount":"+0.7408738136291504","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":"Q4931292$1714EC07-39D8-4150-B766-D117CC68FCCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-monotonic refinement of control abstraction for concurrent programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-monotonic_refinement_of_control_abstraction_for_concurrent_programs"}}}}}