{"entities":{"Q1941870":{"pageid":1952612,"ns":120,"title":"Item:Q1941870","lastrevid":51679025,"modified":"2026-01-19T10:55:44Z","type":"item","id":"Q1941870","labels":{"en":{"language":"en","value":"Using refinement calculus techniques to prove linearizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148337"}},"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":"Q1941870$696BC8DA-BCE4-4E55-964E-DDE8CFED5B29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0decf22145284203aad8e7627010f0e669d54ee","datavalue":{"value":{"text":"Using refinement calculus techniques to prove linearizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941870$93FC16E3-1636-4D0E-A23F-CF91BB7A623A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f992d55da71947601a93a64db2c905526d6c7e3","datavalue":{"value":"1259.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941870$7BBA4218-49A8-4351-8D4F-D38FA425CD65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$8A8392F0-E515-4AB0-9EE5-372F169AFC7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$F19F1119-4345-4B09-8FF1-133E5C1775E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941870$67CADD06-FBCD-4048-8CA5-6A7F5C61A061","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941870$CE4F910B-FC2C-46F2-B1E4-027F6339FB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941870$ABEC42B7-65A5-4B7B-B5E9-3A45480B037A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40254664ed8b2f22d70e720db8628be41a1849f6","datavalue":{"value":"6148337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941870$C1BD2645-1A39-4DA9-B0A6-3B9A1B307101","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941870$406214A8-7775-4749-90D9-5147B185B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ef8ded1c5825ccb2662f5978826acf94644f0d","datavalue":{"value":"multi-threading","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941870$46C3BA0A-A8FA-45F4-AB69-58BDC42E477F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941870$FCE6DD26-8B6A-4BE6-8BCF-CBC2264F690B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941870$06383881-A8B1-4A95-B031-87A3F32C7E5F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$8F910A16-20BA-4062-BE1F-680B3C5B970B","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":"Q1941870$617D321E-522C-437B-AB80-5AC270FCFFF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d4fdcea0832d8177d503d003305fb91cf950f46","datavalue":{"value":"https://doi.org/10.1007/s00165-012-0250-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941870$FCF4798C-568F-49FB-8B9F-A7F50B692616","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"163f7b7a8fa4b0a10b7b522b7213665d5cd96744","datavalue":{"value":"W2048605787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941870$0F63B971-EEED-490D-9E9A-0EA84E9C8D75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$23AEF0E0-ECDF-455C-9480-426788F96823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddd0949a53b05a5c6e9163f0e19b465ef959e53","datavalue":{"value":{"entity-type":"item","numeric-id":5898619,"id":"Q5898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$CBFB49CE-60FD-4F13-87FB-8E25CF3E61CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94223dafefd21030be656dcd94f94b2f0ec420de","datavalue":{"value":{"entity-type":"item","numeric-id":918204,"id":"Q918204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$D29DD3AF-771D-453B-ADA8-C32F09092AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$83D396A3-A1DD-47B2-AE17-8C0CFADA1E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f969c5c872032bece66e9981e0b02c9a03a6b899","datavalue":{"value":{"entity-type":"item","numeric-id":3557084,"id":"Q3557084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$0F782EF4-0268-4E0E-A02A-805F646F2312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72093eac2c2443d4c4fb383ea46937f980af22d4","datavalue":{"value":{"entity-type":"item","numeric-id":3639041,"id":"Q3639041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$10B43354-1635-43C6-A21A-2AED8C7FB046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb20340dd9cc4c7a1544049413a07d2685bf85b","datavalue":{"value":{"entity-type":"item","numeric-id":913499,"id":"Q913499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$4B14085C-BB54-4A84-A739-1849ACC9F8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$6201456E-21DD-4F2B-B5F6-EC70F2A4441A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941870$F335B093-E908-47B7-B92A-4A9C0D826F10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84d5bec74b845bd7e2aa3394c4a473536cfe89d2","datavalue":{"value":"10.1007/S00165-012-0250-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941870$02585A22-E185-45E9-B194-7AD341FFCEF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f759f321f17edf59634b6b68731cb858a7d50353","datavalue":{"value":{"entity-type":"item","numeric-id":3608884,"id":"Q3608884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172e8f59986d2d06d7bc30da91b65c307c73c0f6","datavalue":{"value":{"amount":"+0.8571290373802185","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":"Q1941870$FA6FA3E7-38F9-4190-83F2-EB50483542F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe37730f014137665e3503d6006520dbea031ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33733835798b5d425f501a0ed427f9728c6d6b85","datavalue":{"value":{"amount":"+0.8005310893058777","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":"Q1941870$EC134BD0-DD09-491B-8F18-CEE9E59FE1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59794ce866fcce34268e65630d3559b3e3405dc4","datavalue":{"value":{"entity-type":"item","numeric-id":539223,"id":"Q539223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85945f3f7a3c2353e0526f9bfc06b5b695e3d32d","datavalue":{"value":{"amount":"+0.7965360283851624","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":"Q1941870$E833109A-5BBE-4A5C-8CCE-B3B4B120F83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f49f60f78df0c06f8e28295f2790089b8caaf6","datavalue":{"value":{"entity-type":"item","numeric-id":3557084,"id":"Q3557084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc277596756df4afe67458372ef78aa93559c4b5","datavalue":{"value":{"amount":"+0.7912743091583252","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":"Q1941870$F4CC8B62-1298-45FE-BEFE-46D54E1CE3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4b560752f400a21703faec66c7e406e34762f","datavalue":{"value":{"entity-type":"item","numeric-id":1688548,"id":"Q1688548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e614d04ef6c222451f5c97fb3b929ed8250a94b1","datavalue":{"value":{"amount":"+0.7875601649284363","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":"Q1941870$DA7D21C9-5492-4FC2-9A5A-C3B099525903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941870"}}}}}