{"entities":{"Q2703732":{"pageid":2714477,"ns":120,"title":"Item:Q2703732","lastrevid":44656272,"modified":"2025-11-24T19:26:36Z","type":"item","id":"Q2703732","labels":{"en":{"language":"en","value":"Verification of the legOS scheduler using Uppaal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1576666"}},"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":"Q2703732$41B846BB-1AC8-4F8A-BB89-B47260B9DA50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9084ca05a221093185fcc81e96383829259e5ce6","datavalue":{"value":"0970.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703732$A5BBEB31-8962-4517-8B95-C565D906CB13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a47efdb17d51090b0c7deb2067fe1e9617e074e8","datavalue":{"value":{"entity-type":"item","numeric-id":2703730,"id":"Q2703730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703732$B0B3C47F-0A95-447C-9F38-504430E8C01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00c25871f0c9b73b78a25eebab5405fb225e70a1","datavalue":{"value":{"entity-type":"item","numeric-id":2703731,"id":"Q2703731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703732$14622984-182E-4319-83BC-B80FC2190EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703732$0C7C8DBA-4B09-4073-9DB7-B1E02EAF9D90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea2ded88325e903b7f55f9d8e847a5de315d1740","datavalue":{"value":{"time":"+2001-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2703732$A597629E-B4CC-45C9-AF7F-454A523C87A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703732$E5D8873C-6B80-4331-A09D-8756DDA4EAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703732$BC890097-40C6-4DFA-B2F1-45A56DD8996D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25124914f722b82c4de2cd7a7f19c4f4c221733b","datavalue":{"value":"1576666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703732$55F3F3DF-9963-42C8-9DC9-00543BAC7F74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4005a5d868128209b106274840e676c112a21f","datavalue":{"value":"LegOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703732$E46CCBB5-D70C-46A1-921F-986AA0D17B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"234199a288eaf2c4b3846975331b2cd7884c9f1b","datavalue":{"value":"scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703732$91E44D2F-E2C2-4012-874A-B6A3F32B502F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"811e5984588d153ced2dc1ec56c75e5be865d00e","datavalue":{"value":{"entity-type":"item","numeric-id":32988,"id":"Q32988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703732$C02B8AC0-3E20-438B-974D-BCC80F23D81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703732$F7BD57FA-9131-414A-9DCA-59D61D926EB2","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":"Q2703732$F75A8E69-8AA2-4369-A84D-2C0857778F04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f182cc951842ad7cb6fd375d9a3c438bd126df3","datavalue":{"value":{"entity-type":"item","numeric-id":633291,"id":"Q633291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b18a64643da42e0647ac9f2fb32769b9d59cf0","datavalue":{"value":{"amount":"+0.81577927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2703732$50A67F3C-9331-40CD-85B3-76FBB994344A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab2e90cd1e8619de07a29e2be6f31189354b859","datavalue":{"value":{"entity-type":"item","numeric-id":1904642,"id":"Q1904642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e525ec9b054b076eb2d85779ece8be0e9a3e1b23","datavalue":{"value":{"amount":"+0.8109977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2703732$6785CB80-65C0-476D-A315-2E179323097E","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":"08788dfb9972977b5edd4010539f9e01d2101f98","datavalue":{"value":{"amount":"+0.8084003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2703732$433CE765-409D-46B7-B01B-E47921EB62B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8894d07f795f8608e4c9ac3e7f5da9cd81645615","datavalue":{"value":{"entity-type":"item","numeric-id":2766627,"id":"Q2766627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3edb03a1cb1b4b128b6dc91296ef5521718b1323","datavalue":{"value":{"amount":"+0.80803865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2703732$B639DD57-BCC7-4DC4-A205-D26F54539B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70300925deee11814ec9a0e319950712d8339922","datavalue":{"value":{"entity-type":"item","numeric-id":1941900,"id":"Q1941900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ab5ae121afe9071fd19d08885e7c12dabf7d32","datavalue":{"value":{"amount":"+0.80782026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2703732$5A4199E1-7B0D-4867-810D-EB5467C6E2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e031bb9bcda95dd5bd79b77deab6a15a4ea437","datavalue":{"value":{"entity-type":"item","numeric-id":4490726,"id":"Q4490726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d38c51361f39329721f86920591b7d3a1f02360","datavalue":{"value":{"amount":"+0.7995751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2703732$37CD2FA9-EC8B-4A36-A9B3-99BCB7B34BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b03ee6b09bc8f83bb34603b636d0c0b4e53ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":4536754,"id":"Q4536754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508577a3af7d4a24d1125bee71fbece686fbf1e4","datavalue":{"value":{"amount":"+0.797962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2703732$30DDABC3-CE4D-4329-B2C9-6FE838BFD29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563ef82671cc38ed17d1dfcd29a2f55129791ca0","datavalue":{"value":{"entity-type":"item","numeric-id":2969151,"id":"Q2969151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17852b75a96c457613754fe87a6191f7cd0d4e98","datavalue":{"value":{"amount":"+0.7968402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2703732$319E7CA7-D543-4B1C-993E-41BC62F2A3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93186e530f81dfea244b26e03402cd97b7a27f2","datavalue":{"value":{"entity-type":"item","numeric-id":1589590,"id":"Q1589590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"900a7fa090c2e1928cf431986682d247768fc62f","datavalue":{"value":{"amount":"+0.79671025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2703732$2EAA3376-8E14-468B-9189-C4C8B0023FAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f4956b334f9a65a72c4183409ca519f0b3fc753","datavalue":{"value":{"text":"Verification of the legOS scheduler using Uppaal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2703732$C66DB31C-EBA1-45AC-93F5-A72A34279ECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2703732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2703732"}}}}}