{"entities":{"Q5935939":{"pageid":8112741,"ns":120,"title":"Item:Q5935939","lastrevid":40740494,"modified":"2025-04-04T13:09:29Z","type":"item","id":"Q5935939","labels":{"en":{"language":"en","value":"Specifying and analysing system-level inter-component interfaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1612580"}},"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":"Q5935939$3E9E992A-CB3E-45D1-8AA5-43BEAD82393E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7746dcb8b0b605647e2d972cc4cf42c6f5cf7845","datavalue":{"value":{"text":"Specifying and analysing system-level inter-component interfaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935939$C8CE882D-7532-42A9-80B4-CCEFBAFA399D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bef5a4a1e06d8e6276faa0002a0814156888f0f","datavalue":{"value":"0963.68662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935939$60C3DCC5-E9A0-45C4-B5AF-45433F3F190B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07d839cd06a967785266f19cfa8754b9cb1009ab","datavalue":{"value":"10.1007/PL00010351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935939$3BD7B1E5-09D9-4D97-9BA5-E4574F13DFF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d89e498942cce4733513b04c8d2e719bf7c6d495","datavalue":{"value":{"entity-type":"item","numeric-id":185926,"id":"Q185926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935939$49CAD905-A734-4F92-9BE5-ADE41A7B9768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb197c6ef39f49266ad67fe39d6a25bf31bc632","datavalue":{"value":{"entity-type":"item","numeric-id":185927,"id":"Q185927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935939$90B04ECE-0499-4CFF-A149-A04204798F77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8969f4dde8d19ed7b572d314ae2e1ecfc12b2b8","datavalue":{"value":{"entity-type":"item","numeric-id":185924,"id":"Q185924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935939$1111531E-7A13-4383-9DAF-A2766294E46D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87efb9ebdeb9f7f3b34cf8e674550e67b6366a3b","datavalue":{"value":{"time":"+2001-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935939$63A55298-CAA0-4DCF-AE1A-E61FFBB9BF72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935939$877F6499-BE49-4293-A9C6-7F4D4367497F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935939$7D2B8F8C-2B19-4AA9-ABDF-56ABCB761331","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dc59f8e0b8d0ee01c1bd5795c0498715318d9e8","datavalue":{"value":"1612580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935939$855CFB87-2DA5-4000-8E69-0EF63397DDF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9da33c5dbc79484aab022f58025726940b52be7","datavalue":{"value":"inter-component communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935939$9FE738A4-A8B8-4269-A610-93D9FC10027C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935939$519F0BB5-6181-4924-BED2-4380F402DD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cfd753539decc8d399a03372be48481e055217f","datavalue":{"value":"requirements specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935939$6FC9B5F3-793A-4D21-A318-BC405E799A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e053754ebc84da79c87f631196fe500ed05d196","datavalue":{"value":"RSML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935939$E746AFB3-7885-4DC4-B133-7CDE88D2A098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34bbda438c41dd74c6512593537a8324e9a0077b","datavalue":{"value":"safety kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935939$4371D6B2-87DD-499A-B992-93E3C18F672B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dfa8da6b0f7f8a2e417f644c9828c209b0af7df","datavalue":{"value":"state-based specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935939$DC61FC3F-E4CE-41C4-880C-2C2743F346E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935939$2841AFEF-6372-4E68-B8EB-C4FDCAD0A464","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":"Q5935939$572F3ED8-2505-41F2-AFBF-30C7CE7D9B76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99acc26f2fd64d3a0d586b47fee5f2e60f3287ea","datavalue":{"value":"https://doi.org/10.1007/pl00010351","type":"string"},"datatype":"url"},"type":"statement","id":"Q5935939$EC027771-34A2-4469-8FBB-6907A60940E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73c6513b10bc1c3765c97787a3119d2d4aa54c34","datavalue":{"value":"W2001644876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935939$E3653F22-0DA6-4EAA-A016-74BF31532F55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f4baf99f2633b055396f7196f454628d8d54c8","datavalue":{"value":{"entity-type":"item","numeric-id":3782739,"id":"Q3782739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9b0d4dd3f41e42a547a2adc07bc1ea5bf3556c","datavalue":{"value":{"amount":"+0.8794372","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":"Q5935939$FBD44224-764E-419D-800F-7DEF4AFAEE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08eeb0e96161d8f653940ed08d1239dcf5b0477e","datavalue":{"value":{"entity-type":"item","numeric-id":4493876,"id":"Q4493876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10972e808286f1d4ae5b5d2fb2672337ee1c5637","datavalue":{"value":{"amount":"+0.8594996","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":"Q5935939$5CA65AB0-B0FB-4292-B553-4FEA1F6C2BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5b5c3a0b312fd55821a1f1a2bf9dd170a90f91","datavalue":{"value":{"entity-type":"item","numeric-id":1193606,"id":"Q1193606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044b717d2f19abe0e57ccaa8f330e1b5aaa51836","datavalue":{"value":{"amount":"+0.8483343","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":"Q5935939$05A4FA27-9235-4BD7-9DCD-741514092A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b01931c3faeff2fe755e714e2c0d66f6a887949","datavalue":{"value":{"entity-type":"item","numeric-id":4928700,"id":"Q4928700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2ef3ee1d406baa4a8eda969cab2ed1dd4a2f44","datavalue":{"value":{"amount":"+0.84524065","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":"Q5935939$33FF966E-F2AB-426D-9014-FEC283877E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6af90b7a2a97ed1a78da8a919af54b695b6521","datavalue":{"value":{"entity-type":"item","numeric-id":4737618,"id":"Q4737618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdf595bdb6fa7e188390e18b042e9324d32141f","datavalue":{"value":{"amount":"+0.8424153","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":"Q5935939$9C08F5E7-F10D-4F32-BEB7-5E674DBCDA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c213ea4a2f56f04c3a78d16e04580f8c2eb98e","datavalue":{"value":{"entity-type":"item","numeric-id":4435887,"id":"Q4435887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd22bc74eece0f1c6dfbf1c75c3fd62e452eb33","datavalue":{"value":{"amount":"+0.8422208","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":"Q5935939$64B48369-DA76-4957-8DAB-CDE0123C0A9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5935939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5935939"}}}}}