{"entities":{"Q4450445":{"pageid":6480044,"ns":120,"title":"Item:Q4450445","lastrevid":48238888,"modified":"2026-01-04T02:00:40Z","type":"item","id":"Q4450445","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2042616"}},"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":"Q4450445$0D86FB1B-05B4-4EE4-89E7-892D255F7CDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e038003276bc0dcd5c3a0310b3050a82c4620e6","datavalue":{"value":"1049.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4450445$FC679797-47A9-4E0B-8778-8147388898EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa73845da6faeb3595ac4dea6415bdc68ae4978","datavalue":{"value":{"entity-type":"item","numeric-id":229730,"id":"Q229730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4450445$29673A73-22A5-45E3-A0EE-437E80A22033","rank":"normal"},{"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":"Q4450445$E793831B-6B08-4BBE-B05A-0F31824F931A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09443cfab6fd5785ecda7e07fe946f107bfd3fa8","datavalue":{"value":{"time":"+2004-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4450445$0AB85EDD-04AB-49D3-A56E-A6FA38310FF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4450445$78EDF958-BEAF-4751-8DFD-0EB10B0F89A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4450445$867549DD-96B6-4DC6-BA6F-98AED54080AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af407ba59097142a9f370753cb9b9228afc96fbc","datavalue":{"value":"2042616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4450445$5F9711A7-17CE-4422-AF3B-E185F3A50776","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4450445$9BD5FB7E-A583-4ECE-99D1-EFDBB44F377C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856e320dea003be8066c713b15ecd4f50d63e44b","datavalue":{"value":"multi-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4450445$DF2AE800-857F-477E-A026-106611DB9262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4450445$7C83D1B7-20EB-4381-8CA9-A2EA43FC2FC9","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":"Q4450445$5B41071B-BB7D-4B4C-B774-0188E0A4AB50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7672411deca7824e0e09f7d122826e12fa604c","datavalue":{"value":{"entity-type":"item","numeric-id":4818743,"id":"Q4818743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdb5ecb6e282c3a17d0bc6cd36b21c8df9cedc8","datavalue":{"value":{"amount":"+0.9016032814979552","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":"Q4450445$F1D698BB-0050-4002-A5CA-6F8D91A6C0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6eed68d963a444e886150b3d24466d294f49c22","datavalue":{"value":{"entity-type":"item","numeric-id":4484490,"id":"Q4484490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df718d34749460c4d29f12394bad831bd800aada","datavalue":{"value":{"amount":"+0.8970980048179626","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":"Q4450445$44D825D5-DEE6-446D-B204-16CCF9368DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237a11b72e2d646a678bdc54e1549b34ce51e60e","datavalue":{"value":{"entity-type":"item","numeric-id":2213111,"id":"Q2213111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e01f546113aef2db2a18b5b718f3421d1e6fe8b","datavalue":{"value":{"amount":"+0.8824018239974976","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":"Q4450445$40AD18F0-BF2C-4A9F-8974-AA033137B258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b12f51fa7508470e8c4ac3504e447c6d1dcdb61","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b964ec3daec395ab10774f73697d49a229ffaee","datavalue":{"value":{"amount":"+0.878277599811554","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":"Q4450445$C59736A7-2806-4F85-8C7D-C7CAE859366B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1fe44711cb43516b28c1580122505e79897694","datavalue":{"value":{"entity-type":"item","numeric-id":896917,"id":"Q896917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f052efaa757516e4a0828a48f458f6f677c404e","datavalue":{"value":{"amount":"+0.852200984954834","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":"Q4450445$5620443F-C080-4033-8581-0D6C1868DFAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4450445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4450445"}}}}}