{"entities":{"Q3460565":{"pageid":5239965,"ns":120,"title":"Item:Q3460565","lastrevid":80504945,"modified":"2026-05-06T16:21:10Z","type":"item","id":"Q3460565","labels":{"en":{"language":"en","value":"Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527554"}},"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":"Q3460565$C74D73B1-E579-4EA6-A86C-FE242522BAD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d83ded80181b519e9c954e954fc1fe81225aadcf","datavalue":{"value":{"text":"Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460565$0C4A2658-1D15-4E0C-BA5C-A5E4FF82B3E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7910821d1821405f24bead66eadc9c785c0835a","datavalue":{"value":"1471.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460565$14334A56-360F-434E-ADA7-8D3C8DC54AFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14017c548f752236b5583ee47dd4efce35ba6a1","datavalue":{"value":"10.1007/978-3-319-24953-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460565$E6798C99-C258-4F60-B7D1-396974EFEF1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f28df2ebbe161f090869d4adc70b2e79cef40a","datavalue":{"value":{"entity-type":"item","numeric-id":3460564,"id":"Q3460564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460565$1B0B85D6-FF53-4873-98C1-69F21DD9BD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bbd1d1b617304959dd847e8b433f827523ed500","datavalue":{"value":{"entity-type":"item","numeric-id":2176695,"id":"Q2176695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460565$343C57A1-F8A1-438A-BFD4-5F2ED9C737E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"685c2e3452dcd4654b92659b8c62cc5912d37f27","datavalue":{"value":{"entity-type":"item","numeric-id":1683466,"id":"Q1683466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460565$8FF5AE92-75AB-4D80-9562-406F3ED68E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8557fccb2ce533d97ebf9c091249964e10d21dae","datavalue":{"value":{"entity-type":"item","numeric-id":294812,"id":"Q294812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460565$CAA9B229-E118-430D-8D4E-139B8A511479","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":"Q3460565$C4E20ACC-FF1A-4F66-A5B8-8C46D8844742","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460565$9E4FF30F-EFDF-42D0-9813-E475D5504CF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460565$E0F9AD79-6251-42F5-9461-A3424466175E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460565$D1E95F2B-E707-4857-92D0-894532CFBC3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbf6a108a06c70fafdd12f78e652194d08e40269","datavalue":{"value":"6527554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460565$4F062213-51AD-4768-83E2-9F2A8F7B82B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460565$EEDCCF81-D259-4B33-9E4D-2ED8200CEB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460565$1F020BEC-D478-4174-8748-F8C90DB2FC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ece4b9fad34fbe4144ec182f23de3b987a096da","datavalue":{"value":"sequentialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460565$E9DA5D34-B69E-4381-B45E-58AF9F717EDC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"50e7427df82fd18b6ed35d5fc6eeeded9c42bfa0","datavalue":{"value":"Q59242215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460565$D2043C0E-1CD6-4EB2-B9A3-D023056B4992","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":"Q3460565$8F28C341-66E0-40EC-8FE0-61ADE626B19F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af37aae694c4a9d9c3b32e14771d3caa3904e240","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24953-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460565$11942C21-0909-4C09-87A1-3A4359D7D813","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3492a6e89051c5ac0e312d71793b1a30ece69ea","datavalue":{"value":"W2293633976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460565$72881CD8-B7CF-4CC6-847D-A1487029CC09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ebbee7b7abce6bc9db7943aebd0d1ded4c399e","datavalue":{"value":{"entity-type":"item","numeric-id":1888200,"id":"Q1888200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf24101f02fe9d5769a2c41a109db33e85e174e","datavalue":{"value":{"amount":"+0.8655797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460565$AABB460F-07CC-4721-AA46-D75CF3BC63EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82eeeda3db65ba0c9e637877280a18f0e7bccd","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e831bce65c8f6cccbcd5bb15d5ce7c21d1facc","datavalue":{"value":{"amount":"+0.83835864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460565$805C9D62-B981-4F31-B77B-7D8BC0EDFC47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules","badges":[]}}}}}