{"entities":{"Q3105095":{"pageid":3115811,"ns":120,"title":"Item:Q3105095","lastrevid":51395987,"modified":"2026-01-18T01:54:33Z","type":"item","id":"Q3105095","labels":{"en":{"language":"en","value":"Verification of component-based system using model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5994827"}},"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":"Q3105095$1535314B-3748-4513-82E9-6E5D45EE0766","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"058db07baf28fce9a484504f45f8170849a4f41b","datavalue":{"value":"1234.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105095$B42CEA1A-28AD-41E2-8A26-61C14BD85DCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d8c4766ff4b353cf2a25b931feb0697f66ec1d7","datavalue":{"value":{"entity-type":"item","numeric-id":2013884,"id":"Q2013884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105095$312401BB-5848-43E3-B829-6EBDFE82FE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ca859b16cfa8379744591735578d6380872df7e","datavalue":{"value":{"entity-type":"item","numeric-id":2765660,"id":"Q2765660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105095$BFB63E6A-A9A1-41F2-AA54-616ABB77C2AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d04b8daff84f99cf3f01a5ba8a71b465d6e6ca7c","datavalue":{"value":{"time":"+2012-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3105095$B2B13DB3-AC1B-4642-BF61-FC0FA7041EA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105095$922CA8AB-0EF0-4A1C-A292-BAE74FEA2B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105095$2E2AD364-CCA5-4940-AE4C-6B5597453E5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c08cec9d0412595979536ac46c159d3f9f90a04","datavalue":{"value":"5994827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105095$9D68324F-C03C-49C2-91A7-21C0916DA1D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105095$10257BD4-246C-4E5D-BE75-4F0E95CA501E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105095$9A0209C5-2782-4AB6-8847-FC5EC1B3F9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a82e7c1c6a4c644465e777ed7f40c5272ed0c28","datavalue":{"value":"component-based system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105095$AC4E3910-3784-43E9-A58E-F0C1E045E837","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105095$CF28E2AD-72EA-4CE2-B05E-238639A2D560","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":"Q3105095$D76755DD-6FFE-4AE5-85F7-683F44BBA692","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc26017548bf795755bd01ecc838f88c510ba4e4","datavalue":{"value":{"entity-type":"item","numeric-id":3539406,"id":"Q3539406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745c71f5d28cd890b147924f1c285ea0ee49ce3c","datavalue":{"value":{"amount":"+0.8014658093452454","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":"Q3105095$797714C6-D02B-468F-8663-07381037F1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf59c629e7646f8c3e5611a08ef9b8a5db20082","datavalue":{"value":{"amount":"+0.7836626768112183","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":"Q3105095$F81B39C7-CCDA-42C5-9534-D84DBD7BF9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab252062896d0fa263dbcde7842c2311608e533","datavalue":{"value":{"entity-type":"item","numeric-id":2917311,"id":"Q2917311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378bc29058fc31743ce2043f15ab4afcfa191032","datavalue":{"value":{"amount":"+0.7710431218147278","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":"Q3105095$4E688CFA-9266-486A-B7A6-BC020B37A724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdcb1fc73c7450cb655bae3fd71f870414c09a0","datavalue":{"value":{"entity-type":"item","numeric-id":4934536,"id":"Q4934536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabd1f5903a86201d4eae987d559d7a7cfb73965","datavalue":{"value":{"amount":"+0.7682816386222839","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":"Q3105095$CCEF637F-BFAE-4F4B-B2F4-67D89AE17CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4df5a65a9765e7faa8a13f4e242d04838f96e7e","datavalue":{"value":{"amount":"+0.7682815194129944","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":"Q3105095$B38AC7AA-63E3-4886-9350-B34681BCDC00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3105095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3105095"}}}}}