{"entities":{"Q4898735":{"pageid":6928314,"ns":120,"title":"Item:Q4898735","lastrevid":51623567,"modified":"2026-01-19T03:10:46Z","type":"item","id":"Q4898735","labels":{"en":{"language":"en","value":"Improving the construction of the DBM over-approximation of the state space of real-time preemptive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6121107"}},"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":"Q4898735$B4F2032B-75D0-4E25-9DC0-8AD084F52397","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e03fa3250fcc931eeacf551af52c52f79b18319c","datavalue":{"value":{"text":"Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4898735$C9EBBFEC-B6CC-4EB7-B7CE-93546BC3F2D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"305cf10380a0dd7aecea637d721be26dd8b6d6be","datavalue":{"value":"1265.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898735$5580936F-8281-4BC5-91B9-736BB0343B3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ae900c91863f90b669481945c4be4a3f35351f7","datavalue":{"value":{"entity-type":"item","numeric-id":4898734,"id":"Q4898734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4898735$AA4C756E-2194-417F-B18B-8EF8C2B2D963","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4898735$7D15CBF0-E2CC-4C8C-B680-F61B6B988CAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9e78dc582cccb265eec7a023159b5315b28fd05","datavalue":{"value":{"time":"+2013-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4898735$92E7D3DE-8C93-4BEB-83A5-49E62CD42D2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898735$9C74D8EA-72A2-4820-8BAA-7CA08C7CFC46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d10e354fd31921953095c6aa643f0f1251222d6d","datavalue":{"value":"6121107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898735$F1C1927D-3D0D-4D58-837B-457E2D7298FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"830c821b17f25c6560453df504da557abc09567c","datavalue":{"value":"preemptive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898735$0EB88D2A-2FF8-465C-8B22-6FBD6320C535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898735$87C2DE24-77FA-41C6-853B-F3F7277413C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65402c74958863d1c2ef4783bd83a2f1439d3d62","datavalue":{"value":"stopwatch inhibitor arcs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898735$9A6D8C98-3AEC-4D2A-95F1-324979253140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0853d837594d86529c0e6f3a319fe49c3463df5d","datavalue":{"value":"state class graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898735$11A0774A-E376-4F7A-B5FF-E73B641E70A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"660578c423e44150f2398577de7b83b92b3d614b","datavalue":{"value":"DBM over-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898735$051D580A-5D4A-4C5A-BC72-E0A359341DA3","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":"Q4898735$94436098-A6FD-4CE2-85B0-A7B9B0EEC02A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ce95959d4613630a4dfbe580b62fb2ed242b821","datavalue":{"value":"https://doi.org/10.14232/actacyb.20.3.2012.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4898735$C6896B60-2206-45E5-A451-B81B8863EDF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5dc364e7e6632ea7b0464d0df4ddd26f5f594c5c","datavalue":{"value":"W8623215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898735$5C508346-F018-40CF-9E88-34FF5E00A31D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65dd888bab47b61a40a00c6bff2b1ab234e87642","datavalue":{"value":"10.14232/ACTACYB.20.3.2012.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898735$FC627E42-1A0A-46A3-B39D-E3079838ECB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66fe55809537f3f4274e3e2bc000cea62560a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3510836,"id":"Q3510836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e724f23281cf704cd4b4a27f51a0a63a534b3d","datavalue":{"value":{"amount":"+0.7242592573165894","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":"Q4898735$9B2CB3A2-58C2-49FE-A787-ED5445CF8A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294d293c679a12af40008add3fb385f7960df214","datavalue":{"value":{"entity-type":"item","numeric-id":1044715,"id":"Q1044715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6c33ee895cdc4f494807d56ea44e3451724725","datavalue":{"value":{"amount":"+0.7107188701629639","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":"Q4898735$1C4A8D2F-A436-4926-84BD-91009F6B8050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a583667d76ba9508f1984ae3f59126996e0ce7a","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ab728b26ba10b0cc27b7796c3c00e414ec63c1","datavalue":{"value":{"amount":"+0.7051498293876648","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":"Q4898735$E1E9030E-5F67-471A-AE6A-71A8E95A6C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac436fe8850ed35acfbd6f4bdd6c3fce1244753","datavalue":{"value":{"entity-type":"item","numeric-id":3511228,"id":"Q3511228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ade35e50bc037d31fde5f1618e51b558f5b2d1e","datavalue":{"value":{"amount":"+0.6995706558227539","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":"Q4898735$58773135-3D0D-4660-A87D-E95C1D39E620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eac6d07045d28cfaffbdd1a9dae2c1af7b975963","datavalue":{"value":{"entity-type":"item","numeric-id":5712345,"id":"Q5712345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3915fbf7d32840ba2ea294f7d303ec2dfcd4e122","datavalue":{"value":{"amount":"+0.695408284664154","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":"Q4898735$94FCD071-99CB-40A4-9F98-849420CF0915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4898735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4898735"}}}}}