{"entities":{"Q2324008":{"pageid":2334751,"ns":120,"title":"Item:Q2324008","lastrevid":71843595,"modified":"2026-04-14T00:54:40Z","type":"item","id":"Q2324008","labels":{"en":{"language":"en","value":"A typing discipline for statically verified crash failure handling in distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104913"}},"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":"Q2324008$0BA9AA33-BBDB-4565-AD67-4ED548BDF51B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"147bea8b079daf3438af72509225e637ae0284bf","datavalue":{"value":{"text":"A typing discipline for statically verified crash failure handling in distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324008$089359E5-9EE4-4445-9190-DC076C962CFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"996cacb3efa104c2e5d64c90fdc8608874b8b6e0","datavalue":{"value":"1418.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324008$59771F21-D35E-4BA9-837F-EC9161728253","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e877dcedc1d011266f956d110620f89dae7acfe","datavalue":{"value":"10.1007/978-3-319-89884-1_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324008$7FC9D42A-0C48-40B4-83FB-1274C5ED33E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"857ecd24de468f4d88e610e0c31faaf70d8d5ce4","datavalue":{"value":{"entity-type":"item","numeric-id":2324007,"id":"Q2324007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324008$A03AFCFB-FF5D-4292-8E5C-C9CAC6210052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fceba3f38394307cbf467a1c6129b4248cbfcb3e","datavalue":{"value":{"entity-type":"item","numeric-id":492915,"id":"Q492915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324008$5DEB24F2-2DD8-402F-B45B-9C10376D6179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"481e083b5b2e15e19d949fc5e1d90e5242f02e55","datavalue":{"value":{"entity-type":"item","numeric-id":362582,"id":"Q362582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324008$97707FC0-257D-420E-A400-C96475297989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aee85b6b4aa4331b4495900429f276dea803b3f","datavalue":{"value":{"entity-type":"item","numeric-id":888407,"id":"Q888407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324008$BA847276-BA02-4431-B072-F80946E48417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d4036e2a20aeedff1526547ce89ae4625d39d7e","datavalue":{"value":{"entity-type":"item","numeric-id":1029810,"id":"Q1029810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324008$B0A893A9-9A37-4324-9F8C-D3B31D696197","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324008$9BF6AE34-8F37-431F-BBBF-B795E808B183","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324008$C1115773-1F9E-49A3-AE16-0B24B057E313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324008$EBC81F48-F2CC-4373-8FD0-1EE29C261156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324008$E855A359-B3D0-4B3D-A805-201169EF3D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324008$C40AB546-3FBA-4C88-AD87-09DA69E5DA85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"092c0163a41a968d712b890171e37c456ab62df9","datavalue":{"value":"7104913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324008$B2EF4308-E9A9-4F12-AD76-BCCB5BFF5D4A","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":"Q2324008$B6DDA676-7037-4163-9A72-0247D126CA82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa73482fc64b0e1c2efbf738db33e5a97018fdb2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89884-1_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324008$DB7D08AF-F2FA-4B81-8BE8-E6EE8E05DA2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cabd9b6cb6368d758311b49a9359693dd3a271be","datavalue":{"value":"W2797112223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324008$0AEE1F71-2B33-4CB4-B152-88348D1CF679","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1149cbb746588994d37f6f49909b12dd38f72fb","datavalue":{"value":{"entity-type":"item","numeric-id":2827463,"id":"Q2827463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d0991bbb753455ae8d2fcc843e91d232df5b60","datavalue":{"value":{"amount":"+0.8297118544578552","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":"Q2324008$09C07EC5-C0F4-4B6F-B2F4-1EED9AABD32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f632d456c53eefa8fd4a2180fd36d1e29a6cbecf","datavalue":{"value":{"entity-type":"item","numeric-id":4967196,"id":"Q4967196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fc938dfdd94afa62a1b5d17c8aa931162f3e85","datavalue":{"value":{"amount":"+0.7179995179176331","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":"Q2324008$C78E8044-4D00-440B-80A2-008D01C3A4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25f3844bc141c6fb23a52094034fb924f76d3c8","datavalue":{"value":{"entity-type":"item","numeric-id":5082187,"id":"Q5082187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51833c2a0d5675ec350d60a8bb9a7cb12963ceab","datavalue":{"value":{"amount":"+0.6823335886001587","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":"Q2324008$50A58280-654A-4E28-A6A2-13AF51BBCED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba14d364e976a6149fdf135a74d47d108a3264a","datavalue":{"value":{"entity-type":"item","numeric-id":2822666,"id":"Q2822666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32aeacbcb75d61cd73c7dc2d02666e6bb1a012c3","datavalue":{"value":{"amount":"+0.6799921989440918","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":"Q2324008$F09617B0-E3A6-4358-9EAB-C21AA12E8937","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324008$BC77C826-11C6-4504-AFAD-5A9420E925E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A typing discipline for statically verified crash failure handling in distributed systems","badges":[]}}}}}