{"entities":{"Q3685165":{"pageid":5715071,"ns":120,"title":"Item:Q3685165","lastrevid":50087971,"modified":"2026-01-12T22:06:12Z","type":"item","id":"Q3685165","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3907747"}},"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":"Q3685165$FFE53C51-66D6-4CCF-BF9F-8CF5827A77CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b84210968ebc5556092d539bbad73297d70e7026","datavalue":{"value":"0568.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685165$469A2691-7DB5-4E3B-AA64-3454A05D57E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3685165$0B1D4CB4-E4B6-4FC8-A810-F1813F7A740C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3685165$207A0454-2B37-4071-974E-603D2CBB0DDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685165$BCFD5401-9006-4002-BA79-D8B8C5DFF8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685165$1B2EBEB0-51BE-4A9D-A08E-5B3418B7A9B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fd06bd4cdc5ccd2ef72a15407ffb1e95dd409b0","datavalue":{"value":"3907747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685165$9CB54882-272A-44B0-A345-76A820A3AF8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685165$13C882CB-B552-40AA-BD98-938209D6D7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685165$368066C3-D61A-4B83-8C1C-FBA18B47D7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf2cfbc6e4ef9d6558d9f0ed6d4633eea496912","datavalue":{"value":"interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685165$3D61B17D-D83E-4858-B35E-1633FBFB570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685165$E88E527F-709F-4F18-8485-F0CABCF5C9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685165$E52800E6-CFAF-44EF-B155-E1B695767DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadda23f1157007381fb6e25ecc620abcd7b9727","datavalue":{"value":"parallel programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685165$A82436C1-3C15-4FBB-9FD8-0815D8005743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5600574d48e2f02115fddf80e9bf405f8263144b","datavalue":{"value":"shared variable concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685165$5C97F350-C963-47F8-9505-6454DDFD3133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685165$D2A6251A-C81B-441C-8B28-71AC7BD07159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817ee184ba3b55284944126d8560b16434409e44","datavalue":{"value":"proof system for program properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685165$72766E12-2197-44C8-8357-03DD6E2652B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"480662d2cba0de90e44d69a6cb65aaa0e5c87bf0","datavalue":{"value":"parallel composition of assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685165$389BC6B5-FF12-4A14-8A66-F610C9AC1265","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":"Q3685165$7D360D4C-91CB-4E8A-96D2-B564F521FCCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c73973295e62904ce2821e414edb1f3163c4ad","datavalue":{"value":{"entity-type":"item","numeric-id":3704884,"id":"Q3704884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2b0ced893ad3dd8c806e3f9086b47db9cb273c","datavalue":{"value":{"amount":"+0.9211104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3685165$1FAEA81B-E053-401E-AAA0-42D36A3ABCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26e514d9358b49f6487e36c31b8fc7af08b20b41","datavalue":{"value":{"entity-type":"item","numeric-id":4737367,"id":"Q4737367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8da0d33ddadfd0c7226b569d3ca7a1ebc71f09","datavalue":{"value":{"amount":"+0.9128387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3685165$ADE28A5D-334F-4892-AD84-88DCA18402EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ff84f8d0f4db8e5d356753cda328996449a307","datavalue":{"value":{"entity-type":"item","numeric-id":796292,"id":"Q796292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ce09982009478c68ded1da1c7c6ae5ee95daeb","datavalue":{"value":{"amount":"+0.91213846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3685165$95104301-9A00-49CE-A58E-01BD00D61E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d98cf4596128d2eafab1848b3317ed1c834b834","datavalue":{"value":{"entity-type":"item","numeric-id":4945248,"id":"Q4945248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40afb1e946d96a942181bbad3d8a3530f073653e","datavalue":{"value":{"amount":"+0.9093652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3685165$F9FADE3C-F5E2-42D6-B67F-4217F1460ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d794c7348ab0562d7792754977cbf80b636422","datavalue":{"value":{"entity-type":"item","numeric-id":3782745,"id":"Q3782745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2cc2e05ddedc08bc9b589766dc017633e85b5e","datavalue":{"value":{"amount":"+0.8971348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3685165$27221D46-04E1-4EA7-8E7E-A48A72705812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534e11ea1935181911ee13ba7a1a477f53ad71e2","datavalue":{"value":{"entity-type":"item","numeric-id":3789055,"id":"Q3789055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee7af7e2ec58811be3c41b5066f5e3c3569ed92","datavalue":{"value":{"amount":"+0.89667785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3685165$5B1AE0DD-9330-4A9B-A2A2-045E2B2D5675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ff3f3126e0291a632494a6aa61c7fe3f5d621c","datavalue":{"value":{"entity-type":"item","numeric-id":3095349,"id":"Q3095349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca3a8b7c0e7ff8b2e74a8dbb6c2b31f2ee205d7","datavalue":{"value":{"amount":"+0.89648354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3685165$B0081575-7098-4F12-BB11-4D5E987D0206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab0debac49dff584ec2ee2a76f5fe6d6e7db327","datavalue":{"value":{"entity-type":"item","numeric-id":1194208,"id":"Q1194208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481b9447522d7d86e797d9f469b02480bd92a86e","datavalue":{"value":{"amount":"+0.8889543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3685165$5085A7E6-696B-4B30-A75C-B1B4D42033C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf764478685e19a917f477fff7b1e6bbcf98732","datavalue":{"value":{"entity-type":"item","numeric-id":5698669,"id":"Q5698669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52891d25b8dafa536b8866df89a9503b9cb21219","datavalue":{"value":{"amount":"+0.8888259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3685165$31F87EA7-93A0-4F5F-B364-490A8907CBA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3685165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3685165"}}}}}