{"entities":{"Q1293918":{"pageid":1304668,"ns":120,"title":"Item:Q1293918","lastrevid":70085109,"modified":"2026-04-13T12:20:04Z","type":"item","id":"Q1293918","labels":{"en":{"language":"en","value":"Efficient detection of determinacy races in cilk programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310555"}},"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":"Q1293918$A8BA06D2-FB10-4A3F-A637-1663FD533F97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ab4ac3d4a9a68e8fa021b22cddc90ecd5d85526","datavalue":{"value":{"text":"Efficient detection of determinacy races in cilk programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293918$E49470AC-C432-4C3A-B743-AC0C684EB9A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3955a1781e5de18d32e34691fb40a9bc5082a354","datavalue":{"value":"0929.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293918$CDF8DCC0-4C33-4FA2-B19C-7EEE96151557","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293918$7CD891E1-4C3E-4439-A115-79117A4CA94D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293918$32943E7A-9299-435E-9D74-420FAC694BA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d679ffa12d291dfeaaaf1f4f4b804cde64d95bfe","datavalue":{"value":{"time":"+1999-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1293918$8A4C3EB6-E46D-44D0-BF34-BAE4F93AF45F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293918$9FF1370A-C510-43EB-8DE6-4043C787C472","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ba671d09d8784b4cc9d7245b0ba2c8559f23dad","datavalue":{"value":"1310555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293918$1287272B-2D56-4648-8A2E-F0F848F67E2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b8669bd8d144c939523384b6609b4a5d1dbb60d","datavalue":{"value":"parallel multithreaded program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293918$93DB9EE5-05B6-4A87-9F28-9CCA67BCE4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3173ea294720e6bf8abcc5a488adc44c43d7f4e9","datavalue":{"value":"determinacy races","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293918$7DE8303C-686D-46AE-9666-759CFEBBB634","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":"Q1293918$446FA3AF-8EE4-489F-AB38-B17BC946A380","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"922edb03ecd165905258a81485c89fd4abc38610","datavalue":{"value":"https://doi.org/10.1007/s002240000120","type":"string"},"datatype":"url"},"type":"statement","id":"Q1293918$B79F93A9-F0F7-4B05-B3E0-9D1E692A2E03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44d7ea1f1394542c65217a564f7ed36ee7a6685e","datavalue":{"value":"W1995085071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293918$8B0392A4-6C05-420C-8FE6-613AA06846E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4ce96fff11a1cf6069aa4b39244f42605ae1bb9","datavalue":{"value":"10.1007/S002240000120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293918$5E889045-0886-48A1-9847-C29F9DEE7B05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88a9724b9d17f9944e86d70a80f1b43f3b78d3a","datavalue":{"value":{"entity-type":"item","numeric-id":4607887,"id":"Q4607887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9987f33ba101db0386c2982395419d1feed10884","datavalue":{"value":{"amount":"+0.7807413935661316","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":"Q1293918$D6909C69-9550-4E99-AA47-DDC164FA4CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c3e4bd612549d67644d174c49ba5f40e39f4eb","datavalue":{"value":{"entity-type":"item","numeric-id":4366989,"id":"Q4366989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f3fc9c82dee15089c4b3b1abf099fbfdb3ff07","datavalue":{"value":{"amount":"+0.761361837387085","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":"Q1293918$A1A39764-AAB9-4228-99AC-C8E06C9AB80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e370d10863c67b31446da886f0b0e0433eeeff87","datavalue":{"value":{"entity-type":"item","numeric-id":3617716,"id":"Q3617716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0005cafa86bfe3842c0255cbb48543ad2d5ea346","datavalue":{"value":{"amount":"+0.7559361457824707","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":"Q1293918$6A290133-CB3C-47EF-9306-E89B78090723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"912e52b08554f294afb83143513eb6df035ee52c","datavalue":{"value":{"entity-type":"item","numeric-id":5408574,"id":"Q5408574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce4b6e1ac80dadad8d497cbe85da2682a6d05ca","datavalue":{"value":{"amount":"+0.7398561835289001","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":"Q1293918$77C94EF7-93D4-49EC-9C04-E3B2C7A7BCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb99b2c3f55279fb4f4de3f676d16f030714b7e","datavalue":{"value":{"entity-type":"item","numeric-id":2892749,"id":"Q2892749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77066aec5d173027a9e91381f7669c7ed6f639a3","datavalue":{"value":{"amount":"+0.7397204637527466","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":"Q1293918$7482A15A-4D27-40A5-A4D9-561B4AADD1AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient detection of determinacy races in cilk programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_detection_of_determinacy_races_in_cilk_programs"}}}}}