{"entities":{"Q3178268":{"pageid":3188977,"ns":120,"title":"Item:Q3178268","lastrevid":52573748,"modified":"2026-01-23T00:27:59Z","type":"item","id":"Q3178268","labels":{"en":{"language":"en","value":"Full abstraction without synchronization primitives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602824"}},"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":"Q3178268$623F7851-7E8B-49C3-A641-9FE23AFB5524","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5439970dff5b420379b5119e071c85c031a265d5","datavalue":{"value":{"text":"Full Abstraction Without Synchronization Primitives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178268$EF3127DB-485B-4A55-81C9-26ABFE74EF42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ea2594292cec74690549647fc6e12792d19279e","datavalue":{"value":"1342.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178268$ED2A861A-621F-4F3C-9E9E-64AF1F83FB15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178268$E884F87B-F640-4414-ADD6-6833B636C6FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178268$4723876D-CFDC-459E-A4BB-9965A220A1EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-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":"Q3178268$E2B4E03F-9898-489A-8889-F0EBE505308F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178268$FF6CE163-C3B2-4E82-A825-CD8651B02F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178268$A01540F5-CBCD-433E-9CCE-DB75856CA931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178268$09841CF4-3161-49DE-AAB9-6E355016B29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178268$99523DAD-4107-433E-800C-91CF79359F95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2af49a1a710187c4cffd7eaad4eb508be4627831","datavalue":{"value":"6602824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178268$C319D4A4-FBDB-4B86-BE92-829E46583773","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f579fff349133f347fe68804b904cd3c6afbb64","datavalue":{"value":"shared-variable concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178268$AB6F6A33-F0A7-41AB-BB2E-9BD02DFB442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995b00cc7d69ee07cf24da51a3a5485ed2bb2d30","datavalue":{"value":"mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178268$6EB5F09D-FBE1-4B20-821A-5BA03D6B5709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178268$C817BA2B-00D9-4683-8A26-C0D685BBEF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178268$801C55CA-628C-49C0-8BB9-EC6BF94945C9","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":"Q3178268$3068C96D-09A1-4A20-9D28-C22F1537C640","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e2e713c048ac0c43b9eaf7264dc1aeaf8eb1b1a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.08.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178268$21D0EB6C-8093-48E8-8D3A-F02EE89732FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"352fe70ada922ea8f51a5106143029dcfc74a36f","datavalue":{"value":"W2153166150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178268$9DFA6AA4-32D0-44CC-9A11-04006B349520","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d919a86d9292d6be7aa1a38625b18c4d1cdbe7d1","datavalue":{"value":{"entity-type":"item","numeric-id":1400721,"id":"Q1400721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178268$8D504440-9821-40C0-9C22-4C7CC80616B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44869c61c83d952c42bca31f4480add28534404","datavalue":{"value":{"entity-type":"item","numeric-id":5563096,"id":"Q5563096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178268$E56E5A12-8099-4E4E-8678-5A2966C5352B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fdcd589c76b4f2b17295ed254369e150b770afe","datavalue":{"value":{"entity-type":"item","numeric-id":2474441,"id":"Q2474441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178268$998327F0-16F5-415D-9E70-ADD01584FE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d8c892c6f9e085e6e371e9dcd80cb1584e35bc","datavalue":{"value":{"entity-type":"item","numeric-id":4917059,"id":"Q4917059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178268$29993ED0-F0B9-4D3D-BB53-D1B641B67CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178268$31AE7F88-34A3-4AA1-83F8-099576F8BFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef57295b2e8a33639ff3175739c97140ae146dfe","datavalue":{"value":{"entity-type":"item","numeric-id":276481,"id":"Q276481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178268$817D1914-393E-4313-AE30-4A3FFCAC9EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a41cb67069e3a5c503346c6fc19d94a19003472","datavalue":{"value":{"entity-type":"item","numeric-id":3608438,"id":"Q3608438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178268$E9D45208-EB53-49E8-91AE-5F2EE6948ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178268$E736CE36-1778-4CDA-8CA0-1CE84BA098DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dc7f264d8931f3267e78bdd46fefef42e8cc530","datavalue":{"value":"10.1016/J.ENTCS.2010.08.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178268$037452AE-0E0F-4852-9097-3B375ABDB65D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32411df11188357d797c36f03de87e481ba2b0da","datavalue":{"value":{"entity-type":"item","numeric-id":2958546,"id":"Q2958546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b630728ff2d000f40b3dc25ef18441e14736052","datavalue":{"value":{"amount":"+0.8430999517440796","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":"Q3178268$957C2D85-8724-4CC5-835D-215F6A899935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741c8c96e770b77a80ceb44a95ae6ca9fe43524b","datavalue":{"value":{"entity-type":"item","numeric-id":4917059,"id":"Q4917059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8b428b98afbf4949aa0f042af083226ac0da03","datavalue":{"value":{"amount":"+0.7981680631637573","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":"Q3178268$D7F81976-7551-421D-861E-3C9EADBEF76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9459b8efd97e06345174de23923e21c182a43d9","datavalue":{"value":{"entity-type":"item","numeric-id":2474441,"id":"Q2474441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4401c5cbd272aa7d1f61aa62ad70332c149f124","datavalue":{"value":{"amount":"+0.7854683995246887","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":"Q3178268$9866A467-6387-47FC-A0F8-876E6D58463B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f728a4eebd72089c51a67d269e82b890bc3869c","datavalue":{"value":{"entity-type":"item","numeric-id":4222822,"id":"Q4222822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7aee0e9d03b879cad6921feaacfc137525a65ff","datavalue":{"value":{"amount":"+0.7833502292633057","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":"Q3178268$613B79AD-19C9-4AE2-A91D-49A37E195083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7aa24fd28f3c1d1c0599b8d5759e7de0acc261d","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902db46af387fd67df1aa30afe78ae2d8e9d7cba","datavalue":{"value":{"amount":"+0.7786096334457397","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":"Q3178268$E49AFA12-E330-446B-8D85-6ABE78C4279E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3178268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3178268"}}}}}