{"entities":{"Q3095241":{"pageid":3105956,"ns":120,"title":"Item:Q3095241","lastrevid":51357299,"modified":"2026-01-17T22:05:50Z","type":"item","id":"Q3095241","labels":{"en":{"language":"en","value":"Runtime verification of component-based systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5965360"}},"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":"Q3095241$924A0561-90C8-4086-893C-0BB37A3CE8BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fa8d32cd7c3fe78b43ff0ca483c8f6e6778f172","datavalue":{"value":{"text":"Runtime Verification of Component-Based Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3095241$9A7663C9-B272-4ACD-ABFD-3EF4650F28AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25f7dd15d5f4b84226714b831e017d2a0be792d7","datavalue":{"value":"1350.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095241$37A8ADAC-652E-4F13-ABD7-22E2BA1CADA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c69636ea15e1f9efcd786a85733a9c82ab40e03","datavalue":{"value":"10.1007/978-3-642-24690-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095241$57AE4E8C-7502-411A-A198-A68BD1589951","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f4cf02364d18c377494c71861a06a2dcc46a912","datavalue":{"value":{"entity-type":"item","numeric-id":346788,"id":"Q346788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$FBB8BA10-7C58-451B-A9C8-D61127E39412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25ce9951c0075596777327dfe47a175b125afaca","datavalue":{"value":{"entity-type":"item","numeric-id":554641,"id":"Q554641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$90199B7F-2853-47F1-8487-461A57BACE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6065f55444df616d1ddfe276ca2e72fa9ff0f4","datavalue":{"value":{"entity-type":"item","numeric-id":3095240,"id":"Q3095240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$B538B52D-AC71-4C91-8AAC-8A176BD7521D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$F2F0690E-DC21-4DC6-9787-95CB8F4DAFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a16057771ba6219abfd2dd4dd127f6eec1b56a2","datavalue":{"value":{"entity-type":"item","numeric-id":453500,"id":"Q453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$960F4D73-AAEC-44E0-A6FD-B5696AAC4210","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$761EB8DC-85AB-482D-AB05-E1B09B3FFECF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2900c2786b097edbfba1608d72278b11f29ad22b","datavalue":{"value":{"time":"+2011-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3095241$EA625ACC-3E62-456C-9F1C-CF94C3368DCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095241$51B49454-1D61-4B40-A573-8E927EF1F91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095241$45C374F9-45D6-46D1-80A1-E89277C391C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac6d989b76442dea9e8f225c876ddc0636b717b9","datavalue":{"value":"5965360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095241$7A727D8A-B627-4D23-A24E-565F5B6EDB2E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$FCE56CF5-B3B6-49B9-BC2D-2A9AEE7AFD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee6d82cb23a15074888efcc3f89ea3a1c5504a96","datavalue":{"value":{"entity-type":"item","numeric-id":25944,"id":"Q25944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$610A1438-4EC4-4B4C-9B7B-4E08E5DDC3A8","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":"Q3095241$4930E300-7227-4D0A-8EF0-0060255F857E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9860afd9e917c2479b81e9c6b837468763afb66a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24690-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3095241$DF14A88E-E5FE-47F0-B226-9DB29C152E36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48fa3bd5aa7de5ce100ca8dfd5a892848d20269c","datavalue":{"value":"W38701583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095241$B489E359-A347-4DAF-9844-4F0590C62493","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef53aa7b0910a4a6d21198980e97e56e78b3aafa","datavalue":{"value":{"entity-type":"item","numeric-id":3541041,"id":"Q3541041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$4B7AFA60-3DBD-489F-B25F-DFAA67147248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$9F8E90B6-4D88-48D0-9B93-12C6E7C66743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$05E3527D-0AC7-44CB-8743-70F7920103E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$3130240E-A58A-45D8-8DFE-38BEF60185D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$2A29EFC8-45C1-4168-B4C9-B9B077C1B5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$1A09711D-314A-4B6E-9214-6EB35673CDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$6495AECA-D795-4A8F-911B-92D63FE7FD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e868c4af53abd1342a3b326c366031ecf804972","datavalue":{"value":{"entity-type":"item","numeric-id":3540064,"id":"Q3540064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095241$8C044B26-D1E0-4667-8544-D15D62027A01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede137086f685454b547e4c101069ed16a05c0e3","datavalue":{"value":{"entity-type":"item","numeric-id":5166713,"id":"Q5166713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606211252ad767a572a3b9b56ae533756b4a04c6","datavalue":{"value":{"amount":"+0.7823618054389954","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":"Q3095241$19427C4F-4015-4AB2-A636-58F37CF17BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9975d8b900b3f9f5df1f83a9a6194ca8792c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3540064,"id":"Q3540064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067a62de32b44d0d299c403c7fc5801969a00ba7","datavalue":{"value":{"amount":"+0.7481161952018738","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":"Q3095241$3DF04F09-F13D-4092-B329-F6ADFB9AE00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329b2c3867c2fc24814a79b54c5628f1c26b459b","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b867007b61b12dbada6bfd33bbe98a7eb82fd1b","datavalue":{"value":{"amount":"+0.7461028695106506","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":"Q3095241$27DE807A-CE43-4472-8547-49CEB5C4D016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6fa5b219cd9dbff8327c5381cd0da670c7baff","datavalue":{"value":{"entity-type":"item","numeric-id":2075784,"id":"Q2075784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0d85eaae3994398ff11bf23d8b0bb7aed96bc8","datavalue":{"value":{"amount":"+0.740795373916626","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":"Q3095241$0CA2C193-6500-46F8-A05E-56332D0035B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969d51893bfb2cae69bf80a9d14066ee4c593cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5920079,"id":"Q5920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1907d688e57cd1ab25991de913d096ed98451598","datavalue":{"value":{"amount":"+0.7353655695915222","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":"Q3095241$7504350B-1271-43B3-91FD-1370EBF8C905","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3095241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3095241"}}}}}