{"entities":{"Q3146278":{"pageid":3156994,"ns":120,"title":"Item:Q3146278","lastrevid":47983885,"modified":"2026-01-03T06:36:31Z","type":"item","id":"Q3146278","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799521"}},"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":"Q3146278$B09BF46B-CF6B-4229-987C-33D2816B22D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42837b28da4b8d94df4d50f521e7104d6bd027fc","datavalue":{"value":"1052.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146278$03EFE39B-244C-4D45-BFC3-7A1476BBE469","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146278$C23B78D4-7686-4062-A8D1-B685319E467F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9edd92e42a7c65f96b325af59203586c0e1cff0","datavalue":{"value":{"entity-type":"item","numeric-id":1028969,"id":"Q1028969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146278$6B2D2285-6D23-4E7F-BC93-F9CA2525C5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146278$E5826F08-4969-45B5-84EB-9BFC2476757D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"823da9fe56b47703dab41bcbcac401af118423d2","datavalue":{"value":{"time":"+2002-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3146278$A1EE46B9-D1B9-44A3-8BC6-F8A83048D904","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146278$EED7C1FF-BD04-4E8B-A59F-0C72AFF70198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146278$90C120E7-65E7-48B0-832A-1DE719B3385F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146278$90C2E9CA-F0E8-4512-9EDF-15B2A96E9DBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"327fc8f7176b76f3e9e5b8338047aba72f2e19cc","datavalue":{"value":"1799521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146278$20B4C8A3-2536-45F0-A446-365FFFCAA4FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ed1d90d19f3d365ccc1f81b61195674e3e2da83","datavalue":{"value":"Bounded Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146278$5385C5C1-F738-4AAB-B90B-C26A937A376E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146278$2986D8D3-1708-480B-9867-575EF463402B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146278$4D22BC47-71C6-4965-B529-C2AA3D257D96","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":"Q3146278$868C81A2-D180-444A-9660-8B814FCC67F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2020a09089050fd9931facdaee62f5484d713b","datavalue":{"value":{"entity-type":"item","numeric-id":5392295,"id":"Q5392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e6f71ee58a1151dad571335d7418f2290d5c18","datavalue":{"value":{"amount":"+0.8847841620445251","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":"Q3146278$BB8388EC-FCE2-4E57-A105-FFA0605D1868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a09d1b13be3e67d230b828e006bf1a305773096","datavalue":{"value":{"entity-type":"item","numeric-id":3066133,"id":"Q3066133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af38efeaf576f385c027c210b63c1e4beeed41b","datavalue":{"value":{"amount":"+0.8802003860473633","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":"Q3146278$B9626E1E-F4E8-4568-AAA7-D6AA871703B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a7a7c74ec79e45f9260ea233720a3ffab7e0ca0","datavalue":{"value":{"entity-type":"item","numeric-id":4654277,"id":"Q4654277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec987ee4646c22ce608109a86bd189e039f09d26","datavalue":{"value":{"amount":"+0.8716050386428833","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":"Q3146278$1F4E38D3-4329-4CD0-8413-D8C3275F3D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297f9a57f303c8c036d110ba8003ae3808693f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422273,"id":"Q5422273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4103f79ab3af95f9e6b769ef601951946b53b19","datavalue":{"value":{"amount":"+0.8590779900550842","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":"Q3146278$9EB64847-44CA-4236-BA31-872A9FE49A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486e18bd3bea54ba4a5a3715d321e625b1a3a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3510810,"id":"Q3510810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52de1186e31444cedbf03d44371c90c60582ff62","datavalue":{"value":{"amount":"+0.8565687537193298","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":"Q3146278$B40D24FB-D63E-4D44-801E-BADCBE118856","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3146278","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3146278"}}}}}