{"entities":{"Q283741":{"pageid":285508,"ns":120,"title":"Item:Q283741","lastrevid":60640194,"modified":"2026-04-10T18:13:48Z","type":"item","id":"Q283741","labels":{"en":{"language":"en","value":"On grainless footprint semantics for shared-memory programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580852"}},"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":"Q283741$16CD06C3-3F1C-43B6-A897-62C2B543AB0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b384390c49e0a761bdda7bbbcfa3f57b63c56b1","datavalue":{"value":{"text":"On grainless footprint semantics for shared-memory programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283741$FB805128-7F02-41E5-8E33-03DF5C49CD2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a21393ea43d04c50ddb11cc3d2f6ab74459a371f","datavalue":{"value":"1337.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283741$E131AFD9-F69B-485C-A878-09FEFABA049D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283741$8114786D-3329-4EAD-87BC-978806D667B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283741$EF02B758-5743-4901-9DE4-5535A3A531D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283741$662D60DD-7B86-407F-9BC9-0A20094A4D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283741$C474E5D7-58B8-44B6-83F6-29F4D4719669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283741$2D05753D-2F5F-4914-B554-E0BDB998A5E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6d45e933a133587dd616361b5184646ceb0092a","datavalue":{"value":"6580852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283741$73EA81CB-69B7-4109-8583-CDAA5E38E6F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q283741$D7C7DA4D-FFEE-45CB-8718-88AD1EED0265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0beb0dd62e616b9d74dedf917295173f10e62d8","datavalue":{"value":"shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q283741$48F01010-2D66-437C-87C8-8EDFE61F5599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q283741$C68DCD1C-9FA4-43F8-A1B2-45A8D366703C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54e5d8b5a55def5c4892be89c5192a8c066c9fd2","datavalue":{"value":"granularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q283741$DF6E683F-3B46-4CF6-8E68-FD1C39AC076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q283741$CC7EE6A9-01A7-4366-A580-A6048C939653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3142f60a66498dbbb03944d883f205d63ad3c55c","datavalue":{"value":"race condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q283741$FDDF942B-2EEB-4953-8BD1-B154EFD08E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q283741$A478B8CD-EEC5-4A3C-94F3-2B5DBD748FE3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"141f16bafd395386b02e81d5cb28ff6c0296020c","datavalue":{"value":"Q113317851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283741$55387E73-E5BC-4459-B025-B74C03496BDA","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":"Q283741$C094778B-BB3F-430B-B426-7D2C7591068D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a232665b19701e1dbc45191357f38d023266562","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q283741$655C1067-47D3-490A-B39E-A48EE80D3877","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf1aed81ea26d60135be19b9d3bbf92821b33b76","datavalue":{"value":"W2054055560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283741$B7933DDE-D27E-4E3E-9B00-FB43BE50FDB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283741$9772C64C-6E9A-46F0-BE1A-838DEFED3B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafe746e3b002ee1de89cad9c41b98e375dad63a","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283741$B9D772B0-4619-4FEF-BB5B-4ED1EF8B4FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283741$C5D7E570-409F-4353-9DE8-4A470AE92701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ca9d7d4c37cba35ad27dfba84e476bdb59d65","datavalue":{"value":{"entity-type":"item","numeric-id":5311497,"id":"Q5311497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283741$00C92329-1A44-498B-9677-C047BCDAA951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283741$92B8B1A5-CBAB-4BC3-A124-28423D879930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283741$4BFC7E22-94EB-4A0D-BFC2-294BD85501F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45d4c2ec99ea3bc8c36c523632ff0e5c43cee293","datavalue":{"value":"10.1016/J.ENTCS.2014.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283741$6A28B8F5-D037-4E14-9CB2-DB8B65EF3358","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b115083511add93f29090771c90f464592ff29d","datavalue":{"value":{"entity-type":"item","numeric-id":2852353,"id":"Q2852353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b9d29987a46a2b813739eac60b18574f071eaa","datavalue":{"value":{"amount":"+0.9030809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283741$5B16FF04-3CEB-47B3-AC16-AD50D2F01C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2db3ac81d3b13b752861d051a1dfc68f2b6e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5465879,"id":"Q5465879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a618313d31680da1cce0a028caa54e4b4fd072c","datavalue":{"value":{"amount":"+0.90267617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283741$4F0A0BE5-249A-442C-88BD-2A9FD811C9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513fb70b2c7da06b197d77aa2c4a7c4452060d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3347276,"id":"Q3347276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdbe1b5092c92e3b1db428b2ec5b5616f927a11","datavalue":{"value":{"amount":"+0.8802237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283741$70149FFB-DBAA-4D3E-91D5-8F15334D9188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13960a32f0259626006be9a582f01a0192b686aa","datavalue":{"value":{"entity-type":"item","numeric-id":792754,"id":"Q792754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbcb7b9ebadefbd378600a74884225b037bfb361","datavalue":{"value":{"amount":"+0.8759351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283741$7339254B-D3F1-4401-AD26-00BFC92FD709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f44026e46209e46398735ff69d5e3d6485bc8f","datavalue":{"value":{"entity-type":"item","numeric-id":3541010,"id":"Q3541010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b87e7ad702ec1a6fe15d2badbc8f9b0878a286","datavalue":{"value":{"amount":"+0.8730227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283741$EDB325F1-0320-40B3-9516-EEAF1994345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35e374e659391a64a1c78e6cf0621855c32fed2","datavalue":{"value":{"entity-type":"item","numeric-id":3393404,"id":"Q3393404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064e96d29640f7b839dd183efc431e3026c1ec03","datavalue":{"value":{"amount":"+0.86062396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283741$71B6309E-2373-4B5F-B3BD-456689DBCC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1fc4cff020b2b5c5f444f2c8bfd52cb26ccc0cf","datavalue":{"value":{"entity-type":"item","numeric-id":2851320,"id":"Q2851320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12df417ad248de262e609541a79349a94334f27e","datavalue":{"value":{"amount":"+0.85055614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283741$1F24B2FD-347F-4D38-8138-2FA55AC0171A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02de89d981c98db7acceaeed077cd59c77b8505","datavalue":{"value":{"entity-type":"item","numeric-id":671450,"id":"Q671450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a44d1f90e4f478bef85e290d21f047a4734960","datavalue":{"value":{"amount":"+0.8461257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283741$9767884C-6BEC-4318-8C67-AAD45B44136D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b8f1bfd831f64d2d36bee589a6cb786fd9725f","datavalue":{"value":{"entity-type":"item","numeric-id":2978551,"id":"Q2978551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024e19940dad58c0bd87f9793183b4e8ccb06590","datavalue":{"value":{"amount":"+0.84524477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283741$42725791-5042-487C-9C1F-EEA48156D551","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On grainless footprint semantics for shared-memory programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_grainless_footprint_semantics_for_shared-memory_programs"}}}}}