{"entities":{"Q1764428":{"pageid":1775170,"ns":120,"title":"Item:Q1764428","lastrevid":72479364,"modified":"2026-04-14T05:12:11Z","type":"item","id":"Q1764428","labels":{"en":{"language":"en","value":"An assertional proof for a construction of an atomic variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2138506"}},"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":"Q1764428$D409479B-5B4E-4BEB-91D5-C5D9745289C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04ca0ba41ad3584c0f1af69c0649c733a2b0a788","datavalue":{"value":{"text":"An assertional proof for a construction of an atomic variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1764428$01373033-9AA6-49FB-B1CF-4D1BF5D9FA46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77c6b89845de26e2542c64373c08300437dde2ed","datavalue":{"value":"1061.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764428$A5E7894B-ECF4-4890-90A0-C9CBD0E9C7F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764428$7E7E4C46-B898-454C-A883-B72C833E12A5","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":"Q1764428$315A3F4E-13DA-4C7D-A3D5-0DCD0B728D35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acb9018679bc717a3868823379e1b5aa1d36ccf9","datavalue":{"value":{"time":"+2005-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1764428$64EB936E-73D5-4629-8083-1D5ED0B85738","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cb9ff27b68637322530c2355b7fe0b016754f40","datavalue":{"value":"https://pure.rug.nl/ws/files/2985031/2004FormAspCompHesselink.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1764428$F26AF177-093C-43C1-AF10-317D61B222C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764428$BF9496FB-321A-41E2-A075-98F7E8F9D0A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70b2234dcd1a58ce9b68e5e29291772c6621ecef","datavalue":{"value":"2138506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764428$D27AAEA0-0BBC-4867-9DCF-593D089B8D1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b5c85aa1ddc11b8a8666d40d206bb67343c628","datavalue":{"value":"Safeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764428$16D894DB-4E74-46F7-AA50-204DB8FD06DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8739a40e840abc1c4dd65bc055420c0ec6f0ba18","datavalue":{"value":"Atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764428$262B3EEE-FCC2-4CC4-B6CC-CBC4E7AFB9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd0b49b0853f4bca1fab6dd9d1744e25d0c8642","datavalue":{"value":"Wait-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764428$36702337-D703-4A70-B93A-92280D4537CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d3455749e8c3c50608681e020f6c4489370e5f1","datavalue":{"value":"Invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764428$F1FDCD25-B6B4-4A3A-BEE6-2D32B18FE739","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764428$F0488E06-F48F-4228-9577-4B6EA7353A31","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":"Q1764428$E2A3A8EF-B739-442F-BBEA-0977C6B3B8EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd7fcdbdd76f401c26cb5bf273ac6df708f22c02","datavalue":{"value":"W1982721481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764428$0B33FD5E-35DF-4B46-8EC0-293E517AE6BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72689d5ad4ce431659edd852d90a8b76443a1298","datavalue":{"value":"10.1007/S00165-004-0038-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764428$9029C49E-3415-4A11-A02B-8205118EB996","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a35dcdf291a30d8b7efaaee5b882f2e4f51acb8e","datavalue":{"value":{"entity-type":"item","numeric-id":2482021,"id":"Q2482021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406981e1a8ef76a9d0be2b3a2d1e8086f48f2297","datavalue":{"value":{"amount":"+0.8307356238365173","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":"Q1764428$BC2EB8C0-5703-4234-BC85-2AFB24B367B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae20751e9d0e200e84fdd79bc5c769065bb48e4","datavalue":{"value":{"entity-type":"item","numeric-id":1608943,"id":"Q1608943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16caceedd0d09ba19db4b714b3064260bb81207","datavalue":{"value":{"amount":"+0.7924132347106934","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":"Q1764428$3B2BC9D0-4007-4AC2-BBA8-20E6B1E0365E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd49ed421a11de7a1f4822e888407a4ec83a9ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5261501,"id":"Q5261501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8deb647a997096daf7a1482cafdc94c51e33dba","datavalue":{"value":{"amount":"+0.755824863910675","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":"Q1764428$7623E84C-8122-45BC-AE41-5BA1135A6F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81c419f19cf0132e8d43b660c79afcb5b8d6ec5","datavalue":{"value":{"entity-type":"item","numeric-id":5395145,"id":"Q5395145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4c488baad7e1a81e045548858e0371ecd86c9f","datavalue":{"value":{"amount":"+0.7404158711433411","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":"Q1764428$12CDB44C-E3D3-4932-B797-EA0DFDD6DEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17afe34a97ef5aa71d94fe7c7368f4d4e57e8ccf","datavalue":{"value":{"entity-type":"item","numeric-id":884994,"id":"Q884994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659eeb5337e66818eebd610849d375456c4c346f","datavalue":{"value":{"amount":"+0.7268314957618713","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":"Q1764428$53E0D605-3549-4311-8D6F-405947BBF9D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An assertional proof for a construction of an atomic variable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_assertional_proof_for_a_construction_of_an_atomic_variable"}}}}}