{"entities":{"Q3460578":{"pageid":5239978,"ns":120,"title":"Item:Q3460578","lastrevid":80740430,"modified":"2026-05-06T16:53:37Z","type":"item","id":"Q3460578","labels":{"en":{"language":"en","value":"PBMC: Symbolic Slicing for the Verification of Concurrent Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527562"}},"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":"Q3460578$E12B3C3D-F862-4C7E-AC72-AC593776FABB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d738e6815f56d3c6f0e5b8d5d60371f1619f98fb","datavalue":{"value":{"text":"PBMC: Symbolic Slicing for the Verification of Concurrent Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460578$D76F35EF-587C-46EA-8B89-6F540496C6B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56214e215947a7ac6b7bbe559ec5c280d4a60001","datavalue":{"value":"1471.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460578$86C4A67C-9094-4CC9-ADFB-CAB240795F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1c8dbb229293d6349571f43b8dc396eb2262ec5","datavalue":{"value":"10.1007/978-3-319-24953-7_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460578$D3090286-7427-458A-BDB2-B0D84F3BE36E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8d04455e24f6813d25cdd2d74a779037817811a","datavalue":{"value":{"entity-type":"item","numeric-id":3460576,"id":"Q3460576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460578$340AEC98-0C5D-4972-BB3F-28E2A7E6EB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bba84b0d31b3ca502e8e33b61d1d0f538b5fc323","datavalue":{"value":{"entity-type":"item","numeric-id":3460577,"id":"Q3460577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460578$96732C4E-F988-465D-8480-DF02C8A8F909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6295c67570f8a4d6e8e4ce7b68056b0fd5c90870","datavalue":{"value":{"entity-type":"item","numeric-id":2755579,"id":"Q2755579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460578$DD2EEDC5-58E3-4786-915A-6E6E1B93F916","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":"Q3460578$606B7318-0A28-458C-ABD5-F17B1101DB2E","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":"Q3460578$99B4D7C7-F19A-4F7E-BABC-B4AEBD7684C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460578$F67B9EA8-FB84-4DB4-938D-205FEA6B75D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460578$F063A8A0-F429-444B-AEF9-F1F3F1D910BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f181129cc35d5cc944c591c817a9efe988e21ad1","datavalue":{"value":"6527562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460578$1BF0C998-8A3F-47DF-97F1-7DA2191AE8F6","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":"Q3460578$CD956334-EEDA-4C92-969D-FEAC9881D8D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"809d051884a23c810aab0ddf46ef3c35226b12f8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24953-7_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460578$3894B4A8-BEDA-4595-ABD9-8193921E4E52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bab4d82469d688c2960d3fec02c95ad4b7a4b13","datavalue":{"value":"W2403178557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460578$A3DFF37C-BE2A-4C80-89E3-B282FE8ADEFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddfcafce1dcfb3fb16e0edfc66d6647482b188ae","datavalue":{"value":{"entity-type":"item","numeric-id":3146300,"id":"Q3146300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f113fa87e8602f18709ec188438d361942e4b64","datavalue":{"value":{"amount":"+0.8762164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460578$071873D4-0032-4FA6-9F81-7EF033E25FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d34e7639bff3fc9b509f4c86eb6e0cdd3d83ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3568235,"id":"Q3568235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf28f5c293dc7f8a8bf920ab1186f61737d1852","datavalue":{"value":{"amount":"+0.873533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460578$4180B51A-8B57-4B27-AC69-0B38B8CEBA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e035fc28d7d87e05f75a6c27e06d2ade0e4c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2870197,"id":"Q2870197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0c3cab0520997cffd878973da767d808eecfc8","datavalue":{"value":{"amount":"+0.857206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460578$F8096CE3-01C1-43C9-AB67-767681A43ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9acca83a3aed74ca46fe74e28aefccca0902496b","datavalue":{"value":{"entity-type":"item","numeric-id":4934529,"id":"Q4934529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2460af0623064829cabad35e82cd6a62ec0933bf","datavalue":{"value":{"amount":"+0.8554714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460578$D46EE2E4-076F-4A03-8C54-B668B31761B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a5f40d8d1b0cbde67fb514d0002484b78c8336","datavalue":{"value":{"entity-type":"item","numeric-id":2942881,"id":"Q2942881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e479af9fd1927d2c64dbfc1174b910ec721ff56b","datavalue":{"value":{"amount":"+0.85506165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460578$49B1867C-1A9F-4267-A7D8-DDE239634254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d41ee4f28489e03ddc16a1d1d8777b5ebe5b024","datavalue":{"value":{"entity-type":"item","numeric-id":3460058,"id":"Q3460058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a7921b36ca518de771be7273fd288361ff0a28","datavalue":{"value":{"amount":"+0.8548908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460578$3A9C72D7-1D70-4849-BE3F-FC2DC9CCB627","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PBMC: Symbolic Slicing for the Verification of Concurrent Programs","badges":[]}}}}}