{"entities":{"Q6151616":{"pageid":13285923,"ns":120,"title":"Item:Q6151616","lastrevid":39730782,"modified":"2024-12-30T17:56:39Z","type":"item","id":"Q6151616","labels":{"en":{"language":"en","value":"Time distance-based computation of the \\textit{DBM} over-approximation of preemptive real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803179"}},"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":"Q6151616$8BBF0931-9B75-4964-9BA0-D3ED3A9EDDFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21ea20344ee8aef1025b93b77bab6625688e7573","datavalue":{"value":{"text":"Time distance-based computation of the \\textit{DBM} over-approximation of preemptive real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151616$EB0AE27D-D931-47FD-AEA6-5377F0813141","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"735dc9c347a2ba61e0570175a0ef99c1d95023cc","datavalue":{"value":{"entity-type":"item","numeric-id":3601839,"id":"Q3601839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151616$4993FE17-94B0-45F0-9BB7-3627E7CF00DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151616$89050D6E-DB95-4811-BA1A-91404ABB0BE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2690d5dc291ad0ded12f2eb8597187f840576ab","datavalue":{"value":{"time":"+2024-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151616$5ABD44A9-16AC-4447-894E-F767D1541F28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151616$C48F2341-B527-4D9B-931C-893C156CEE82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66531bac3bdfd06853f3578fd62878e66f9801a3","datavalue":{"value":"7803179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151616$EC9A3759-1AFA-413E-A6A2-1E168A0FE6C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bcd7344d7fe45e48fabb3d8b1fd0714832246d6","datavalue":{"value":"preemptive real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151616$79724DDB-C278-4849-9B74-1D669C8AEB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72b02341a74d7450f2007540e802121415ee1f8c","datavalue":{"value":"stopwatch inhibitor arc time Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151616$1CF2C8A0-00CE-424B-B752-9A920A29BD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0853d837594d86529c0e6f3a319fe49c3463df5d","datavalue":{"value":"state class graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151616$5A311FAC-C98E-43A6-88A6-080910D45E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f4a04e8e2e70c775bdce90ce7c3514dac596551","datavalue":{"value":"time distance system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151616$9EE794B0-38CC-47A0-B98D-C162851B428D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe1304034bf7baf4f63962c90114cffa1ede3460","datavalue":{"value":"difference bound matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151616$E8EF2B7B-0F46-48E4-9F05-B0505A91D5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b63164c02887bead102f8953eb6f596acaaf399","datavalue":{"value":"over-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151616$48E5881D-3799-4CD0-9D2E-0ABE86F59A38","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":"Q6151616$6C1167AF-6F09-4622-976C-9D97A6A5FDE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"564ddbc4ffd34a94a6447efacc90d01dcf5bf8d5","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2023.100927","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151616$497E2E35-DAD6-418D-AEBB-751A49E7452F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ebcc9204ee035576b7bae4e797baeb2e999403c","datavalue":{"value":"W4388347661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151616$107F9039-34A8-474B-B753-7CD66DE2F922","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151616$0A83635E-6BE5-46C1-AF84-FE7051E9A569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"988d71a736f33be45785804e9658af2a1866bb2d","datavalue":{"value":{"entity-type":"item","numeric-id":884758,"id":"Q884758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151616$5084ABD8-0F98-4B7D-874A-23AB5144D32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df63538162f9e159411979e014352538c7c4d499","datavalue":{"value":{"entity-type":"item","numeric-id":5712345,"id":"Q5712345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151616$C807BE92-B1F5-4C68-A225-B1159276C423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ab26dd5e4f7c816ed1028e939790c211969365","datavalue":{"value":{"entity-type":"item","numeric-id":2248088,"id":"Q2248088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151616$084E7FCC-63FF-4908-A9F8-8648B6E715B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdc9b5d221d34caaf29a7afaa296eed36d0be93","datavalue":{"value":{"entity-type":"item","numeric-id":4790468,"id":"Q4790468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151616$6CCC1293-D548-4929-B2EB-7AD4F58756ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bce98fe53af6a10da6405239d301bee871635c","datavalue":{"value":{"entity-type":"item","numeric-id":4898735,"id":"Q4898735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151616$31FA59C8-26FD-4FFD-826A-9C9A7105C8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a055ffe33ee8538dd44cfac6e5ee9904ff60d7","datavalue":{"value":{"entity-type":"item","numeric-id":3601840,"id":"Q3601840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151616$10FB0931-9AE5-4A24-8D8E-0296DDA304CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4035b17fe905659614bfe2b21f17f3027008d5bf","datavalue":{"value":"10.1016/J.JLAMP.2023.100927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151616$7F097CDC-BFA1-488C-A5A3-D41BBD6CEF68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6151616","badges":[]}}}}}