{"entities":{"Q2571209":{"pageid":2581952,"ns":120,"title":"Item:Q2571209","lastrevid":73570989,"modified":"2026-04-14T16:30:07Z","type":"item","id":"Q2571209","labels":{"en":{"language":"en","value":"Formal specification and verification of the C\\(\\#\\) thread model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2221499"}},"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":"Q2571209$E9F007A6-F394-4F52-96E0-A094034D85DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3118b96ee9644e95e8b39fbb57d71f513be38a28","datavalue":{"value":{"text":"Formal specification and verification of the C\\(\\#\\) thread model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2571209$CA08ECC7-5D43-412D-B5CB-916C5F70DF5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ceb1bf7a27af69243fec4f656c40e9a213abc94","datavalue":{"value":"1077.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571209$05F09148-C042-4985-BF08-79F30B970DBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571209$F63C0525-3B93-4142-BF00-92544B1AA389","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571209$8E13594F-E2F5-4131-B9D2-A89CE9A1CBF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6efc4aa90a56b4150e94692aceef2446967b8ee9","datavalue":{"value":{"time":"+2005-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2571209$9F7858DA-35D2-4741-896C-6AAEEAB0E216","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571209$5A9A9F29-9BB2-436A-9060-B8C395188A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571209$7B8183DA-39CB-4519-8387-7DAC316E2D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571209$E1930783-26CC-4AC7-8D4B-B638EC3E1F15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"996f5fb49a21ce25e5a746e62cbcc7344b21d9d4","datavalue":{"value":"2221499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571209$E6396BB6-2787-4B16-A389-9D5CA1C6539B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571209$804E671E-3F50-4156-A526-C76370182A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571209$F47A598E-5FB5-411F-9BDA-842D10DA046F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28dfdb95836185d31e6d5223b927b998901ca561","datavalue":{"value":"threads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571209$D634DAFA-0F61-44AB-AA5E-EB1960A18858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9980bf2b43aee8256cd43b3821d68126db7518ae","datavalue":{"value":"memory consistency models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571209$DF9E3095-CB8B-4B69-8808-D1AAE992665F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c2c95069af0cab7e8dd72415503e9f860e1d3a","datavalue":{"value":"C\\(\\#\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571209$F8DEAFC2-8871-46BB-BFA0-784DB6DCF733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359cc99fe2e734d750c9477058ba26c6a8c28ba4","datavalue":{"value":".NET","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571209$19B0EB6E-36AD-4E97-8C4D-C98881D262AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043e6d9dff677b8976d5d5a2aa95c67a47305905","datavalue":{"value":{"entity-type":"item","numeric-id":14470,"id":"Q14470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571209$19758568-C1BD-4847-84D6-898C771E8690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63cdbe1815dab8cdad5d951d126bd73b8bf1b386","datavalue":{"value":{"entity-type":"item","numeric-id":37166,"id":"Q37166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571209$43C4D430-AD9D-40C0-B8E6-6253F5C2799B","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":"Q2571209$A53C08E2-030C-41A6-A713-F8EE34541BD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e88907ee8a954808552882ed81d05e4512fd583f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.06.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q2571209$6BA1D1E9-0CA5-442F-97C1-9AF149EA052C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ae056d916986d06494e1ef0275044c53963d9f4","datavalue":{"value":"W2084781194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571209$34C68127-C394-4C7A-888B-BB2C5BB69F90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ffcca79eedf13b54ae8a34e35a14a407341e51","datavalue":{"value":{"entity-type":"item","numeric-id":4413677,"id":"Q4413677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571209$95B765CE-3E7F-4001-9011-8473D483DA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571209$FBE13C80-05CE-46D7-ACF9-D7079D54FCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571209$21211E8E-28CE-493C-BB5D-115CFCACAA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb07b2cdf56d44ea290851778edc5a167487a93","datavalue":{"value":{"entity-type":"item","numeric-id":555787,"id":"Q555787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571209$C88C68BC-B26F-4787-BD99-FDDF30BABED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143fba548f94915a52e9321607c02e704bd2c4bd","datavalue":{"value":{"entity-type":"item","numeric-id":4223458,"id":"Q4223458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571209$4EA1E209-4178-460D-AAF1-C1FC0D95A88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571209$082E8576-A2CF-4A3F-9DA1-7C7B7A8C618A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eeda66e44a3c70277c9dd3849c6b9a04b8d4f425","datavalue":{"value":"10.1016/J.TCS.2005.06.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571209$63E326DB-C205-49D0-A072-AC59F42A8932","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8441ec5545d3e3a3a15a08df7bda7eb5ecce599","datavalue":{"value":{"entity-type":"item","numeric-id":5901596,"id":"Q5901596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9c88e7ca665a123debe8e7a5b037e4ea21bb58","datavalue":{"value":{"amount":"+0.9186384677886964","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":"Q2571209$8490561D-C72A-4BC0-AE9A-3FD776954557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77da6a3a4d1c84d26b67373745c418363a68cdb2","datavalue":{"value":{"entity-type":"item","numeric-id":5901598,"id":"Q5901598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751d14bfc6e1bb3e3953516676bf58c2a44dfd57","datavalue":{"value":{"amount":"+0.7652477025985718","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":"Q2571209$FB6F50BC-DB0E-4864-B63D-D63B6E4AEC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d0167161e2a01a49e386a178ee30c19d14c7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2461564,"id":"Q2461564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf6164a3e5494921add9c9d558aa591991c843a","datavalue":{"value":{"amount":"+0.7249684929847717","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":"Q2571209$4324DA44-A3A8-479E-ABAE-C15F2B9BF3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57255c83ee5eff21ef14be0b88cc7ae23c5622f","datavalue":{"value":{"entity-type":"item","numeric-id":4413677,"id":"Q4413677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16063e2df058ee1ec26f6e1d6455f1d7ac598dac","datavalue":{"value":{"amount":"+0.7220200300216675","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":"Q2571209$803EFBF5-8666-4195-AD66-C063A7C18B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc0608667f6a17dc78f8131d46fac1e000ff920","datavalue":{"value":{"entity-type":"item","numeric-id":303691,"id":"Q303691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16063e2df058ee1ec26f6e1d6455f1d7ac598dac","datavalue":{"value":{"amount":"+0.7220200300216675","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":"Q2571209$2D80ED1C-8376-42F3-92F3-DE12C47A8B0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal specification and verification of the C\\(\\\\) thread model","badges":[]}}}}}