{"entities":{"Q3540069":{"pageid":5569973,"ns":120,"title":"Item:Q3540069","lastrevid":81044318,"modified":"2026-05-06T17:35:19Z","type":"item","id":"Q3540069","labels":{"en":{"language":"en","value":"Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369266"}},"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":"Q3540069$984C580E-6A72-4079-9C76-D1B11BF06F0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b841f7ee57455e152e0baf4762d6c21376fbbed","datavalue":{"value":{"text":"Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540069$251C3BC1-03F7-42A9-8E8D-90932D88CAF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c49c53eb4d7b178d23d4564fcda2c35b8210e8dd","datavalue":{"value":"1183.68383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540069$85D9C076-57DD-4FB1-B4A8-2ECC3E95936F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1226a04aaeb32fafac2e9a58023b6df302717731","datavalue":{"value":"10.1007/978-3-540-88387-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540069$F3C14286-CD60-4F36-94ED-7A1793A1D27F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$FA59DE5C-1164-48CC-9AC8-6D771FF5BDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be81ba1dadc366042262e90ae17b2284ffa06c1","datavalue":{"value":{"entity-type":"item","numeric-id":260056,"id":"Q260056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$1591E27C-5E70-405E-AB57-04908E5C8011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$BF8CABCD-8FA2-44DD-82CD-ECE6DDD08533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bb25cd5bff61dd98c69faa32322d3d5f5b3963d","datavalue":{"value":{"entity-type":"item","numeric-id":239161,"id":"Q239161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$BD09A74A-4984-4C95-BD01-3BE1EC4E0A4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$529EDB1A-98CB-43B8-A233-1360EC0EEC61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540069$C8520CD7-0599-4306-8F81-8B8859B49F2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540069$5AA9FE3B-795D-438F-BA4C-380270250488","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"012a5cd12c9b19fe5d0547837db3e245dc43e3e6","datavalue":{"value":"5369266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540069$E1B43066-EC61-4F63-B0DE-DD95EC7F3645","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$1DF66D72-33E0-4513-BFE0-2EADE9A30793","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":"Q3540069$04965EEF-F11C-49B6-AB9E-74164B576180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$5B26BCF9-4597-4757-A402-DFEAD07111C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7892f19b26d978fd2811b32e4ff9d1119e436ec7","datavalue":{"value":{"entity-type":"item","numeric-id":32044,"id":"Q32044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$7BB49019-AD0D-4608-8785-E2AA4A93EF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05435a4629e8d44264f9789229838ae06ed6cf4d","datavalue":{"value":{"entity-type":"item","numeric-id":32045,"id":"Q32045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$CD2C82F9-DBA6-4243-AA1F-0D811C5B7506","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":"Q3540069$52336EBB-DD53-473B-AE03-B67252F295B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5476e37c973c524f4183cb6df6dc9a25e55fd1c","datavalue":{"value":{"entity-type":"item","numeric-id":16596,"id":"Q16596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$FA4E0C44-8646-44CF-AB4F-431DCF22F121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6066ce70c508b423307b218f8e8aef0d7c165f7c","datavalue":{"value":{"entity-type":"item","numeric-id":34873,"id":"Q34873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$84C2742E-615F-48D5-8E75-51E97A1B6525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$C9DBA3A9-8F3F-4A3F-ADA9-839C581E7D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$AF23FE0B-D742-4C71-A91F-104A7D0F80F4","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":"Q3540069$8E7450EC-323B-48A1-AF52-7AD8475CACB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"218c808f50b79cfb22eed884acf459588ad37e54","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88387-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540069$61638BA8-BC04-464A-9293-612AC938FF77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90c33b56fd536f315e5a7adab978083cf357d119","datavalue":{"value":"W1600817717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540069$4B677E31-807E-41C0-8E1F-64FDDE76701B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13878242cb414787213921c84e0049b993a33e62","datavalue":{"value":{"entity-type":"item","numeric-id":5429325,"id":"Q5429325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$C2371331-D01E-46BF-98F4-973BFEEF203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$ECE522B7-1405-4D48-8C70-D3EC97CCED28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$BE7D3411-95B7-447E-9416-CF8EF8505B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14eb061303449b101d85681de8c638064549aa3","datavalue":{"value":{"entity-type":"item","numeric-id":5429324,"id":"Q5429324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$026E1977-921A-4B30-A89B-52ED2FF0076C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$061A34DF-8FFA-4D63-80D1-9231024FD050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540069$2E9624FF-B6E3-41C7-A033-2A64ACD74351","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b333396d8f45fb58d819c5b74f3042eb39466009","datavalue":{"value":{"entity-type":"item","numeric-id":882147,"id":"Q882147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a62e2ac4a4e67f56c9c0bcfbe5e65ce10a963b","datavalue":{"value":{"amount":"+0.7553345561027527","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":"Q3540069$ED1B12BF-3C7C-48B5-AF3E-AA781598B518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3469a1d8e3fa96380b51199e0c4d5c6178aed7ba","datavalue":{"value":{"amount":"+0.7442013621330261","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":"Q3540069$FBA339DE-C9C4-4C00-B516-02F89A29C332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88d886ad868610a0bd2c6bfa8e57a3b75f6b727","datavalue":{"value":{"entity-type":"item","numeric-id":3452265,"id":"Q3452265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bc9dc882c789a668ece58ea145980cd044970b","datavalue":{"value":{"amount":"+0.7202945947647095","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":"Q3540069$8FD8B8CF-928C-40ED-8892-CAA47986F520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c38ff252b9382be6ec6719ef0a02e3a8bb5ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f45de16100cf684aed98fe0ae9c7c432803b082","datavalue":{"value":{"amount":"+0.7173689007759094","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":"Q3540069$DD5F3017-6890-4FF5-A53A-B8F5BFA4B22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70045ea88273d784112bc03c79f6ad157044a77a","datavalue":{"value":{"entity-type":"item","numeric-id":924672,"id":"Q924672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11bfc086aad5114fb160b095c34fc26a79fbbccf","datavalue":{"value":{"amount":"+0.712158739566803","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":"Q3540069$F3EE7A28-A6EF-4E08-A1B4-2AF3B7D59E8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions","badges":[]}}}}}