{"entities":{"Q2303234":{"pageid":2313977,"ns":120,"title":"Item:Q2303234","lastrevid":71798901,"modified":"2026-04-14T00:36:57Z","type":"item","id":"Q2303234","labels":{"en":{"language":"en","value":"Priority inheritance protocol proved correct"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176593"}},"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":"Q2303234$3FDCB460-FD7F-4ABA-9DEE-015F3A5EDDAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66ed112445cda1ba18e08512fd092a0b1db47ae0","datavalue":{"value":{"text":"Priority inheritance protocol proved correct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303234$4C5BC5FD-DA69-4974-9E8A-669A765B6B46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c04f3494c210fdeebb83ab52b9261a81636454b","datavalue":{"value":"1468.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303234$0A0A1D6E-DAE8-4CF0-BCA9-A0071B64FB5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c1db257e626cb76e16153e74052c741125ca701","datavalue":{"value":{"entity-type":"item","numeric-id":2113967,"id":"Q2113967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$F7779B8C-CCF3-4864-95C0-E60644B07618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$9BB2D0A5-D127-499F-A5B1-2050C745F645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39736715bab30a3ff137e1dff33ce2b8ee7a27b5","datavalue":{"value":{"entity-type":"item","numeric-id":2303233,"id":"Q2303233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$2F97908F-2A20-41E5-BFE0-5C293342AA0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$13CEB110-DC40-4C69-B7F3-4EBDDCD48886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61e2e5951dfff50ebb9b8606073c3ef7da57bd09","datavalue":{"value":{"time":"+2020-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303234$C6597CE0-EE6F-4E2B-AE76-9F382140F0E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303234$86827D1C-9A9F-4584-8FB0-9C10D92A22F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303234$DC9AB6BF-4727-4DC0-A6FC-F9FC310D6BAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"412c0df7ed0c46c54258c255269ffd5e1c1fd2fb","datavalue":{"value":"7176593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303234$D86CAAE2-A438-4F8C-84AB-F36A884893EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15ec9d8172ca01575c7b98ccd80c6a20af015f6","datavalue":{"value":"priority inheritance protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303234$E028E85C-C034-4D4F-B987-DFE44AAB4FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea9acc3a34dacdb37685c1fada457bb69e264d9","datavalue":{"value":"formal correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303234$C85F0BCA-AA26-4EA5-A25E-5DB554571CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303234$28C3FBA8-0BB3-4A52-9ABB-31ED006A8208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303234$F2879F04-8A86-407B-8CDC-03307387F4F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$335734B4-8C2A-48A6-A14A-B25254AE9358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$85D36BD3-00A2-42E2-9C07-827B604741D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$71EEB504-6E3F-4896-BD3F-53AD46FFDBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$D9A7F890-878B-4970-AC9C-60A52B2E6191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"04961116edf61a91e9cfc7265545d59c34c50709","datavalue":{"value":{"entity-type":"item","numeric-id":53616,"id":"Q53616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$DB6B9DF6-80D0-4A87-A427-2D033954E091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8054bf758bd0121e8282564572533e92ab7f3e18","datavalue":{"value":{"entity-type":"item","numeric-id":53615,"id":"Q53615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$FD03D97A-DB7A-4FE9-BAD7-7B670B991EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$B4EA7436-E302-477F-A47A-B9809320BFE8","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":"Q2303234$BE1A16C0-E350-49CF-A785-A83DF6AFA54E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff4e03d0869961d72f352b584285bc44a750aa21","datavalue":{"value":"https://doi.org/10.1007/s10817-019-09511-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303234$453981AC-682E-4ADA-9B2F-9C6E8C28912E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"421065a9c41bf2433fbac65d128910dcad640380","datavalue":{"value":"W54044857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303234$9CF835D3-061B-4852-9BBF-126B6D50B675","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c2b2b123c343df77b8b436a52db3d23bc44d76","datavalue":{"value":{"entity-type":"item","numeric-id":3093740,"id":"Q3093740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$AE684AD6-C040-48C1-8589-F25B57EF6811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e56477364275e8b3fb05c4cefbef5a05a121e78","datavalue":{"value":{"entity-type":"item","numeric-id":2875074,"id":"Q2875074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$A7C0A489-293F-43B0-8172-218350086A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75dbd6831f5997bcd1e3a90202470be0212b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$FF12686C-F769-48E6-9837-4A48DC7CF302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$B60F736E-81E8-4ED1-95F3-B6995651B77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a9430af5aa25a462da3cd153a4832471b5e016","datavalue":{"value":{"entity-type":"item","numeric-id":4003538,"id":"Q4003538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$BD183F93-26D5-4068-946E-28D24371F739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58210b721d117aac58a156c767207930470ab37d","datavalue":{"value":{"entity-type":"item","numeric-id":5375450,"id":"Q5375450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$C6088CC9-5642-4AC3-8AF5-08B426D9E847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2a05b932d7df9bd7771aa3fcf5ec9c5da21304","datavalue":{"value":{"entity-type":"item","numeric-id":5691093,"id":"Q5691093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$F294B6CE-EE4C-4629-A30C-F8ACDAF3C2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99283f5ffaa5c0a88d3869e6fd0fe6ab2a852961","datavalue":{"value":{"entity-type":"item","numeric-id":3183549,"id":"Q3183549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$6B1DDB80-ABD2-4650-93F1-A452E008677B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5982125c1fa3d1a258cc383b2ab94c862070eac","datavalue":{"value":{"entity-type":"item","numeric-id":2914744,"id":"Q2914744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303234$CD00332B-3781-4D4A-A997-87738EED3A04","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bfa18e931b0470979e79f28aa704eb05d91325f6","datavalue":{"value":"Q128416599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303234$0305B819-094E-4C07-9E3D-177D0DA7E2D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a86d557a44f4edeb6cc5790e58fd42e03ae7f719","datavalue":{"value":"10.1007/S10817-019-09511-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303234$FFF926C5-C773-41ED-8BB9-99CCAE6826EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af02db66a309629eb34fb9fa36c97eba14bfb883","datavalue":{"value":{"entity-type":"item","numeric-id":2914744,"id":"Q2914744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d85e4be128db053407d87a8882a79caf1adce4","datavalue":{"value":{"amount":"+0.9883663058280944","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":"Q2303234$0411AA25-CD65-47A9-87E7-1D1E5BBF257D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49be4e4cac2a773345c930396660331fb7b04961","datavalue":{"value":{"entity-type":"item","numeric-id":4003538,"id":"Q4003538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9f12aa7f1fb8e0f2570df6e73773604ade096c","datavalue":{"value":{"amount":"+0.7389345169067383","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":"Q2303234$4C102067-2D83-4BD2-8B9A-526A506EF0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7eff99584ad0c3f97d7d562f7fcbecfaaa864c3","datavalue":{"value":{"entity-type":"item","numeric-id":835766,"id":"Q835766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abdc52958f1024b2b292d4171a22acf5a2a6d588","datavalue":{"value":{"amount":"+0.7368316650390625","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":"Q2303234$39C47A73-7799-43DD-804F-7F750E3A0832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2024bd89be84cad34e143d0bd54693a09a19e9","datavalue":{"value":{"entity-type":"item","numeric-id":1607082,"id":"Q1607082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f98607e6f25e82540686d01cbbe8aa74bd6ce3d","datavalue":{"value":{"amount":"+0.7143871188163757","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":"Q2303234$993B5A88-87BB-4766-8F45-A70B8FF6350F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99edb253f5ddcee94fb06c4b2b2e038cef42256","datavalue":{"value":{"entity-type":"item","numeric-id":2424721,"id":"Q2424721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71a9d691daec33d3c2a7dffbb728ec1a16c5c00","datavalue":{"value":{"amount":"+0.6919618248939514","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":"Q2303234$031FFBAE-30D4-414A-93B7-A171DA5B74AA","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":"Q2303234$EEB14204-4E3F-494D-B360-BB2966550A76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Priority inheritance protocol proved correct","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Priority_inheritance_protocol_proved_correct"}}}}}