{"entities":{"Q3540064":{"pageid":5569968,"ns":120,"title":"Item:Q3540064","lastrevid":81044273,"modified":"2026-05-06T17:35:19Z","type":"item","id":"Q3540064","labels":{"en":{"language":"en","value":"Compositional Verification for Component-Based Systems and Application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369262"}},"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":"Q3540064$BE82E7F1-A0C9-4B21-BA54-A14BA9DD5ADA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"948d05c9ea5a65bc35a2cc94573a20afc4ef64fb","datavalue":{"value":{"text":"Compositional Verification for Component-Based Systems and Application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540064$EB6A87EE-26B3-45DA-B49C-76B71F0DD89B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"981ef69acdcba7ea3ac08f0593abf76a8081cf6b","datavalue":{"value":"1183.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540064$7A18D180-4B15-468F-9895-DD5D7227282B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6346e983682731eda7c8c3e4728bd012e2bd37b","datavalue":{"value":"10.1007/978-3-540-88387-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540064$E2E1C1F7-D01C-433E-9A2F-51D53EFEC757","rank":"normal"}],"P16":[{"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":"Q3540064$F9CA9297-09C9-4B85-AD7D-96508B981955","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":"Q3540064$50F58BCE-A233-4899-BF8F-9B3242207827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$3152E9E4-D8C8-470E-A26E-1B64B0CFE5A2","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":"Q3540064$D8A6A4D4-8392-4B5E-B49B-97D18ECAC90B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$BE35C440-CAB1-4846-B8BE-6249FFA7A2AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540064$C50F9DB9-8F74-4108-A9F5-6B75A8FFBC72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540064$1C9B6D8E-D9A9-407F-9510-F388313E08C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540064$6A6A92BC-8B58-4A4D-A3FF-48D29A2D6BC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4761806c91e955dd79459aaaf9cc6bf4d1c5f75","datavalue":{"value":"5369262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540064$9481443D-42C3-4EBE-BA0C-66B825789240","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff8d721b29de79a699d23cbb86d8119387ea8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":26931,"id":"Q26931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$F3E1E532-C9E1-49F1-B75D-473CF5D8456D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4647ce6e40d68a241057ddbe91b89707f4f80f49","datavalue":{"value":{"entity-type":"item","numeric-id":12966,"id":"Q12966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$0D39BCC9-6A3F-455C-9B32-A27A68F1719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce22f895e76b12ac07dcf9b0c5f6d704ee095f18","datavalue":{"value":{"entity-type":"item","numeric-id":23968,"id":"Q23968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$587DFB6D-38AD-438C-B7F6-FFAE3B23CB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$EA848E3D-1F7D-408A-940C-974D09495E4D","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":"Q3540064$8890C508-88F1-433F-8BB6-48FECF612E03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6db860ef08724736867561e4d6e4d0a2e5edf680","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88387-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540064$4A143C41-C10E-49B0-8101-8A5F2D89F791","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab7db6cf743213678ff60b51562c6da17193b82f","datavalue":{"value":"W2103672915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540064$1D731DD0-B29B-432F-AF0B-CD4675AA7937","rank":"normal"}],"P223":[{"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":"Q3540064$0B4A9718-971C-44D0-BC4A-11B714033D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$2E268234-DCA0-4956-A915-A2A0199B2DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$5B0391F0-C677-4E1C-81AE-74941556A1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d925545028cebbe906f88a63611519e302be1c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$7353CC54-F757-4A9F-AB2D-FFEC8B7C9538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$DEBA7A80-5970-4848-A20C-BDD4AFE2160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$9B482A77-8D55-4752-89F5-DCE8A80AE59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$4757D30D-EBB1-4A92-A600-94F28D56D90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e09eb811c9f8bd7e45bbecd8767c6f4ae264cb","datavalue":{"value":{"entity-type":"item","numeric-id":2769580,"id":"Q2769580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$02281A02-C800-4D2C-8AD0-543C7D53A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fee6265c0820f380212544dd3120c88d2c6f777","datavalue":{"value":{"entity-type":"item","numeric-id":4162494,"id":"Q4162494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540064$1623EAE5-960D-4733-8349-E17D082C151F","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":"a1916e4f2d707ec885d6edb7f1f205ec13fffd32","datavalue":{"value":{"amount":"+0.7822939157485962","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":"Q3540064$24F77C65-92F3-4C73-AB25-644BD5E75A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2076cf58892f020200f74db88b5be5272579e97d","datavalue":{"value":{"entity-type":"item","numeric-id":3095241,"id":"Q3095241"},"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":"Q3540064$EBC9911F-8139-4A44-BEB2-65D0D00AED24","rank":"normal"},{"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":"09277960577030729d8e475aeb16a472458ad14b","datavalue":{"value":{"amount":"+0.7443468570709229","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":"Q3540064$462685E6-A82D-4505-9488-C4ED1E6690AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33611b6d0a8f1cb11442477a9346880a9857ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1996857,"id":"Q1996857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43840e09be2f25ed020f2c33a7faddd95f4680e0","datavalue":{"value":{"amount":"+0.7406331896781921","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":"Q3540064$A60E03DE-C1B1-4EA2-98C7-A47B6BDE1E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b07ca00abca46622bd4e53e35b3b3ca0d746ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5448780,"id":"Q5448780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a96e406756d4cc2fc5b092056ddecfb535c140","datavalue":{"value":{"amount":"+0.7355003952980042","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":"Q3540064$B036CF55-C269-4B7D-BA4A-B6EDB2E435B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional Verification for Component-Based Systems and Application","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_Verification_for_Component-Based_Systems_and_Application"}}}}}