{"entities":{"Q5408569":{"pageid":7438143,"ns":120,"title":"Item:Q5408569","lastrevid":51972581,"modified":"2026-01-20T16:11:42Z","type":"item","id":"Q5408569","labels":{"en":{"language":"en","value":"Complexity of pattern-based verification for multithreaded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282629"}},"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":"Q5408569$F9818EB4-8264-4FB5-99AE-280538200FDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c66ee1b0e222e2cfcb584cf16cccc86da89118c","datavalue":{"value":{"text":"Complexity of pattern-based verification for multithreaded programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408569$C91A0EC5-307F-4552-8F40-0E0A97304CA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"646d7fa976426918586db45f9cf8a04d8cbd5d1a","datavalue":{"value":"1284.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408569$CFC79A86-0083-415B-ABA9-9B3B7909C361","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9337a577aa85d0a3388b08d662ce3f98dfe1e51a","datavalue":{"value":"10.1145/1926385.1926443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408569$1B8401EA-57E1-4A5A-BA69-88771A396A4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408569$5356477E-065A-4F5E-973F-8340597C87BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408569$E359A084-1080-4018-B53B-EBFB5D88CC12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408569$27AC3869-9EAF-4B5E-BA69-E98950D823F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408569$3C8AF3B3-C84E-4DCA-9D6C-72657BF70D2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408569$E4EB0724-07CE-4186-873B-5EE7A6AB39F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408569$4BD760BE-5DB1-4D8A-901C-FC89EC303B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408569$0B2EF40E-76E6-4576-A3CE-9DBC6F831639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408569$609E2735-4566-4F16-8B97-434439EA5B49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"915fcb1941b059f84c7174d3a1bdc1834caa22e7","datavalue":{"value":"6282629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408569$1C16296D-AED7-4EB2-A854-09063729B707","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408569$D2CE120B-C1B7-4B38-93A2-B74A54B88631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408569$5955E692-B524-43D9-B6AB-923014BCE580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408569$269BCA8B-5EBA-4788-A0B5-EFA71A504427","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":"Q5408569$0CDDB27E-D9F0-4C12-B612-DBF144F7020F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cfb955692a8dce3ba5382235e666f8823f23a8b","datavalue":{"value":"https://doi.org/10.1145/1926385.1926443","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408569$5DE2D7FA-B708-499E-AA52-F11E10D8AB99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0857c21a655b2d3cb169ef1bdfe0293e9135fedf","datavalue":{"value":"W4242620488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408569$C7E5ED20-A67A-4F58-AC0F-CA21F3330004","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4233ace843fdc4eca9611fec62d0cd1c45cc4339","datavalue":{"value":"Q130964107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408569$DE292E10-BF4C-48EC-B436-0946E724FECA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2665600aec48046a0ec316e9a59c6cea5993ddd","datavalue":{"value":{"entity-type":"item","numeric-id":1675156,"id":"Q1675156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b1439f9ae59fb267f9369f02e4309c1f8b559f","datavalue":{"value":{"amount":"+0.7776932716369629","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":"Q5408569$E4AE600B-95AD-4D4B-8D7C-554128237CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebfe0118d4e156ad7924a705caf1d9074c89dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2842113,"id":"Q2842113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d0569908e224f6a4dfe0377bc17859c1547b24","datavalue":{"value":{"amount":"+0.7591897249221802","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":"Q5408569$1248DFA3-F8EB-4539-A047-730CC11A3C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b27c77e1212d1a8326b195a5278d4bb19d236f6","datavalue":{"value":{"entity-type":"item","numeric-id":3430665,"id":"Q3430665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c225249dbd8c2fdda2c1e4abd618de9addbd74a","datavalue":{"value":{"amount":"+0.7444660663604736","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":"Q5408569$22A7895A-37F1-426D-B2CB-52DC8F160BB4","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":"df23fbe835102eb3d2ed190c001d03142fa9abcf","datavalue":{"value":{"amount":"+0.7431473135948181","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":"Q5408569$965E9DFA-9C07-488D-8EF8-2C964CE3EC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee3dc384d80d204cbfbadff9bc57a551f433448","datavalue":{"value":{"entity-type":"item","numeric-id":3525149,"id":"Q3525149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc2ee1e7fc245dff4d8c93c9aab13d01f475bab","datavalue":{"value":{"amount":"+0.73732990026474","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":"Q5408569$B6AFE26A-A312-4656-BB08-EEA0416478D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408569"}}}}}