{"entities":{"Q3158282":{"pageid":3168998,"ns":120,"title":"Item:Q3158282","lastrevid":48405136,"modified":"2026-01-04T15:14:08Z","type":"item","id":"Q3158282","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2130685"}},"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":"Q3158282$555DEA25-5257-43C8-AD97-5C8E74AE8D6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0f622619d606461626d51b31f41a9d7edc92576","datavalue":{"value":"1061.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158282$33A7C043-27AE-4EFC-ADBB-227FEA17B584","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9f92011ce42f754332bad761d8ed1b3e7c59e20","datavalue":{"value":{"time":"+2005-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3158282$C0080271-E675-4EDE-A77F-8B52C3383529","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158282$32F644C7-9E34-479A-A3E7-9D47F19FD8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158282$F0C0FF0C-2057-4B61-8D95-8DE9A9571322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158282$92486013-E470-4A84-9F09-42CF892247CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158282$BFFFB0CA-9559-4F3E-8E43-5D7E84E8570E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b8d19499de74c82052b9e0823699fc85675ade0","datavalue":{"value":"2130685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158282$2C55C137-0D12-416E-994D-2AD8ECD219B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cddb115386e98425b212f23fff7ef16d4325f4","datavalue":{"value":"system design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3158282$7AC98C93-D4D5-4CD4-8473-9885BA78AEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3158282$5B136976-E2B9-4EFC-B289-91B0C0136DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a2334df3bf6d3e1f4f86dff28df8564bc1f0d","datavalue":{"value":"formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3158282$94EDE45B-60DE-4B1F-9A41-93A58F5BAECD","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":"Q3158282$2CDF91FB-2760-4402-822E-8BF56503325F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b215bbd0e5a0f4ced762d1a5ea5961200d72da0","datavalue":{"value":{"entity-type":"item","numeric-id":3009352,"id":"Q3009352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361cb78894f49c9b8934d64f2c2b779e1398f113","datavalue":{"value":{"amount":"+0.8098138570785522","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":"Q3158282$77A5F119-FFE2-4B59-AC90-8656CC561EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f36d1674491ec9d9ac14a22ef6973140accf65b","datavalue":{"value":{"entity-type":"item","numeric-id":4342060,"id":"Q4342060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ef832af310ddedede512db5192e32ef500a41b","datavalue":{"value":{"amount":"+0.8068464994430542","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":"Q3158282$0711A95F-A185-426B-8F16-8F3A4CF1201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7963b574f5f52ab0cb7c9300710e3fcf461063","datavalue":{"value":{"entity-type":"item","numeric-id":4255534,"id":"Q4255534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ef832af310ddedede512db5192e32ef500a41b","datavalue":{"value":{"amount":"+0.8068464994430542","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":"Q3158282$C01AB631-ECE7-452F-84BC-3EF6C51E4B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa028d34a8f0655d4ee01f530019f948df952933","datavalue":{"value":{"entity-type":"item","numeric-id":4325543,"id":"Q4325543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8b28fdf85fab962e9e5568bc10fd6073820700","datavalue":{"value":{"amount":"+0.8026188611984253","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":"Q3158282$E0442217-04A0-43E5-AC16-C823C02DC3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa3960c44d875275c2e1fbd5bbf4bf04a460d19","datavalue":{"value":{"entity-type":"item","numeric-id":4361340,"id":"Q4361340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c13d3774db1e4fd99ac295ab663f1bdbb1e2157","datavalue":{"value":{"amount":"+0.7780499458312988","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":"Q3158282$E7F77F18-815F-44D0-80E1-71BABAA74861","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3158282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3158282"}}}}}