{"entities":{"Q2936788":{"pageid":2947508,"ns":120,"title":"Item:Q2936788","lastrevid":52166612,"modified":"2026-01-21T02:06:08Z","type":"item","id":"Q2936788","labels":{"en":{"language":"en","value":"Modular verification of concurrent assembly code with dynamic thread creation and termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383931"}},"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":"Q2936788$7C443DA1-4F03-4DF3-A6B8-855D9D4A3A85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c930361c73f6bf8d14c2a73b4be399eaed96416","datavalue":{"value":{"text":"Modular verification of concurrent assembly code with dynamic thread creation and termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936788$66720910-0D20-4AFE-B7E5-C2397507AC63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fff2a3a42f5a1d594899e85964f31eebc69b9137","datavalue":{"value":"1302.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936788$587C8FBD-DD61-4E94-84D7-21E3F3A654A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ee8a3aec4eb7739538cb172e684e9e5d56a2b90","datavalue":{"value":"10.1145/1086365.1086399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936788$3A9DBDCF-177F-45A1-9F97-8049CE2B4906","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936788$5E3B02C9-CDF0-45B2-91D9-32D68394B51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936788$08A6BB18-4158-4849-9A42-648C95FA6E79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"009f14fcff92f2b9864a3e960eefae33e15fd175","datavalue":{"value":{"entity-type":"item","numeric-id":2936758,"id":"Q2936758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936788$9C6A5A12-B796-4701-B773-B74FA4FE3EA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936788$A09786FA-598A-49CA-8D99-7C3552405B56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936788$1E8D66A8-A184-4AEA-A64D-041A520DB063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936788$E919E380-3020-49D6-826D-00B41187C31A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af744c07fc9d62dbeff22d8d5f8a6dd0537a9ce3","datavalue":{"value":"6383931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936788$3E186C14-73FC-4474-90EF-8D04F7733958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9296f79e557fac9e43f7b62d5151c9283916e7a9","datavalue":{"value":"concurrency verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936788$CD966E71-B076-4081-AD3D-DFB6FEA02F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074164dfce56251159b3bd4e589bd6cb62072a63","datavalue":{"value":"dynamic thread creation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936788$DDF2F98F-9589-408B-8690-C56E8DC29838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90ba581de713a3df5c41b7c4f044c0002164b31","datavalue":{"value":"proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936788$7236CC2D-8EE3-4371-B0AD-2244F5D4EB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7304181fde15f2ff08bea8b954e64f699bd5523","datavalue":{"value":"rely-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936788$31163AFD-23C7-4D3A-AC7B-A09865B381C0","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":"Q2936788$7714257D-F563-4AB6-954B-460978B015C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbd5bbd42f25b4f4461f172681df6615248aa2e8","datavalue":{"value":"https://doi.org/10.1145/1086365.1086399","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936788$6C21E826-C669-432C-975F-EFC92B07C142","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff320e6b6308593ddcdce20b0198249816c7ea0a","datavalue":{"value":"W2141260727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936788$08898683-D62C-4285-B164-40B09E678570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d85da01ce5c8c2828ef73396ab04705487b850c","datavalue":{"value":{"entity-type":"item","numeric-id":5178035,"id":"Q5178035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b7f1d4472bfb79fb2a4c25d1acdcdd04c431f1","datavalue":{"value":{"amount":"+0.8094855546951294","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":"Q2936788$CA9ACB8A-CF10-472E-848E-AECCBF455595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0e20e561c0a94c18d17dcbff1b8e67b357e42f","datavalue":{"value":{"entity-type":"item","numeric-id":4823138,"id":"Q4823138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b0c58d60895971fde0d871905d57c505a74055","datavalue":{"value":{"amount":"+0.7741820216178894","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":"Q2936788$418E5B42-74D5-4BA8-B56E-28A670DABD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e482390fac9bb3e825c392831b69d9db0697f2","datavalue":{"value":{"entity-type":"item","numeric-id":4673417,"id":"Q4673417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec7ab857ffd0dcf5ff9e4d7ac608259574117bb","datavalue":{"value":{"amount":"+0.761332094669342","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":"Q2936788$061169CC-D7B8-472E-9C38-2AE81B86F069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24695374181717ad1bed4a90e0740942008205a0","datavalue":{"value":{"entity-type":"item","numeric-id":1826465,"id":"Q1826465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2912fc366845b84a6f7e2623ab39fffa8ce48beb","datavalue":{"value":{"amount":"+0.7598435878753662","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":"Q2936788$D42B114D-F332-4375-9AFE-6BB9D6398342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dcaec69054130be72a53d68cd034f76a83ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":4809042,"id":"Q4809042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ece5777218e5ea749fc652744212aadc3e308b8","datavalue":{"value":{"amount":"+0.7486076354980469","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":"Q2936788$60AA589D-C4D0-40F6-ADDC-E5A58D02BE12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936788"}}}}}