{"entities":{"Q3638992":{"pageid":5668898,"ns":120,"title":"Item:Q3638992","lastrevid":50800016,"modified":"2026-01-15T05:37:56Z","type":"item","id":"Q3638992","labels":{"en":{"language":"en","value":"Formal Verification for Components and Connectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5622586"}},"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":"Q3638992$2E2F139D-21DE-49FB-8CD0-4B4EBC799C89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89b0bb9669b815d37278b3cb5cbec069bce42da1","datavalue":{"value":{"text":"Formal Verification for Components and Connectors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638992$2A11F387-4432-4BD5-8C67-894D6E8361CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c464605486da0d362ca20fcbb0c9fb8d3e6a6c5","datavalue":{"value":"1254.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638992$EA5C4445-BF7B-4903-B54E-6FCFCE31EBF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bce4a39e11884a0abb3945f8bb681573d00924c8","datavalue":{"value":"10.1007/978-3-642-04167-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638992$983AC26B-F854-4960-BA3B-CA1C94E9FE2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7143f37fa805da24abd6a91da2a1f18ea83ea4","datavalue":{"value":{"entity-type":"item","numeric-id":3638991,"id":"Q3638991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$B8DA8DD3-0BA1-491F-9139-4180EA66116D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25777c84de0bec6686a1c05a5e686b2e7021d4cd","datavalue":{"value":{"entity-type":"item","numeric-id":860861,"id":"Q860861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$27F8D020-3345-4136-9131-A37D2D26CAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2781b53a0a8b46d604dc9c062a87a23780da56","datavalue":{"value":{"entity-type":"item","numeric-id":967522,"id":"Q967522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$A4059F40-1D8B-4F73-B5C0-6689A3AFF6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$169B7B44-944D-4BA6-B091-05A69E9F9E68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6983a432596ad956b25cf3f430f5c969b7c5bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066117,"id":"Q3066117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$25ED696D-3F10-4EDA-ACB1-CB96657529F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"979675af8434f65c971325fe4cac7cabed000b0e","datavalue":{"value":{"time":"+2009-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":"Q3638992$CAD4E0D7-3783-4691-9EE8-C3457EDFAA0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638992$358FBA63-2343-42AC-B97B-6FFAC1D5F092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638992$B049216B-C81F-46C9-946B-5AB9C792AF35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bffe4ac7d1fff024a50693b6d6be4cb7aaa8d5ee","datavalue":{"value":"5622586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638992$95B01AA6-0FA1-4FA2-8F79-48DE351E971F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$4B9DA75D-97A8-425B-9400-C39A13B00EC2","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":"Q3638992$B681E86A-B0EF-46B7-9DB2-5775C718E758","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d7d962a79cf158c3720487a8ef6211e86cfe468","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04167-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638992$CB813A5F-1D72-4A43-ADC8-36D6735A0DE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"121e04ccde65a80f47eb62f095c724892fa14ab6","datavalue":{"value":"W1553374920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638992$73FCDC72-D1A1-4174-8206-4CF5CA76EE0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$0A094FA6-4321-44A1-8B12-467CFCD21394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$FD5B8B60-01E6-4776-A688-2CA1C634E618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$97374FF4-570A-40D1-B052-751DFD7D451A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316a7f52d1a85eea1cb2fa0afaf4cb5ab7a50ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$6EEFF49F-F87C-4205-A522-81E4ED94BE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$314EBAE3-AD8D-43B5-A2F3-DE7703467F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$39836D3E-953B-4B5E-BACA-79C0BF3F6543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d6f0c12f9c051aba4ad96d1192706b2853e07c","datavalue":{"value":{"entity-type":"item","numeric-id":862830,"id":"Q862830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$199DD49D-CC8C-4958-BDAB-D88FE06286F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$ACAD3D5F-4F91-448F-A76C-6CF9A96AD940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$E6303B40-B95D-41CA-9FF9-04CFE3ACFD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99db3abfd9ccafe3fb15d93447441257c543fdf6","datavalue":{"value":{"entity-type":"item","numeric-id":2389338,"id":"Q2389338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638992$074B38D2-2EB6-4F6A-876A-9E8FB635EB62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12de385c49a24ccb3a19493a688a54dd777522ff","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8aaf288ebfe647e0ec81e64483b5130790f514","datavalue":{"value":{"amount":"+0.7922322750091553","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":"Q3638992$50E7F65B-E82A-4662-A054-A2DA2118FDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a0eb8cbb315bfd694ccc9a36c9205dd065e121","datavalue":{"value":{"entity-type":"item","numeric-id":2989003,"id":"Q2989003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6853fecb90d763f0077fd6a3b8297afc8f63bdd5","datavalue":{"value":{"amount":"+0.7744236588478088","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":"Q3638992$2CDB530D-A0B5-4F15-8C18-77C09B224183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741efc63b28d8f1565fec5b16a09c83e62bd291f","datavalue":{"value":{"entity-type":"item","numeric-id":433331,"id":"Q433331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63755702b15aba7b605a9494bfd2b917a042ceb6","datavalue":{"value":{"amount":"+0.7715078592300415","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":"Q3638992$E11DEDC6-6514-46EE-84DC-B4726F75CFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e738b1d921d739ee4119b3689c1daaabdcab22","datavalue":{"value":{"entity-type":"item","numeric-id":5309502,"id":"Q5309502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7362c5e43d64498029a714dee854b2b287d93614","datavalue":{"value":{"amount":"+0.7625096440315247","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":"Q3638992$80BF5D7D-32AC-424B-AD81-1BE51852C341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abac55d9f7895b2e5b029e50155c40a323265791","datavalue":{"value":{"entity-type":"item","numeric-id":4989716,"id":"Q4989716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912339d3540df4b707bbd3ce6d9c101f58b29e3b","datavalue":{"value":{"amount":"+0.759524941444397","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":"Q3638992$BDA0726C-7301-4334-9054-54B725DBBBC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638992"}}}}}