{"entities":{"Q2961562":{"pageid":2972287,"ns":120,"title":"Item:Q2961562","lastrevid":52748378,"modified":"2026-01-23T10:22:42Z","type":"item","id":"Q2961562","labels":{"en":{"language":"en","value":"Using abstract interpretation to correct synchronization faults"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687357"}},"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":"Q2961562$1E2794DB-2983-453D-BC7A-4E0CB7C9ACDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99cd53ee5ead9a110b56d7713da1a4a0b01dab05","datavalue":{"value":{"text":"Using Abstract Interpretation to Correct Synchronization Faults","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2961562$4C6E965C-D906-4E19-A9FF-E08DFDA343F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"907ae290e90722eb14494fe018e2ef9f3e5ad5c4","datavalue":{"value":"1484.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961562$9098850C-B5E3-406B-A72E-40109F572AEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d433e4ee978c466ed0fbbe86e8d270cb05db003d","datavalue":{"value":"10.1007/978-3-319-52234-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961562$FBE91581-9A3C-4F51-8840-2580909F5BAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"243400d5ddd1208389d474075e48066f7efc9228","datavalue":{"value":{"entity-type":"item","numeric-id":278743,"id":"Q278743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$D0EEAAA2-E1FE-4852-9C44-95BBE6425965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"580626a6219252fcfa6ca5bf57652124d25358b4","datavalue":{"value":{"entity-type":"item","numeric-id":526763,"id":"Q526763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$D68DC8FA-21A2-4EEA-A3F5-A367318873EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"071ce7747a48231fb81aaada5ae0e0ce30f57d16","datavalue":{"value":{"entity-type":"item","numeric-id":256749,"id":"Q256749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$B4699900-CEB6-47D2-BA5F-408B1E03DC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3428d6758c8cd969fb5cc602f40fa07e68de0b76","datavalue":{"value":{"entity-type":"item","numeric-id":832228,"id":"Q832228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$6EFED3B5-E8AF-4618-B385-D6F13711C5BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$ADCFBE17-2A54-4345-BA17-584C2DAFC3CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-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":"Q2961562$444E5BEE-41CF-4047-8628-EC4059BE3408","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961562$35CC0DA0-F20D-449C-B0D6-B2770B56AD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961562$121A5EC6-F67E-4666-A6E3-43E35A1402F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961562$BBF9F3FD-4CBE-45CA-A566-21235C866050","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f10b315ca602a6d3be81bfcd66a9bf6930e60d6","datavalue":{"value":"6687357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961562$F877D98A-6C05-4D2F-850A-82E4C26F26C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5a1e05600e5130600a97771f7616d24e1abbb72","datavalue":{"value":{"entity-type":"item","numeric-id":21513,"id":"Q21513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$E5035FFF-492E-4A04-85AC-14F7D86930DF","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":"Q2961562$B1276F67-D1ED-4ABD-8AA2-889E6A7F9706","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84ab88d3292fc9f6d2fa90b18a7ab8e560facc60","datavalue":{"value":"https://doi.org/10.1007/978-3-319-52234-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2961562$F8B4824A-C61B-48FA-9702-D03EB168CA3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f0b31092f82a280926e4a99df660818670eb12c","datavalue":{"value":"W2569672444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961562$3848419F-61F3-4176-867D-10F699C7DA6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc0ee4e28ba4537c6005a6f9815e1046980be34","datavalue":{"value":{"entity-type":"item","numeric-id":3000574,"id":"Q3000574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$F9AE6ED0-C976-4F31-BD36-D90EA1CBD393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$9C62BD4C-F01F-43EF-99B3-40DC0CDBEC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$0805FB37-7237-42FA-8AA6-D4EED1DBA702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"177160d649ad506e2fc1432b194fa56e9b9aa50c","datavalue":{"value":{"entity-type":"item","numeric-id":3646218,"id":"Q3646218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$211BE38A-51A8-4EEC-9E8D-D68936D9D6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8319e4b0c8d0ad30d80ddfe9658236a4f13a4294","datavalue":{"value":{"entity-type":"item","numeric-id":5408541,"id":"Q5408541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961562$2C286C80-CF12-4BA2-A0E6-F76F42F756C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce45e09d5a26018b1a7efa3b3574c4473ac7c258","datavalue":{"value":{"entity-type":"item","numeric-id":5472931,"id":"Q5472931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7919fcfe720036bc27fea9ab2fe77ff5d6928b","datavalue":{"value":{"amount":"+0.7532549500465393","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":"Q2961562$DCE95CD2-C042-46A2-85A9-7AB903CA2F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930b713e4d48e1eb603ceb4030416be8f57d0ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4818730,"id":"Q4818730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67fe47da01a4263e42b618eee04b60c4b14e501","datavalue":{"value":{"amount":"+0.7457532286643982","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":"Q2961562$1317C894-040B-48B4-9EFB-29DE0736547A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21088c4a66251029a26f54903401216c57e5b31","datavalue":{"value":{"entity-type":"item","numeric-id":5255086,"id":"Q5255086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420b390bea55df2acd0e99d41dd88edc53b8f954","datavalue":{"value":{"amount":"+0.743494987487793","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":"Q2961562$6AD5C7A9-5D74-4AA6-AC98-46339830C1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b600f87342574e3ea1db5b14d94ebc7d907f3269","datavalue":{"value":{"entity-type":"item","numeric-id":5408561,"id":"Q5408561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f0a387438016c66eff95518bc238d18f0153b9","datavalue":{"value":{"amount":"+0.7163406014442444","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":"Q2961562$A0F1DE72-7D73-4FF4-8561-0C588E0AC5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74690218a9ab9bd601eea2524dc0e612ac3e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":2164221,"id":"Q2164221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0d1bdbf0c79473cdacd332f82678a272ad5e65","datavalue":{"value":{"amount":"+0.707955539226532","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":"Q2961562$152F528B-1070-4894-A3C9-043BF62527A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2961562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2961562"}}}}}