{"entities":{"Q4649294":{"pageid":6678875,"ns":120,"title":"Item:Q4649294","lastrevid":51600908,"modified":"2026-01-19T00:38:32Z","type":"item","id":"Q4649294","labels":{"en":{"language":"en","value":"Linear-time model-checking for multithreaded programs under scope-bounding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109366"}},"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":"Q4649294$43CF2339-9E42-46BA-93AD-58C7E0F63B85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b88de2017516e1fc18dbd474ccca83d17303593","datavalue":{"value":{"text":"Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649294$C628EA7D-0BE5-4657-8A24-F6620240505C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd2f5ef4397321e68d9ace88203fa8de94d2ab4a","datavalue":{"value":"1375.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649294$64435071-7F11-4353-9E44-00F60D0AD249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4baa11d061df242f83f4557de2d05b61ba6a1e9b","datavalue":{"value":"10.1007/978-3-642-33386-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649294$0ACD422D-37DA-41DC-8BDD-D3CC8CC2F4CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649294$3A55DF86-B572-4B62-8514-308DE8D55CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649294$EF0E8D8E-4972-4ADF-88E7-988151376749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3796e2b09efc9ac94e6c12485881d0be27760550","datavalue":{"value":{"entity-type":"item","numeric-id":1323354,"id":"Q1323354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649294$250E98AA-DB0D-4493-B12F-A8EAEC1C97A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c9e52031a5706f049b4a3c6f99d07154b104d5","datavalue":{"value":{"entity-type":"item","numeric-id":2208301,"id":"Q2208301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649294$7BA6DD6D-CA19-4283-BDAC-589052739917","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":"Q4649294$F7E8DAC4-D897-424C-B649-61DF565251E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649294$4F53F6BC-C255-4CC2-9AA0-741D332D60E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649294$FE93C1A6-CB8F-4898-B4FB-53A32CD094C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649294$2690E214-DBFE-4517-B678-E561DB021426","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e59a2967efa246fa3d2b17da51f4f2184a15d564","datavalue":{"value":"6109366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649294$A306EA83-2407-46DD-B9B5-6EF46E0E715D","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":"Q4649294$F203DAC3-DF21-4084-B92F-B0ED9BDD1AD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e89ec98a15454c75a54448c2ce90b18b969c6198","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33386-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649294$B411A59F-2D0B-42DA-903E-CCB79C32A325","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d00e19f4cb4882429c998e80bf4cfe0b46cf2878","datavalue":{"value":"W1602322980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649294$9213AFE1-369F-4691-AB6A-17D22B38E629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e475e31811613194a6e7ee69837494a5f0677b","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703759cce65e02161613e5ecc7b2458a73513edc","datavalue":{"value":{"amount":"+0.7972872257232666","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":"Q4649294$46D55B91-7BD5-4ADF-B4A8-D00D5E21C3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71f6edf2b4428d82cf29c2a351497cb1ae8655d","datavalue":{"value":{"entity-type":"item","numeric-id":4928504,"id":"Q4928504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd3b25651b81e9234fb28227e3da64e03c31283","datavalue":{"value":{"amount":"+0.7961487174034119","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":"Q4649294$CB862BF9-B3F2-4F51-BB05-5BB4A2EB7506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad492fc4626cc547a2b95164de5e1990eb50b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2398213,"id":"Q2398213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db91675148157a731ee94e0f9ed403644207cb4","datavalue":{"value":{"amount":"+0.7816473245620728","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":"Q4649294$E50314C8-8A50-496C-AB8F-E6B914629B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334b05beb9f1c74c70fbe8d60045097fab894cc0","datavalue":{"value":{"entity-type":"item","numeric-id":5271053,"id":"Q5271053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3854bbe110f3b35b280cbb8fd223c0d231915d","datavalue":{"value":{"amount":"+0.7784154415130615","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":"Q4649294$05398107-175A-4195-846F-DC5122F7DDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e6d70ca5e036973744ece48c1e1806e1017e59","datavalue":{"value":{"entity-type":"item","numeric-id":3090831,"id":"Q3090831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d687781aa4dc772a8c9f74b0af2a3a12c4267b35","datavalue":{"value":{"amount":"+0.776491105556488","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":"Q4649294$4CE712C6-1A20-4194-B91B-1B534986EC63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649294"}}}}}