{"entities":{"Q2945130":{"pageid":2955850,"ns":120,"title":"Item:Q2945130","lastrevid":85388108,"modified":"2026-06-03T07:43:06Z","type":"item","id":"Q2945130","labels":{"en":{"language":"en","value":"Can we efficiently check concurrent programs under relaxed memory models in Maude?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6479860"}},"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":"Q2945130$0305710D-8B8A-4B2D-859F-5F56DAA66BB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e5804f74d10438b420c75fb12009c69f8065ab9","datavalue":{"value":{"text":"Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945130$3968502F-0CD4-4EC9-9BE9-26006329BEB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac2470c5b14ceabeb67ec100ab57f534c09083c5","datavalue":{"value":"1367.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945130$790D5E02-0163-4B75-80E3-9D49F98D3CEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"088b3788ad1c5105d128ecdd5ca503a3d02a7d5b","datavalue":{"value":"10.1007/978-3-319-12904-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945130$82478338-B8CA-43E8-B6CD-913D6A23DC9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6ea2196aa79e84931a2f4a1ae2ce12a044a7a31","datavalue":{"value":{"entity-type":"item","numeric-id":2011214,"id":"Q2011214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945130$EE070ECE-0435-46A5-BCD3-4BEC3A3E18DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33900f316a7b34f050a37d7a46a2dd54de23688a","datavalue":{"value":{"entity-type":"item","numeric-id":2796226,"id":"Q2796226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945130$C1070881-5535-4FAE-9CF6-C111EFFF9969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffab40db05aa684067104d44a5da49a9aa86d477","datavalue":{"value":{"entity-type":"item","numeric-id":1680559,"id":"Q1680559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945130$BA3D1CB8-C35B-46CA-B2E8-5CFC93B84058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945130$B8B3550F-1E14-4FB5-A4F5-0F684D0E04E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945130$1A7D5AA5-1E5D-432D-B794-98809B3D90B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fdba1a180432aa0076bd7853aefca9f33efc7b","datavalue":{"value":{"time":"+2015-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945130$99E0CA30-A507-43B3-A597-53ACB824C6B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945130$8F550173-8C60-4EE1-8918-D2A57DA1EA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945130$DD6CFCCC-3D77-4D5A-9889-5B64D008B4EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3786c33b0c7082c4ae0a1936483266b2e052cdf","datavalue":{"value":"6479860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945130$D7C4D2F0-74F7-4FFD-ABD0-66F14A63FC2D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c019ddd223b61f98671322bda1b61487124d36bc","datavalue":{"value":"Q56495846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945130$E62BEC9F-5D61-49D8-ADAE-D4F0C788AB50","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":"Q2945130$F8CF65E9-9D0C-488E-BB97-ED599DA1C372","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83f08d02d6560d7f19dc2caca7bf50cb026cb522","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12904-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945130$8F4EFE6F-E4B3-4396-92C1-7012941D9EDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34a9800a816869ee9e88f47eeb0dd7e3b9849318","datavalue":{"value":"W98028116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945130$C4F6B837-1F93-4CB3-886A-0B976D80C4BC","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4acbdd945100a14b229f14e7068e42f91fc9a90e","datavalue":{"value":"conf/wrla/AlrahmanABL14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945130$8560B275-5767-4CFE-A939-E58663E245EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920846cee47ebcd0c156e2badd883856874915ab","datavalue":{"value":{"entity-type":"item","numeric-id":681346,"id":"Q681346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386aa686dde85d68ef43b77d61fb0043ae0fcdeb","datavalue":{"value":{"amount":"+0.7955186367034912","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":"Q2945130$ED16B4CB-838D-46F7-B69C-CCD8B03F66BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53389ff29cd92def7f542c1a68c503dc45db02e7","datavalue":{"value":{"entity-type":"item","numeric-id":3512487,"id":"Q3512487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af80f6f8d1314ac0ff1ad068bc5f2c69c09351d4","datavalue":{"value":{"amount":"+0.794121503829956","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":"Q2945130$080090F2-22AE-4065-A552-675DAE3939C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5beef82811c1ed410a89dd64b21f082cf77902e7","datavalue":{"value":{"entity-type":"item","numeric-id":5172657,"id":"Q5172657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968a75efe7dcf843d31c40c0849ce6a1d3eea071","datavalue":{"value":{"amount":"+0.7923071980476379","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":"Q2945130$4144B282-EF26-4646-B5C0-35D7DE28F170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8338724daa029caccb2c3016b9f8787797e2cc","datavalue":{"value":{"entity-type":"item","numeric-id":2830038,"id":"Q2830038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73bb9ac8264eac1f05e50da295c902d31535b14b","datavalue":{"value":{"amount":"+0.7424919605255127","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":"Q2945130$D4B92341-A9F6-4918-A457-EC511433996D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637c22a48ae2b0053e68989dbe169654adc18eda","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a92370042c84c15ca90d08b5e6c4719733b037","datavalue":{"value":{"amount":"+0.7413819432258606","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":"Q2945130$7C6E23A9-E824-4453-867F-C9AE03D13D20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Can we efficiently check concurrent programs under relaxed memory models in Maude?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Can_we_efficiently_check_concurrent_programs_under_relaxed_memory_models_in_Maude%3F"}}}}}