{"entities":{"Q2891406":{"pageid":2902131,"ns":120,"title":"Item:Q2891406","lastrevid":51491333,"modified":"2026-01-18T11:59:20Z","type":"item","id":"Q2891406","labels":{"en":{"language":"en","value":"Regression verification for multi-threaded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046575"}},"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":"Q2891406$CC8916DF-B587-4744-8F55-E5145262B3D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4561dffed61a6037e8e2e2562be58c6bf27673f1","datavalue":{"value":{"text":"Regression Verification for Multi-threaded Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891406$5A44E57B-AC20-4C04-A037-565C0E0FD54B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2df07d24a6ba10bd4bd5ee6b1630c379f99660e","datavalue":{"value":"1325.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891406$11B275A4-1D54-45FE-B95A-D3658D7D2714","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af61f96d6dbaa7901040f5da602715c77e495214","datavalue":{"value":"10.1007/978-3-642-27940-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891406$E42D42D3-1BC8-4F37-A181-D56BCC773726","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":"Q2891406$C24A4743-7DB2-464C-8953-3DB89DEEDBAF","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":"Q2891406$0259EC9A-31B6-4A35-9320-EB5BD9E1AF3B","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":"Q2891406$E44BFF5A-2380-4995-BFF2-BA77D04D24F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891406$45AB79BF-99B2-40C2-A333-F45BC5F675C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891406$8108018A-595E-40F0-B2A5-3EAB4C89890A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891406$9459CBC6-CDAB-4BE1-928F-90ED1558DE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891406$324A829A-B636-4E66-9745-46534E3C1047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"208e8833e86e73836985452df68dac76ba4c7102","datavalue":{"value":"6046575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891406$9B61BE66-376A-46D9-AAFB-6DFE9734BF5C","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":"Q2891406$BE05FFD0-493D-4FCA-BF37-AF3E8A31D271","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":"Q2891406$BBC9F759-140B-4036-ACAE-F31209B02927","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a81d03b856255c732b0ecd7ceebe5b21912953c8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27940-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891406$B523E7F1-6F52-41B5-874B-0A572F68D841","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efb7ce50ad30467505e1782fd425767a584f7c81","datavalue":{"value":"W203808516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891406$CF5FC229-3F6D-4ACA-9553-A7FA6071626A","rank":"normal"}],"P223":[{"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":"Q2891406$FF7EB375-37C1-472E-9D1C-B3EF9B936DEF","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":"Q2891406$29DB5A43-655C-4686-BBBD-DA98E3045280","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":"Q2891406$F101F096-50D1-4CAA-99BF-CEC36654B3F5","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":"Q2891406$512425A1-B106-449B-B47B-0BEBA9139904","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee5855c264a242b41c9aca4f8fd9ebcd139f7f0","datavalue":{"value":{"entity-type":"item","numeric-id":5962972,"id":"Q5962972"},"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":"Q2891406$35172657-9171-4186-8185-455ABE5E4FAD","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":"32090de877b4be7947957af3bca14c7bfaf126f5","datavalue":{"value":{"amount":"+0.8028808832168579","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":"Q2891406$D3D757DA-EE8C-4560-969A-BF80ADC05637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb9ec5a01223a9899314546986f77d014058d9e","datavalue":{"value":{"entity-type":"item","numeric-id":2281656,"id":"Q2281656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8040d034d1ffeae1715fc56f9373076dae81a6","datavalue":{"value":{"amount":"+0.7499436140060425","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":"Q2891406$51F1F6B2-FACE-4078-82F4-32B1B31500A4","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":"0333628e87aebb69b77f72b35dfacac4b8dd0934","datavalue":{"value":{"amount":"+0.7216870188713074","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":"Q2891406$85FA1761-730C-44A1-A933-B8DFC908E725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd8fe519b64cbc856a832a8dd1f77f177c5e155","datavalue":{"value":{"entity-type":"item","numeric-id":3656886,"id":"Q3656886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff34fd2b885bda65a07d299825d54a3b5bfd562","datavalue":{"value":{"amount":"+0.7196292877197266","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":"Q2891406$3B9F7BB2-5A01-4AB5-91E8-6CA543F82F91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891406"}}}}}