{"entities":{"Q2914744":{"pageid":2925464,"ns":120,"title":"Item:Q2914744","lastrevid":51558122,"modified":"2026-01-18T18:56:31Z","type":"item","id":"Q2914744","labels":{"en":{"language":"en","value":"Priority inheritance protocol proved correct"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084491"}},"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":"Q2914744$9815399F-FC6E-4549-8920-4D4BECA46081","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d690c42098b49dc53f4d854b5a44d66f4896f93","datavalue":{"value":{"text":"Priority Inheritance Protocol Proved Correct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914744$9D32047A-13BC-4B8C-AEBF-324682417A8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccd27af72a2b251ae997183dd470b890fe387ff1","datavalue":{"value":"1360.68772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914744$3F7DC7BE-3DDD-4F7F-ACBE-726C5F14672C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"452e44cf50ab160ab8140f25f250bce021cd1499","datavalue":{"value":"10.1007/978-3-642-32347-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914744$6DC73240-7DF7-4D8C-816F-2A67EC878344","rank":"normal"}],"P16":[{"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":"Q2914744$42A649E4-A2EF-4599-9891-4E924F2611AB","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":"Q2914744$4161BE1A-6702-4BFD-B6EF-7C1536099F94","rank":"normal"},{"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":"Q2914744$E06D9CD2-341D-4196-9F75-3D8B29E51528","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914744$8322F857-B566-4492-A1F8-ED0EDDFF67E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914744$C3A576DC-2CAB-4D73-B1DB-C266934FC195","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b747b8a7faacee8d789cf409bd8b9b34a9a6bfe9","datavalue":{"value":"https://kclpure.kcl.ac.uk/portal/en/publications/priority-inheritance-protocol-proved-correct(97daf087-4f9f-4689-90d0-8743ea85ff61).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914744$067389A6-D476-446E-93C6-A7CE2EF3FD4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914744$EDB078B1-0B99-4D5F-980F-6919705DDB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914744$1B681446-29FA-4D35-B2EA-91E565FA04A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a056e76bebc601094810fc8c09e5685984b9d2a","datavalue":{"value":"6084491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914744$EB44CCF3-8883-4F92-B8FE-3EB07F9D78E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15ec9d8172ca01575c7b98ccd80c6a20af015f6","datavalue":{"value":"priority inheritance protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914744$A4641AC1-1CDE-44CA-B85F-62EA3E48E831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea9acc3a34dacdb37685c1fada457bb69e264d9","datavalue":{"value":"formal correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914744$B3C237B9-6798-4F6F-B6A9-5412AD5DAD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914744$485DB893-BD9F-466C-85B9-7C52258488F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914744$205FBB9F-EFCE-4C8A-BB2E-ECD9161BD70C","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":"Q2914744$EAE78CDC-8C3D-4115-B3CD-30D6735261E0","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":"Q2914744$B8BC1F9F-A703-4467-B3D4-1D389E603B40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"911a203969b82c09c19d644207e14779cc6a7196","datavalue":{"value":"W2995006832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914744$B9ACCE56-BC21-4C47-9F65-345916DEEBDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f84fe03b7010f589b0ed5b02b0b317bc673bdbfa","datavalue":{"value":{"entity-type":"item","numeric-id":2303234,"id":"Q2303234"},"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":"Q2914744$4A7CDA92-C5E8-4CEF-A270-A70F8174D4B7","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":"67bef8b709dba2de666edb85d2cc72046cdc8991","datavalue":{"value":{"amount":"+0.7328356504440308","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":"Q2914744$A8A26858-EFAD-436F-B638-A3956BBF4D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140e0c39ef73d2f15c63a7bdda25a97304dc30d6","datavalue":{"value":{"entity-type":"item","numeric-id":2251355,"id":"Q2251355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdafa9c5dc141ae8e7eb6c36c5ef8b443cedc59e","datavalue":{"value":{"amount":"+0.7312126159667969","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":"Q2914744$A8E25AD9-D877-47E7-91C6-C6814BDA5014","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":"3c56ba7e8779e8859690b34040b4737013fdb61b","datavalue":{"value":{"amount":"+0.7103480696678162","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":"Q2914744$76CAB694-8375-4236-A4F4-C1CC36431462","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":"18d5165ca3ad462dca929f934fffcbaa9a7b66b4","datavalue":{"value":{"amount":"+0.6878924369812012","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":"Q2914744$57794029-59F5-4B9D-A0EF-B7A8AD00921A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914744"}}}}}