{"entities":{"Q3636855":{"pageid":5666761,"ns":120,"title":"Item:Q3636855","lastrevid":50694725,"modified":"2026-01-14T20:15:15Z","type":"item","id":"Q3636855","labels":{"en":{"language":"en","value":"Priority Scheduling of Distributed Systems Based on Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571891"}},"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":"Q3636855$3990767E-770F-4605-807F-CE025A22CC04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd6c6b4d4ace51bf9ec7cf1a058d633809616d78","datavalue":{"value":{"text":"Priority Scheduling of Distributed Systems Based on Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636855$9AEDFCBF-62A3-4B51-A93D-BC4715CEB982","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"133eb0dfdb679c19e43b49e00f30bc3c3049cda7","datavalue":{"value":"1242.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636855$D2CF3816-05B4-43A0-A909-CF5688A93AC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0b952f5e7925abc1d2d475a9f136338fc566057","datavalue":{"value":"10.1007/978-3-642-02658-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636855$6F50BE68-020E-477C-807C-1BB27FF3F1D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c7499853a299250ee6efa3338c735995ed3ddd1","datavalue":{"value":{"entity-type":"item","numeric-id":453499,"id":"Q453499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636855$669954F4-09FD-4FB2-BEBE-6B78E754CD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a16057771ba6219abfd2dd4dd127f6eec1b56a2","datavalue":{"value":{"entity-type":"item","numeric-id":453500,"id":"Q453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636855$0CE4F203-8434-473C-9B77-7E82B281B346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636855$02E14A33-AF4B-4B5B-BCF1-AB7220E9F31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636855$EAEC9B55-9269-4CDA-ABCD-F309CA5B6C96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636855$50D83EA9-1C2B-4161-998A-5116380F105D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636855$6A33FA7C-CA13-4671-B297-D36FB48007F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bb1f651ce6ca5e5e13e50d6524db1af74419b5d","datavalue":{"value":"https://infoscience.epfl.ch/record/185002/files/CAV-09-PriorityScheduling.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636855$59A125E7-7652-4E9A-AF73-4B878F1D7D66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636855$43FF056A-CADA-47BB-9A9A-4F7E103C0C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636855$4721E2E2-7754-4C01-BEDC-F18F02E9F323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636855$529BF81C-6CDB-42AB-8DA1-DECD6059A542","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45fd6a6b7e56e04aa272bcbb8a63c2b83282ce53","datavalue":{"value":"5571891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636855$4EC3D8F8-3469-487B-97AF-9021CA02B70C","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":"Q3636855$1F6A5C65-28D6-48DB-8442-0AF2B2C9E889","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7877716b057396e2e180c5d7aba05d292a3bf2fe","datavalue":{"value":"W1855597481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636855$9A989D6B-0479-45DD-964F-2AD2FA29BEF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc235601b58b46b5de01d6cd7f346e940fcb882","datavalue":{"value":{"entity-type":"item","numeric-id":453501,"id":"Q453501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec91987507542baff1351a87f4d7df512b0d530","datavalue":{"value":{"amount":"+0.999822437763214","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":"Q3636855$B09CF2F7-B238-42ED-834B-8CC27A2502A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd620fa57ab44b0db8a1d2faa7acc0d6a79dc00","datavalue":{"value":{"entity-type":"item","numeric-id":3587250,"id":"Q3587250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c852445a59e3c23e9baa14c01204706e8d041cc","datavalue":{"value":{"amount":"+0.9492635130882264","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":"Q3636855$C8885739-11B3-4C6D-8F02-0C2EB71B257C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a79cb2a954cdcd00cdb17fdec0f600a89249ea","datavalue":{"value":{"entity-type":"item","numeric-id":1406694,"id":"Q1406694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f0b0819f1fa5df52673af74feb473cd713ff4b","datavalue":{"value":{"amount":"+0.8380817174911499","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":"Q3636855$8EC08173-0418-48A9-841C-963277E43784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bf6990da15665dfb45ac7737c06e8066037f8a","datavalue":{"value":{"entity-type":"item","numeric-id":453529,"id":"Q453529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa251bed206fd75a3e97791f83dc5597d89fb0b","datavalue":{"value":{"amount":"+0.7360233068466187","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":"Q3636855$86682D39-C5E2-4AF2-85CB-C62526879C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973c00bea708f4aba442d2b6f8280adb2d461d49","datavalue":{"value":{"entity-type":"item","numeric-id":1040326,"id":"Q1040326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729e0b6dabbab95393e324e1aae1db8386708057","datavalue":{"value":{"amount":"+0.7333682179450989","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":"Q3636855$B6315503-390E-4EBF-87BC-98F52C780522","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636855"}}}}}