{"entities":{"Q6661756":{"pageid":14272913,"ns":120,"title":"Item:Q6661756","lastrevid":57213873,"modified":"2026-03-27T12:07:58Z","type":"item","id":"Q6661756","labels":{"en":{"language":"en","value":"A verified durable transactional mutex lock for persistent x86-TSO"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7965963"}},"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":"Q6661756$24F00E34-4D2B-4645-B488-4CAEA6ABCDDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c1975f2a9edf9cb665687bdede4646ee51d6a05","datavalue":{"value":{"text":"A verified durable transactional mutex lock for persistent x86-TSO","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6661756$597C34AC-ED91-41A3-AF11-D48D6F88812B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2028e699916c18d26ac66bdca683b75d69d3411","datavalue":{"value":{"entity-type":"item","numeric-id":6661755,"id":"Q6661755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$3ED9E418-8982-4375-988B-3BC508CA3610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$56D2E58B-6D23-4AE2-86BE-0993653B297B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$0B56BE19-ABD1-41BC-977B-06EBAE205CBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f056a8af4460fa19ed4a426ef391be1015492c54","datavalue":{"value":{"time":"+2025-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6661756$75FD416A-19D5-484C-B928-0B4FB7910BDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661756$811E73DF-F006-4FE6-9B21-BE48D0EF98AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d69e224ec2af2808949deb2329812cd1b1aecc1","datavalue":{"value":"7965963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661756$7BEF4E12-3E4B-4A13-8CBC-221E35B9DF4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be5dd46240db8cfb302a51e223363992c82b4725","datavalue":{"value":"persistent memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661756$82D0E86C-D308-4956-834F-03B024089AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca78afcadf5c91de023515b1dd628c917653615","datavalue":{"value":"transactional memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661756$498532A4-0DCE-4068-896B-7B365AB78849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661756$C54830F6-4795-48E4-9A5A-F8C7328DE06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661756$0C83F2EF-8628-4396-B246-B4DE3A03EC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661756$6B7C4BBE-63EB-484A-B5A2-C5E960887665","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":"Q6661756$79CE49B5-2AD6-4781-B439-8DDCBC6E1AB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac75043f2916a0c5c52e423bdb6898c35fca6c4","datavalue":{"value":{"entity-type":"item","numeric-id":5082190,"id":"Q5082190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$E593EBF6-AB89-45D1-A0F2-30E5F0340B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4df13cda2689c3d64942e188693ef44a601f73e","datavalue":{"value":{"entity-type":"item","numeric-id":5176110,"id":"Q5176110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$5C053903-F506-4329-B4F1-57D230223D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87b3bbfa84acd5d57ae1f882eef6633a4bc9917","datavalue":{"value":{"entity-type":"item","numeric-id":5856416,"id":"Q5856416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$6DFED32E-871F-45C0-9588-13518F556344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159c9722c24783e77d416ab3ed8355d53b717154","datavalue":{"value":{"entity-type":"item","numeric-id":5041273,"id":"Q5041273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$1E43998A-23EC-4231-9EDB-0376162AFBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a411c438f69e60748a230fe706adebfa745a6e","datavalue":{"value":{"entity-type":"item","numeric-id":5101340,"id":"Q5101340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$FBAE5D03-C69F-4C80-90A1-9B64536A326F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39b9040e3d2807bc13175b6074f0175a0a4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5747754,"id":"Q5747754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$86E2CEAC-34BA-4CEA-9517-4EBD01ECD489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c8a84737a3e0f2a57c5db96c324e66952a0914","datavalue":{"value":{"entity-type":"item","numeric-id":3162871,"id":"Q3162871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$787A8F6F-F3FC-4014-9557-CB9AED0355B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e034301bae9aee9ad8eea08b9351dfcdfad4419","datavalue":{"value":{"entity-type":"item","numeric-id":1673658,"id":"Q1673658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$89DC2789-888A-4D4A-9016-969D07E97B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4466e8aa487a593ea921901360c37b590839a89e","datavalue":{"value":{"entity-type":"item","numeric-id":1982636,"id":"Q1982636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$201B2652-B075-405B-85A5-A403E4B8FB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b391d71ec35651061bd75745fabb9de874a68158","datavalue":{"value":{"entity-type":"item","numeric-id":470040,"id":"Q470040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$4D92499A-E006-4967-A9F9-63C82BCEBA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b10018faac6dfa8f075d66c382cd7811a148bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3174968,"id":"Q3174968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$973B0943-51B4-452E-9AAE-E30CEFE893C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20cecca2eb1d7c01266c115e8d84eb0db091981","datavalue":{"value":{"entity-type":"item","numeric-id":6045053,"id":"Q6045053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$18CFC391-9234-49FE-B3E9-CAFAD7CFA780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a454acb95596944757374fad11de7264b7cd0792","datavalue":{"value":{"entity-type":"item","numeric-id":4967167,"id":"Q4967167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$1B86A23C-A520-4530-B88A-B42C98AC1EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aacbf51de93374262c0fa3e0c7807f350477bc90","datavalue":{"value":{"entity-type":"item","numeric-id":4258224,"id":"Q4258224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$11782C40-726C-48B0-AC12-BA422C455EE9","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":"Q6661756$9D3E0011-D738-443E-8A3F-9AD1B2A3F57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0362db984d976dc081ef9b34c4ad130497eb62","datavalue":{"value":{"entity-type":"item","numeric-id":442277,"id":"Q442277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$4010FD2C-3D1A-467E-83F5-03FB06DBE96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$8CEAFE3E-E9CB-400A-9531-6BA65D5EC7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$8B2845F5-D96A-4E52-B183-4643087A939D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$4857DC71-8B0F-4E1B-9DB2-E1901704AA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8a6a7f4a099b96912e5cba667c8ca70d007bb8","datavalue":{"value":{"entity-type":"item","numeric-id":287365,"id":"Q287365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$C1A02CD1-1215-470D-B61D-62669032AFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$4C84DA8F-6246-41BB-BFE5-8CA8292DA6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7ac70217829001bfdbe229aa58327de02581ad","datavalue":{"value":{"entity-type":"item","numeric-id":3853111,"id":"Q3853111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$7FD6CC80-941E-4E30-B1C2-02B67A5F29D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9685fdaff458cb4ca77462f87cafbbe3d12c60","datavalue":{"value":{"entity-type":"item","numeric-id":2146873,"id":"Q2146873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$6FC2C079-2763-4393-83B0-449C65A4A8E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dee56e4fcda540569b6c8f8d83ce2e14a649e0ae","datavalue":{"value":"10.1007/S10703-024-00462-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661756$F850A775-A7D2-4AB9-AA82-7A556E9E6829","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661756$B04CAE9E-2A09-4096-BEBD-72619FBDBC58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6661756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6661756"}}}}}