{"entities":{"Q3075479":{"pageid":3086195,"ns":120,"title":"Item:Q3075479","lastrevid":51188792,"modified":"2026-01-17T03:44:33Z","type":"item","id":"Q3075479","labels":{"en":{"language":"en","value":"Strengthening induction-based race checking with lightweight static analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851850"}},"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":"Q3075479$BE6A030F-99B5-4677-9367-CD07F2EA5ED3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c981837968b7403a306e568f4b3ec39d14d7391","datavalue":{"value":{"text":"Strengthening Induction-Based Race Checking with Lightweight Static Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075479$09102D15-1EE0-4A15-A6F9-4BAD8714CE5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5becfde3d8807137453853f8997347ff563263f2","datavalue":{"value":"1317.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075479$5F4651E4-D2C9-4B50-BD0E-E3664C2F624F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17e26998f6b93662cd496962911a55c1ad81f247","datavalue":{"value":"10.1007/978-3-642-18275-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075479$E27502D3-13F1-4305-AD44-82F90D82C146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db903008d5ee39538aa38bf45d7c449d7149af42","datavalue":{"value":{"entity-type":"item","numeric-id":763237,"id":"Q763237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$92EA6164-AE65-41B3-B571-1B9D641678A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3f434bb92565e5cf6d2b60aac0245f4a58be6b3","datavalue":{"value":{"entity-type":"item","numeric-id":479836,"id":"Q479836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$07AA2F9C-B673-4F67-A17C-B7D8C3945B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$3D3EF560-5250-42D9-8C1E-4C05C07ED70A","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":"Q3075479$6981EFB4-3D41-48F6-949E-0A27E1CFF247","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-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":"Q3075479$6A6A0461-8FFA-4735-A095-9F24B6F4EB8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075479$2BD7E21A-B955-4713-AE70-D00436A7EDAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"660b6fc208c1bbd7409070e120292bb13e76d1ab","datavalue":{"value":"5851850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075479$6E3996AF-9247-4E06-83D8-55F677537AE1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$D69E01DE-19C9-46A2-8050-319C8A47C177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76465c2e9943ec77c307b542936140641b954ce6","datavalue":{"value":{"entity-type":"item","numeric-id":21920,"id":"Q21920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$13F73D07-2C18-4BC2-A595-308037F50386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6bf627ca496bdd7b1d04d8b19b346d2bb1be1c07","datavalue":{"value":{"entity-type":"item","numeric-id":18634,"id":"Q18634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$91E7820E-1785-43E6-8A04-98EC1B6AD23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$1C4C3F2E-7D94-4D3E-BBB1-BEDB81C17B5F","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":"Q3075479$B0E82E48-632C-4E9D-81F8-8CC0947B0A10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b3852d98095dad99d7da3e771567d17737bc9fd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18275-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075479$EBB38D60-C480-4BFA-BD30-8442B314851F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64dc2baa4ea8672f85f79c66dfd22bdf714a99a8","datavalue":{"value":"W4241748122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075479$D068A6CC-CFE2-4D10-B0C7-996948DD2214","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4a0c107773baf4c7b30e2c05565087fb2ff673","datavalue":{"value":{"entity-type":"item","numeric-id":5452362,"id":"Q5452362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$CA10BC88-AAE6-42F4-9164-291FBF020F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcdd88c0187437df1dd77abdaba504f2664c711b","datavalue":{"value":{"entity-type":"item","numeric-id":939166,"id":"Q939166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$F8F29DA6-DBCD-4DDE-9F43-B6F4EF84F155","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":"Q3075479$C6A7A272-3AE4-4386-A0F7-E6FD74B96BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$D4B0D725-11F1-4162-9DE9-BB96EE2710C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb432ba22b37fccf5faf08bce43da173c0f9c6b0","datavalue":{"value":{"entity-type":"item","numeric-id":763238,"id":"Q763238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$32251E3A-F698-4308-98C2-12096F9B47A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075479$39664FCF-3810-4111-A94A-3943E6D3CDB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755c526125214473a4627fe5c9eb35cd5d8c476e","datavalue":{"value":{"entity-type":"item","numeric-id":763238,"id":"Q763238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e219e40e46a1880a957620622f6757c80a5a7719","datavalue":{"value":{"amount":"+0.8452767729759216","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":"Q3075479$B35A4255-9059-4240-81CD-562CC96666A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028c4c245d93277ceb19b5b9578aea03ff18a198","datavalue":{"value":{"entity-type":"item","numeric-id":2981009,"id":"Q2981009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75d8a9e937d4ee7f638fb4f0bde18ff5ce09d98","datavalue":{"value":{"amount":"+0.6830341219902039","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":"Q3075479$21C6DBC7-635E-4A01-AF6F-1A286FE8078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af41a07e76f72e32823250cc494ddfb025c18171","datavalue":{"value":{"entity-type":"item","numeric-id":2147701,"id":"Q2147701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d233cb85f4ac4b40c024f6caca837ae35de46b47","datavalue":{"value":{"amount":"+0.6701695322990417","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":"Q3075479$A3934B00-70D7-4643-9420-6C928432821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b118fa60cf029105d6800352fe02a2882188392","datavalue":{"value":{"entity-type":"item","numeric-id":5429324,"id":"Q5429324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52d66fe96b056d7f445e256a7de285b54217186f","datavalue":{"value":{"amount":"+0.6508870124816895","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":"Q3075479$C29BE7D4-2565-4DFE-BBE9-5CCF55197C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e2b54aa024f9e69fd600b2d4e1d6296d79960e","datavalue":{"value":{"entity-type":"item","numeric-id":832190,"id":"Q832190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f2effc5ce6fa6e67f979988109d1010bce45b3","datavalue":{"value":{"amount":"+0.6386153101921082","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":"Q3075479$B0780C33-6DB0-45BC-9EC8-77F8D142DE97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075479"}}}}}