{"entities":{"Q5962972":{"pageid":8139774,"ns":120,"title":"Item:Q5962972","lastrevid":52464623,"modified":"2026-01-22T17:27:17Z","type":"item","id":"Q5962972","labels":{"en":{"language":"en","value":"Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6545753"}},"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":"Q5962972$246383B7-527D-4A8C-9665-4C916226D66E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3597ca4db9c7e1c36c063edf45c1501358c94720","datavalue":{"value":{"text":"Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5962972$A90B9410-EF9A-409D-9811-A5A9411F0B03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fcf848418f1fcb70f33750a5eb71eff8f99377c","datavalue":{"value":"1331.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962972$CDBB9126-60BF-4B8D-8BA9-38EEF9CC0632","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$C3C26378-DCAE-4E24-B611-ED8156CE0B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$78BCD5A4-5006-4492-ADC4-DB0486E852BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$2FB0DDCF-BAD6-43BB-8CD0-51B2D217931A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$6FC724B3-C653-4F86-8408-FB002700094D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b711090eb2dd20f1569e188bf3cf69015580f99","datavalue":{"value":{"time":"+2016-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5962972$44C13231-C8BF-4EC9-AE73-DAD02FFC922B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962972$2C9ADA96-8DD8-4E6B-90CB-DBEE309E10A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53c8c6df56a45bc4f2d5c50541bc39087a8feec2","datavalue":{"value":"6545753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962972$28388048-E505-4CCC-B3D5-75449B6515F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8018fcc8dacbcc1f18db3e2dfa50e2962efb29fe","datavalue":{"value":"regression verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962972$F1F0383E-5449-45B4-B634-30A58FB61829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"468ba7faa002bbf46d510af7f50eec06f34c4f17","datavalue":{"value":"proving equivalence of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962972$A198281F-0E10-48FA-8CBE-B995A005352B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458c2b35d0451140b7681e6642905d2f8f38d563","datavalue":{"value":"multi-threaded programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962972$6D5321D9-E8DA-4754-A027-F2C3F90C0FBD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3e51a1966904a3ae55453357c0d638f6ec765b5","datavalue":{"value":{"entity-type":"item","numeric-id":21917,"id":"Q21917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$FF9CE312-2335-4CEC-9E62-1F6EB2097BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$22846E23-3D28-4739-AAFE-117C9E75B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$BF445F1D-99FA-49FC-8BAA-6B48DCACD718","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":"Q5962972$838E1E45-B76F-4CEA-9DB3-FFF87F87CEA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dc8eff0986267d2abc49e85df6c9c0bd8c8e2ed","datavalue":{"value":"https://doi.org/10.1007/s10703-015-0237-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5962972$AAB3D70B-DFC4-4112-8323-2046B1828C80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"770fab891d6651c46ead0982b15857065345a0db","datavalue":{"value":"W2214640391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962972$254C3B3A-CE96-4083-AE69-233D30B94BFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"995a3a5c42994c6db5c9ecb05a842b528a1d92e3","datavalue":{"value":{"entity-type":"item","numeric-id":2891406,"id":"Q2891406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$5048E761-B07C-4171-930C-40A9F44C4CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$A4262FFC-1513-4629-88D0-9718D654F110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$DBB3227D-8D5F-4705-8574-CCA5A7FFD8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98855e5f63a687d22ad5b8fcf60eef7c9c99fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":938300,"id":"Q938300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$97B45D81-00A9-4EE0-A515-55958DF25AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$3AB081C8-FA1B-4822-A8EC-A634B897CC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962972$07EC8565-CEE2-4923-B8BB-2F8C9D9000F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f668aa0f99175051f79fb96abd34e6060f0d6fb6","datavalue":{"value":"10.1007/S10703-015-0237-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962972$9DD644D6-3A12-417F-873E-5D87EFA4DC7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb92d05ad3804bd2a0edfa57fa3315eb5bd16f0","datavalue":{"value":{"entity-type":"item","numeric-id":2891406,"id":"Q2891406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c369a8c5afa3f764a83be1a12d2499c8bfd903b","datavalue":{"value":{"amount":"+0.958427369594574","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":"Q5962972$C11EF0EA-F07C-4624-A566-586FEF8904CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"401b0cda7c81433539ca9a7b4137d741970e97f9","datavalue":{"value":{"entity-type":"item","numeric-id":1650864,"id":"Q1650864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7daef0e8eabb8b90827bc8551bc7088ac4899145","datavalue":{"value":{"amount":"+0.7845858931541443","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":"Q5962972$E4E7E7EB-891B-4846-84BB-C0792CCFF870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebfe0118d4e156ad7924a705caf1d9074c89dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2842113,"id":"Q2842113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d0a643bf7e09dbc6ef2c012e47fc6035a8c987b","datavalue":{"value":{"amount":"+0.7456706166267395","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":"Q5962972$AB10F8E3-9BDD-4FDC-AC16-80FA10C55895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce38ee1ed9aadbe0e0427d9ce6fb345fba2fc4cd","datavalue":{"value":{"entity-type":"item","numeric-id":2819827,"id":"Q2819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60173313d6a13b4ba9696f3bd69c7caddad71395","datavalue":{"value":{"amount":"+0.7448787689208984","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":"Q5962972$8F54BE33-0D23-4702-947B-54A189B17E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44dbf6490536331b6c7652e189e765f1c07e4f39","datavalue":{"value":{"entity-type":"item","numeric-id":470007,"id":"Q470007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc66176bcb774659b3fb70798d3b2b3e36e3d60","datavalue":{"value":{"amount":"+0.7426441311836243","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":"Q5962972$6704DCE5-DE58-4E37-A8C1-66337596822E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5962972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5962972"}}}}}