{"entities":{"Q2942895":{"pageid":2953615,"ns":120,"title":"Item:Q2942895","lastrevid":52343492,"modified":"2026-01-22T09:45:30Z","type":"item","id":"Q2942895","labels":{"en":{"language":"en","value":"A rely-guarantee-based simulation for verifying concurrent program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481269"}},"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":"Q2942895$73232B0F-7B4E-48EE-8DD4-CE1646122AB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1b3627f061359c31151d745588d28cf608d7192","datavalue":{"value":{"text":"A rely-guarantee-based simulation for verifying concurrent program transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942895$724FB31D-07A9-4E9A-AEB6-1DED2FED8074","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"030e3013f061fdad1a0086e8cec83a35626c1804","datavalue":{"value":"1321.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942895$BEE16250-E97C-4646-BC25-73693886D899","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d4d0f816d62431a197582fd693fafb928414215","datavalue":{"value":"10.1145/2103656.2103711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942895$79B64BAD-F5E1-4D72-A13A-E63580871F68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b32f143fc30683ab6d2543c8ee0cce3733dd89f","datavalue":{"value":{"entity-type":"item","numeric-id":1623167,"id":"Q1623167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942895$67BFA74C-2C38-431D-8E2F-4EC7B564E1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942895$6E02AC23-2B17-40B9-A487-F6DDC51CF7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31353b1d02b70cbd2b437dd612528ad7108b0239","datavalue":{"value":{"entity-type":"item","numeric-id":351977,"id":"Q351977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942895$F15102E9-CC01-4289-828F-61416FE471C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942895$AE9E10CC-AD0A-4D18-858F-86E75E372A19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942895$E185E5F4-EA31-465E-8230-851CDA94AD2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942895$FD8C183B-2FCC-499E-8B18-D8DC36637D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942895$0287128E-388E-4196-BAB4-FD0F17C7D69F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2ba801f6de821001a47b6baa6fc29ea6c123668","datavalue":{"value":"6481269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942895$BBC1D000-13B6-4696-851B-59341EE49B94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942895$353484B9-61B6-44E2-80ED-FEA6FCE1586D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942895$CBEE848F-28EE-498C-896E-18308DB24BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e48457947aba6ceac7ea11158edf9a91373bc9b9","datavalue":{"value":"rely-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942895$2DE44C13-693D-4674-85F9-A823EFD6EC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942895$B862E882-907A-436C-894E-B3E09CCE71C7","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":"Q2942895$17B14977-8DE2-4417-AABA-7CDE981966FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3756c84a109fa01dc1788022e4651b0c2064570f","datavalue":{"value":"https://doi.org/10.1145/2103656.2103711","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942895$C6CC9934-EE17-4355-B364-8C094E71B60B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0839504bbd4b25a21f88ffb031812f3c70bcddcc","datavalue":{"value":"W4239018153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942895$A0058073-E553-4D90-8D4D-E83939B59B4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ccf3cffd499e9a1ca785111d357fb3192fa038","datavalue":{"value":{"entity-type":"item","numeric-id":2319995,"id":"Q2319995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44d2beb6eedbbe4138c1a209631e00f60f6898c","datavalue":{"value":{"amount":"+0.7544705271720886","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":"Q2942895$A92654D9-65B5-4766-83A6-0D913D801869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82876524cd033ce83f9873b0cc43eb02f27791eb","datavalue":{"value":{"entity-type":"item","numeric-id":1687774,"id":"Q1687774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f535c72deb86fcf2c3d7afc16b13ab868c28a8b","datavalue":{"value":{"amount":"+0.7457044720649719","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":"Q2942895$AAB4242A-EC6D-4EF2-9036-80D7DA974F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331bfb91374f70d72303964ae5e38ce13d07df53","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1485c8a780d59b3af3546c97bb18a7c43372998","datavalue":{"value":{"amount":"+0.7284455299377441","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":"Q2942895$9C9944E8-35D4-4C1C-9AED-EE71BB222055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b66b19dcb34d20e7302d9ed697daf5c94068fc","datavalue":{"value":{"entity-type":"item","numeric-id":5240132,"id":"Q5240132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced63588f4b4104784cf915dc536a9686ffd2351","datavalue":{"value":{"amount":"+0.7281421422958374","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":"Q2942895$9C5BC254-E1F9-43C0-B820-15066A5A36D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc7bcba37171a245b57f974ff84e983f8b1ccd0","datavalue":{"value":{"entity-type":"item","numeric-id":3303910,"id":"Q3303910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c81b927277da5f58f0bffd50d017d70c360c93","datavalue":{"value":{"amount":"+0.7214065790176392","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":"Q2942895$E66A02E7-8CA7-4410-87D0-F7795FFA3437","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942895"}}}}}