{"entities":{"Q3401955":{"pageid":3412658,"ns":120,"title":"Item:Q3401955","lastrevid":50893976,"modified":"2026-01-15T15:18:39Z","type":"item","id":"Q3401955","labels":{"en":{"language":"en","value":"How to verify and exploit a refinement of component-based systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665348"}},"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":"Q3401955$5018E199-746D-444F-A60C-3F44B02F8A52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e62119e2107fba5b8d9dcab7f3d5f8179f8ca1ad","datavalue":{"value":{"text":"How to Verify and Exploit a Refinement of Component-Based Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401955$D9F7D5F8-418D-47F0-9B3E-B6DB40AD6A91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95bcd21ab0b139e912d5d393e61088f2934eea2d","datavalue":{"value":"1185.68416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401955$4C4FF33B-A9FE-4834-BB32-E982C8D5F35F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"470b01e021908442ce46cd119862612f97a852bf","datavalue":{"value":"10.1007/978-3-540-70881-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401955$DD7AC7BB-587B-4496-A9A8-4AC253D3DF98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a20d86eaedbde9c612474eafa80ae1696f7b076","datavalue":{"value":{"entity-type":"item","numeric-id":3401954,"id":"Q3401954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401955$3424FC4C-C4A6-4514-BA6F-620626C9DD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0452d00e02db17d83907d40dea3913224ed5f7","datavalue":{"value":{"entity-type":"item","numeric-id":442147,"id":"Q442147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401955$E2C998CE-6664-40A1-879A-C112C0D45E46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401955$33211AF9-1B94-4AC3-A695-5BE0F2DD11D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-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":"Q3401955$8F451825-54A3-4214-8F15-C422B751C27E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79f1537a979d2aa5083d6a22f72cbb3b581806e6","datavalue":{"value":"https://hal.inria.fr/inria-00071369/file/RR-5898.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401955$5667CE84-9DB2-4BC7-9337-0C13CC97E4C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401955$E517E2D4-E1BD-45EA-98B8-424365C02E41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"825c615304797baf0cc013ae2c06003f6f040a3f","datavalue":{"value":"5665348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401955$8B211424-5030-452C-9178-2A7EFDEB4FFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abbd5d1d4b1a52d2cda35855ca30d9420f2b8426","datavalue":{"value":"component-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401955$FDB011FC-24A6-47F1-AD33-72FDCE1C56E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9b6344096dfbbfbc55cfa95e9e6f1e36700be3","datavalue":{"value":"modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401955$EA9CDC32-DBD8-4735-86EE-47EAFA085E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401955$F35631D9-F664-4FB7-99E7-821676C9322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291d96052e284f9d1d3ecb5c5ab794ed93c1f05d","datavalue":{"value":"LTL properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401955$C963F6FD-CA33-46E4-912A-F937A3E0ED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401955$98E0D728-D40C-4D8C-9E50-F6A8144C24DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401955$073E3B8B-DDDC-4DF9-AF8F-D1BC613033DE","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":"Q3401955$0A96C58E-054A-4471-8485-40608473AA4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25bfa62c255cff7124fab714817d8e594458a174","datavalue":{"value":"W1863982112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401955$BA59F1B3-902B-4DC5-BB1D-ED796D666F4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22331ea076034d9c292eeba8f06b8ae172a043a3","datavalue":{"value":{"entity-type":"item","numeric-id":5312987,"id":"Q5312987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79cad0432ad8ae7a269016a42d612dbf49510da","datavalue":{"value":{"amount":"+0.849395751953125","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":"Q3401955$38084B93-AE7E-42DA-A036-6ABE5C5DDADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b8b6211a9a3de0b4b3e57e61d3722a5f281aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab5c3f8dc6077b2c8a2fb313bcb13eb7dc26230","datavalue":{"value":{"amount":"+0.7398519515991211","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":"Q3401955$0E7B4F6F-D01D-43C0-B1D0-38576BA981E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c013e3ef81853f2ceb27a734868593d2b18a684","datavalue":{"value":{"entity-type":"item","numeric-id":3613065,"id":"Q3613065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07e55536e4ff7536f70dd21e632871c9e1b6297","datavalue":{"value":{"amount":"+0.7372252345085144","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":"Q3401955$9727945B-D901-4745-A5B0-FF630A7DB93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a510a1b81b5c3e30178a2621dd0693268aa483a","datavalue":{"value":{"entity-type":"item","numeric-id":2026785,"id":"Q2026785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3485c332558a90d717a532431de70db583fc29","datavalue":{"value":{"amount":"+0.7350364327430725","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":"Q3401955$F4452AAE-C8F3-4B68-9F25-3403F7DE5F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c933acc4ac73275cba2f6f9ba1d9f4bd79d02203","datavalue":{"value":{"entity-type":"item","numeric-id":4472200,"id":"Q4472200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6755eb5257b2e230970c878043002405a6a22c90","datavalue":{"value":{"amount":"+0.732734739780426","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":"Q3401955$F379E560-D588-4D2C-B0A5-AF72383E843A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3401955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3401955"}}}}}