{"entities":{"Q3512484":{"pageid":5542388,"ns":120,"title":"Item:Q3512484","lastrevid":50405630,"modified":"2026-01-13T23:51:00Z","type":"item","id":"Q3512484","labels":{"en":{"language":"en","value":"A Hybrid Type System for Lock-Freedom of Mobile Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301100"}},"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":"Q3512484$820D1CE6-77F0-4FC5-8A41-A46744CC2D87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ba24504b0fcc7f207f906b516dc3a2cff8cdb0b","datavalue":{"value":{"text":"A Hybrid Type System for Lock-Freedom of Mobile Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512484$E0E0D71F-19F6-4BD2-A9F5-D9776F218739","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be005a025d9c59528571a71f898583e43c38c6f2","datavalue":{"value":"1155.68474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512484$987975DC-BA89-4A10-82C0-B87A0569D51C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dac401dd389503522f1385f40c4f08ea722fff0","datavalue":{"value":"10.1007/978-3-540-70545-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512484$C1161DCB-2677-4FFA-8D36-A1AB4F97827B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512484$4CE8436D-EFA2-4C72-B13B-55F1695BEA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512484$7977E318-4741-4995-AD84-4C98DC1CF608","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512484$D5568B1A-6DE2-4C42-BCD0-8050FEC5B4BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512484$FE1F7DE3-6EA5-4BAC-8D8D-C24DDC383CAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512484$B3FB99A0-C2E3-4BF6-A12F-27088C12379A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512484$103B84C0-7375-4DF1-9F23-2D61B253B798","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"223b7a0f0a50c1fa81b99e84b0acdb2478cc20d1","datavalue":{"value":"5301100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512484$F9EFE6C6-E63D-4331-8458-1F1802C35757","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a557776217bf8c27ff1474396465b9e88385161c","datavalue":{"value":{"entity-type":"item","numeric-id":23420,"id":"Q23420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512484$A9BC3988-4CB2-4470-B12A-95F361A1B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512484$5A1D3C6F-A207-46E3-8E6E-C56F9EDEDA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512484$4772F794-41C4-4DA0-93C4-C4F8C430F03A","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":"Q3512484$C486813B-8C2C-453B-8B9C-830D1CEFB5C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"318330466b7d937b813184c6a77a49599454b9fe","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512484$ABB67F35-4FDE-4ECD-A2C3-7346EF639B14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"989b4cd83274481b255237e5b339c10625e125ee","datavalue":{"value":"W1775146113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512484$ABB978E7-14AF-4876-A8DB-8C135A660FD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1e1241fdb9b4eed8c3adace471561e0f761f88","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37fcea04e220027c201840afc01aa066d8a5fed7","datavalue":{"value":{"amount":"+0.859294593334198","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":"Q3512484$69E22ED3-3132-4F49-AE8F-614008A9A2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450c906cb76dedd6d46764a57932bf7a5ca2af1a","datavalue":{"value":{"entity-type":"item","numeric-id":4635657,"id":"Q4635657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5161ae31d26f12f625c1c2e684ef029fb8f6cd5b","datavalue":{"value":{"amount":"+0.8112305402755737","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":"Q3512484$03F653A9-3CD0-4D88-AE7F-F20F1C9AF3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705471f05b92b57333ebb90cf2ff7005aaa9956d","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9d9738ccb3d5a06484014cf33effd416fb4e66","datavalue":{"value":{"amount":"+0.8087758421897888","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":"Q3512484$9E2D1796-ED06-4CF6-B0EA-C984ED32DE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a427cda6a5ce6bbe52dbc17b0c215b61bb5d2e9","datavalue":{"value":{"entity-type":"item","numeric-id":2827445,"id":"Q2827445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ab8aaae70934ffee564ecbd5cd8e1b44e1d726","datavalue":{"value":{"amount":"+0.7965190410614014","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":"Q3512484$1739D57A-5D0B-4781-B17C-D636D4FF29F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d65460650fda6442071e21e391346bcd1f1bc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536623,"id":"Q4536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8579d80e3890414ec571d7959814a0261f46413b","datavalue":{"value":{"amount":"+0.7840895056724548","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":"Q3512484$8E12B330-4018-41A6-AD8E-29194932B675","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512484"}}}}}