{"entities":{"Q4635650":{"pageid":6665231,"ns":120,"title":"Item:Q4635650","lastrevid":53070362,"modified":"2026-01-24T04:10:29Z","type":"item","id":"Q4635650","labels":{"en":{"language":"en","value":"Compositional verification of termination-preserving refinement of concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863123"}},"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":"Q4635650$4EB216EE-971D-4354-9BF5-853B003F11C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"804ab611fe65221471cb28d1d809038c75c4d7df","datavalue":{"value":{"text":"Compositional verification of termination-preserving refinement of concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635650$DBBE2058-36DC-42CF-B0E0-FDEC4217B36C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6abae58be8ee7dafb570d6af3cc1007ec9b91174","datavalue":{"value":"1392.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635650$0E06E216-6B42-4E5A-B7A6-6106A42A4E26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9e1146d4eb5e87c3032f44e30a4eb31f3fd0e5a","datavalue":{"value":"10.1145/2603088.2603123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635650$90D34988-F833-4204-B1FE-5B3743A7D030","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b32f143fc30683ab6d2543c8ee0cce3733dd89f","datavalue":{"value":{"entity-type":"item","numeric-id":1623167,"id":"Q1623167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635650$D7BC0413-9434-40F3-877F-C232CE8CE212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635650$755E9C94-6787-4904-9337-F61AAD59F751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635650$2D99C04E-0520-4778-A223-B7D45CEF5E0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635650$74A0DDCC-A97A-424B-8795-FE626FAE57B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4635650$A2F36B77-41E1-4B5E-B5A5-E7ED061076DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635650$CADDEA7C-7189-4D00-BE28-DE8E5C5E2C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635650$C1E43487-AF0A-41C2-9BEB-D7A229FF54BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbb62beda4efb4acd0fcac6002e1b6584545a551","datavalue":{"value":"6863123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635650$D7368EBA-50C4-4DAB-A8DB-41F71DB651E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635650$513348A8-CBC1-4E48-9E6C-5568CDE7CA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635650$F9940CA4-D779-4BD3-9165-94C5C3832DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e48457947aba6ceac7ea11158edf9a91373bc9b9","datavalue":{"value":"rely-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635650$E071D53D-034D-4DC1-8986-D080225F8C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635650$4FF89949-E7E2-4C97-87FD-F9343F2421C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6576c40bb086ffc58c28159ac860e2355b326921","datavalue":{"value":"termination preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635650$5076939A-61C5-467C-87F8-0884CFCADEC2","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":"Q4635650$C23A6688-E29F-4757-95B4-7FB04748FE0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a91c9caee494483d6a04e5b066e6794c16c8f684","datavalue":{"value":"https://doi.org/10.1145/2603088.2603123","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635650$2E236F38-F9BF-4E1D-98D7-5A7DB1AD878F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b311548be20968e2ae73ff01c979e0f24e997788","datavalue":{"value":"W2154642390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635650$53B6E3F4-43B4-47FD-9CD1-6B8D0823907F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52121ee2bd91fb8be046c49435e9ee56268f2a38","datavalue":{"value":{"entity-type":"item","numeric-id":2225107,"id":"Q2225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d59a4068a3395b4e3872ecd068329ae03cb94a2","datavalue":{"value":{"amount":"+0.7936263084411621","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":"Q4635650$CD55EEE7-DFEC-4184-8C18-55107FF9932A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a46eb8b7ed29459c330f11eac1e5bbe6fa9841b","datavalue":{"value":{"entity-type":"item","numeric-id":2988673,"id":"Q2988673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a33808f9e93733b41213fd5abea1e1f3bf8da7","datavalue":{"value":{"amount":"+0.7850756049156189","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":"Q4635650$6BC2EBEB-A1D5-4C91-973D-31BDF9E6E31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afca3b29330b440d76c08f8e08f6d4bc4e8c7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977b8c1dbc26ae1585684b5e3a0f55637a090108","datavalue":{"value":{"amount":"+0.7812683582305908","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":"Q4635650$F1EDA8B4-2A3B-4424-BD8E-FE6803BCB59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a18887f57b1b3543a1507c31b4181ef2874d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2894275,"id":"Q2894275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabfdec14e06086eba8919a5718b042b59e7d91e","datavalue":{"value":{"amount":"+0.7658226490020752","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":"Q4635650$B2B73BCA-2E12-4EC5-B356-9646C156C85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178a53c525f0f779403cb0e5d85bfca565cf8bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1941870,"id":"Q1941870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c9cd368f9ab1ba3d81948795d85cea9d391e872","datavalue":{"value":{"amount":"+0.7649189233779907","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":"Q4635650$292C12BF-E022-4F85-A0A0-1338DE84008D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635650"}}}}}