{"entities":{"Q882458":{"pageid":884306,"ns":120,"title":"Item:Q882458","lastrevid":50103376,"modified":"2026-01-12T23:04:34Z","type":"item","id":"Q882458","labels":{"en":{"language":"en","value":"Modeling and verification of real-time systems based on equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5156660"}},"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":"Q882458$56705963-87F9-427E-B7A2-87BD86F608D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75006b4c3be4e0c64a3a42cc2d00fbe0d42b5e66","datavalue":{"value":{"text":"Modeling and verification of real-time systems based on equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q882458$50006721-DACF-4098-BBF7-A0465ED4C2C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c7d52ae51f7dc8609093b9a4866c9583ecfadd1","datavalue":{"value":"1116.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882458$248E7ADC-C974-4AFF-8B47-962771E4BA4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882458$CC706BFE-6DCA-4899-8105-D9DA6579E3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882458$0744343F-3FFD-4526-946F-145BE3065FBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882458$A850D992-AE1E-4CCA-90AE-3BFD80722C62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb79a3e0bfdcad0d17b112619a3508f5e6a105c","datavalue":{"value":{"time":"+2007-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q882458$1DE427B9-BB7E-4757-B870-B195160E2C04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882458$8FCDF451-6917-45CF-B0C3-F404483A887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882458$4A94950E-BB03-4CE9-8A78-42D8BB4B0DF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"102f291db3ab024c4c39cedc4750248a972a2995","datavalue":{"value":"5156660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882458$300D2669-F1EC-4EE3-9176-264178671979","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q882458$96A152A9-5D3B-417D-8CC8-9FFE00BB5158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9774ec536a335bf339af8b08118f8757f918204","datavalue":{"value":"CafeOBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q882458$23B6CABC-7012-4009-855E-BFC1FC6ED5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e8516f10c520b1844003778699c0bf661bde222","datavalue":{"value":"equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q882458$92F4E1BF-85B3-40EF-AC65-8F2A6F404BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q882458$C3E1B572-427C-45B0-BEF1-9A7D0D5AEBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f27b6ead7961d01960899255492207c90c8243b3","datavalue":{"value":"TOTss","type":"string"},"datatype":"string"},"type":"statement","id":"Q882458$534B4974-683B-4C1F-B335-401D6C12E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q882458$4D30183C-62A7-46E3-BEAE-92C37ABC2EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q882458$875E7C28-EE0B-4FAE-BAE6-B90E8BC792F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q882458$E8DF41B7-C221-4DF2-9DE2-078483D6DA2B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882458$F7AF3BDC-99A4-4C86-826D-257AA51A3E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882458$F541CD14-D2C4-472F-BEF6-8F7546E6A6F8","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":"Q882458$0B4DAF0B-7110-4132-9A8E-BC7B89071A45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2978e0ada38509327b653d16b37ddbdf037b97cb","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.10.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q882458$A8036A79-3FFE-4745-824C-5F5C33DDE9F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bf02150b24aae7e05aa569873aebd7257679225","datavalue":{"value":"W2053701705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882458$50ED21E4-9B37-4660-80FC-A370829B5726","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c301428491ca2f0731cc84ebe0d88747d46dd2e","datavalue":{"value":"10.1016/J.SCICO.2006.10.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882458$67486EEB-E4C7-4B23-9641-27962CA3B815","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110d67b8cc6dcb3cacc1596e7effe5e78a2326e8","datavalue":{"value":{"amount":"+0.7715165019035339","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":"Q882458$60C154CA-0CE0-4605-B57D-C482259910F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1f384828a62bdf3f6a49859ece673f7e69d3fe","datavalue":{"value":{"entity-type":"item","numeric-id":4035252,"id":"Q4035252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ffd6842eaf4ba6da840a34025fffdcd53801cf","datavalue":{"value":{"amount":"+0.7590711116790771","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":"Q882458$0298B73E-777C-45A0-A6D6-02331A83B897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7324c3b6d0b658fef4bf6b7162780f75d8ad0570","datavalue":{"value":{"entity-type":"item","numeric-id":5480168,"id":"Q5480168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ffd6842eaf4ba6da840a34025fffdcd53801cf","datavalue":{"value":{"amount":"+0.7590711116790771","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":"Q882458$A37DF543-8686-4F73-A1B7-8C7B0E62C34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cf1b9a825f4e02414c5205a5883c96098c8212","datavalue":{"value":{"entity-type":"item","numeric-id":1356938,"id":"Q1356938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee109cab27561d433568e8813317868753dd2a53","datavalue":{"value":{"amount":"+0.7571474313735962","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":"Q882458$770DB278-C0D4-48E9-9010-7C340F913E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee109cab27561d433568e8813317868753dd2a53","datavalue":{"value":{"amount":"+0.7571474313735962","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":"Q882458$354654A7-BA67-4424-894F-8B14CD16B768","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:882458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:882458"}}}}}