{"entities":{"Q5949489":{"pageid":8126291,"ns":120,"title":"Item:Q5949489","lastrevid":102133793,"modified":"2026-06-06T03:33:47Z","type":"item","id":"Q5949489","labels":{"en":{"language":"en","value":"Relaxed visibility enhances partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1675858"}},"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":"Q5949489$EBA94D8C-942B-4DAB-854A-1009C5954829","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3af794330ed134aba67963f30a01ed8e0f52584c","datavalue":{"value":{"text":"Relaxed visibility enhances partial order reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5949489$2EE1B8F9-8E02-4DAE-B0AE-A328A7A0CE54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1ac5c6b92b9f2ee77a6c8437200602805f4eb68","datavalue":{"value":"0995.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949489$885856C1-FB3A-44B6-895E-4610E2D5E84F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bab7aee425b9cdeac08c54a81b2d18415d6122df","datavalue":{"value":"10.1023/A:1011202615884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949489$FB607196-2DD4-453A-A346-8EE4B4D39E2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949489$360E30AD-079F-4D97-91FF-FCE85FA28B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949489$70853F44-5DF4-4BFF-94D4-65FDDF03189E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6191c25fb9e0cbe2384d079ca46ebabaaaf3db9a","datavalue":{"value":{"entity-type":"item","numeric-id":216119,"id":"Q216119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949489$B05E11EA-D828-41F9-B5D8-B7754AA5F13C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949489$AB6F3DC6-0EBD-4DAA-BC10-26EFD7B486A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7044c8f303dad5b9a88e9485409d8600e48f937","datavalue":{"value":{"time":"+2002-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5949489$E2EC04AA-B8F1-4AB3-915D-8F045C5CD534","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949489$914DDF14-19D5-441C-BE03-2DE93E01F653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949489$7C6A6930-21F9-458F-B627-62BD63D29F36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b73b8f7186f91bce322c9d68d58355357537b9f","datavalue":{"value":"1675858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949489$1F3CDAFF-B03D-4628-BFCC-16E447F6E159","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c57ad59cf3d0781c61ff6711d6e05601a6f7e0","datavalue":{"value":"state-space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949489$BD41CB3E-7486-473F-BEE1-E4433FADA8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949489$A725A75A-74B5-40FA-A042-2324B7CD55D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949489$7AEAFFE3-596A-4721-BBF4-D2CB869864D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949489$F3DCA3A0-F9C1-4001-856D-B262BFAEA2AA","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":"Q5949489$279D8FF9-1FB2-4DAA-8583-B58DAD90BE18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86562c958104bf722071c62758cd224a8594421f","datavalue":{"value":{"entity-type":"item","numeric-id":2848148,"id":"Q2848148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8c7350f2e95ff98ea2dadca995cab13d333bfa","datavalue":{"value":{"amount":"+0.8284648060798645","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":"Q5949489$8358629C-C9C4-410D-AECB-1B093A41FE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e41e11b55706db3aa67de98ac1c80e47db2dd1","datavalue":{"value":{"entity-type":"item","numeric-id":453518,"id":"Q453518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8aa6bdf7f64deace12123a05236a51d6c1784c","datavalue":{"value":{"amount":"+0.8278411030769348","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":"Q5949489$4CB21AFC-99AC-402B-9146-086CEA90EBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9270db10b09298c8eff50b8ff5c8af28fb1cf46d","datavalue":{"value":{"entity-type":"item","numeric-id":4499200,"id":"Q4499200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e567614151cd1fd131c460829e6286ac4ae7bc8","datavalue":{"value":{"amount":"+0.8276584148406982","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":"Q5949489$C37045E1-8C95-4059-8736-0CB8028BB6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ab2a2800d318bfebe60af199e1e3bdd16617e0","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d09f9b393672bf438db5ebe4a14317614b7bfb5","datavalue":{"value":{"amount":"+0.8192152380943298","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":"Q5949489$62C00F8A-FA0D-45DE-8CE1-C9FD34AAF00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903d28ce63b1700d708d04382fdb96038f7acb29","datavalue":{"value":{"amount":"+0.8134543895721436","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":"Q5949489$1BDDF04E-DF1C-45BB-9D15-92A2BC991CB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relaxed visibility enhances partial order reduction","badges":[]}}}}}