{"entities":{"Q2643127":{"pageid":2653870,"ns":120,"title":"Item:Q2643127","lastrevid":44546463,"modified":"2025-11-23T19:36:09Z","type":"item","id":"Q2643127","labels":{"en":{"language":"en","value":"Highly dependable concurrent programming using design for verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182237"}},"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":"Q2643127$1232BAAB-8F43-47F9-A099-AE8F2185D6ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95cda4dabe10370ca7c24b5d35057654a558e644","datavalue":{"value":{"text":"Highly dependable concurrent programming using design for verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643127$89666E83-795C-4ABA-8A1E-89734D8A4B94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d6f8204578748522cc30ba63d4e62df24c74f49","datavalue":{"value":"1121.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643127$DF302318-7019-4CBE-8D80-BBDBEEFBF422","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80f44a5366559af2e85239364f2ab08cf51ee4f","datavalue":{"value":{"entity-type":"item","numeric-id":2643126,"id":"Q2643126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$F3CA4AEC-184F-415C-BB56-E93CECB28F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$0CC97780-D549-4FAD-8FDB-149E591937D6","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":"Q2643127$33D55DD9-5304-4672-A23C-3AB4D370AF7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643127$D94E330A-D6D6-4192-B678-E35E324E4D96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643127$9D3B05DD-B0F7-4CA6-A0A6-29CFEF57F852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643127$9EBB70E2-451D-46DC-A28B-4113CE4CEE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643127$D59CA2C5-8D8B-469C-9201-C57C886AFE2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d438191e0f44b31f22b66432b42d1d616febc28","datavalue":{"value":"5182237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643127$5CC4F004-96EF-4138-AE83-BDD84440FD76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643127$7C30DE4F-3BF3-4429-90FB-AB9917C2A10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae351fa3bd5b8fd968e692a6c497c67d15cfd929","datavalue":{"value":"Interfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643127$2D98A36F-AD08-4E32-9F74-2BEC29EF68E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b22f452301296ce1fd570302777b983185c9d12b","datavalue":{"value":"Concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643127$BB192699-3C7C-4D98-8E1C-45B083811FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30c94da4445ae92e8b2a98175ad56281b4e877c","datavalue":{"value":"Synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643127$66E831AD-A08C-459F-8D6B-24BAA899546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2cb032926e22b6835312ecdb51b660f9e976d58","datavalue":{"value":"Design patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643127$8D68DA2B-C761-47B9-8D76-C1FB8D9DC277","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$346ADF6F-4D2A-4971-8C82-F05A337288DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$AF0430DC-8255-4190-A7DD-EBC701B726E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$37C046B0-BA56-4FA3-A037-200AB9291D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$EEB40DF6-9283-4A80-AB15-10FEBB15070C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a58344ca6620cc2911a46ed8252c861b469b4da","datavalue":{"value":{"entity-type":"item","numeric-id":14536,"id":"Q14536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$7B13D512-6C44-4803-B195-D37C29BE5846","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":"Q2643127$D46213BE-3CF9-4734-AEFA-F846332CB184","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"445100583de9f875d13993d72b7d2486245c1d57","datavalue":{"value":"https://doi.org/10.1007/s00165-006-0017-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643127$9F8C1294-A3CA-4922-811E-F85F47D4F948","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d12a6ca1a6e43e984c026cd67972f8efd71e90ab","datavalue":{"value":"W2067680178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643127$C71A7B24-99FC-45FE-B7D0-344AF2C99D9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43d7854e50381630023e07192383000eb7eb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5276138,"id":"Q5276138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$C6825CDF-A063-4796-9B1A-0C7A22855BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a69ac682a488ae0d71c8d6ac880194a706db583","datavalue":{"value":{"entity-type":"item","numeric-id":2643127,"id":"Q2643127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$C081C138-29D7-42C3-9973-53ADF9BBFDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1863735c4f4a7e3c8a5100c5d881e4aa4f68e5cd","datavalue":{"value":{"entity-type":"item","numeric-id":2845501,"id":"Q2845501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$BCFB0C57-4714-4C66-9300-213D0A8C8A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$074A592F-26A4-4C4A-95F2-22B2CB71B94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca108e30c3fc907c7296b226db780f8d8292dce7","datavalue":{"value":{"entity-type":"item","numeric-id":5716583,"id":"Q5716583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$5F1CA6CB-A984-44FE-AEA8-3EB5681B96FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9326764ea01b9424fdd6e3bd21dab0e12eef24","datavalue":{"value":{"entity-type":"item","numeric-id":4804914,"id":"Q4804914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$A2FF1FC7-C912-49DE-B836-ADC9B5CEFBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82889a8aaead4f7b83d3113f27cd04ae3da7df58","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$8EA1D053-87EF-4788-B3E1-F4DB9F972794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bcf149a82f4ecdacc08e753743e430f121760d","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$450A9C0E-C4EA-4962-A572-888495ED4437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69189b9ee1b2a20bb21990a8dbcff02d49d239ed","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$D898FD51-38F3-4BA2-A36D-15E51F324D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$CE281223-3BA6-43BF-A610-344BB6EC4350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd1b9b8dfa727aa22cfd5060c41df10aaf8a04e","datavalue":{"value":{"entity-type":"item","numeric-id":3122691,"id":"Q3122691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$4D8821ED-78EA-406D-8FDD-75524A92D00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6f8c676c75552273283518d2daf462d7c08824","datavalue":{"value":{"entity-type":"item","numeric-id":4240122,"id":"Q4240122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$EB26D9D8-7CDF-4745-BECF-A7DF1DF490DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532710eb403832798cbe45ecad63f0c51ab6d468","datavalue":{"value":{"entity-type":"item","numeric-id":2764134,"id":"Q2764134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$1939FBDE-6B51-48D9-BFED-EC9E57E65171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9234443dd0aef81121b284cc952adcd1b1158b23","datavalue":{"value":{"entity-type":"item","numeric-id":2757272,"id":"Q2757272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$B82E96A6-8AE1-4AE4-8E20-86C6F8A0F406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02f728e7a7db53f3c813c52dbe4e8fafba4a359","datavalue":{"value":{"entity-type":"item","numeric-id":4411951,"id":"Q4411951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643127$1D276127-1A80-472A-A4A4-BDCCEE839185","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a56250ad873360aeca9a25eb3275573714c680e","datavalue":{"value":"10.1007/S00165-006-0017-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643127$DFE3C65E-3E1B-4FDB-9719-E93F2FBE14C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e035fc28d7d87e05f75a6c27e06d2ade0e4c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2870197,"id":"Q2870197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80de971607a953570adb90c10d39a868c5514dcf","datavalue":{"value":{"amount":"+0.9046416","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":"Q2643127$6AF75DFE-2E9A-4A0B-9C18-B55C7831F4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62236109023803ef2fcdb618cb6f8cecf602369","datavalue":{"value":{"amount":"+0.9035963","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":"Q2643127$1F76F09C-87F2-4005-AF5B-B6D53C582BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3579b92783ac4c94b33f26f3d5ad05becdee062","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b927a653f821bf2bd37f63837b39bf95fd17f722","datavalue":{"value":{"amount":"+0.90129554","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":"Q2643127$2876D1D5-DF78-4EFA-8503-A71EA1135AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d923660b529be4de0709e4de6b0b139c9cd0582","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b927a653f821bf2bd37f63837b39bf95fd17f722","datavalue":{"value":{"amount":"+0.90129554","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":"Q2643127$FCA442E9-165B-4668-97F2-0CC269E68870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6c462e867d4f316b0fc4740a35782dc37d3e7b","datavalue":{"value":{"entity-type":"item","numeric-id":3564023,"id":"Q3564023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81ae4de2fd3a154d4f7b2c3d2bd72f5a6ee544c","datavalue":{"value":{"amount":"+0.89984226","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":"Q2643127$0A0A382F-5E7F-4AA8-A95C-72E4E553C9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852eb63c97a10fe2089a9bbd6eb4d8fa4677be2d","datavalue":{"value":{"entity-type":"item","numeric-id":5326292,"id":"Q5326292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a26eeb22ca925a54a094255faab65911d30c402","datavalue":{"value":{"amount":"+0.89790356","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":"Q2643127$B506ABD6-3675-4D96-A5CC-FF7FE6872F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64089960ba9b6a309839855abf99b8ff61c4be86","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678ecc2f7d35a515e089e51137567bbb78772a0f","datavalue":{"value":{"amount":"+0.89762795","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":"Q2643127$B83F67F6-1F3D-4535-A12F-B651A5721FB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643127"}}}}}