{"entities":{"Q4037387":{"pageid":6067105,"ns":120,"title":"Item:Q4037387","lastrevid":55250080,"modified":"2026-02-05T07:58:50Z","type":"item","id":"Q4037387","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177518"}},"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":"Q4037387$4A81ED62-44A9-43D7-9022-397A003C15A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a0e63e874254b7321f7d969d7e9195046f53fe6","datavalue":{"value":"0765.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037387$1607E59E-3A77-44DD-B94A-FC17B584AD2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"222205726dff0ef2b08bded726a14fc8cc9e5a10","datavalue":{"value":{"entity-type":"item","numeric-id":1076508,"id":"Q1076508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037387$E8945328-F01C-4ADC-BD9E-766EAEF46CD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037387$6BD1663F-A015-495D-B361-86DD71580580","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037387$0048BAA0-6B1C-4DB8-B430-DB922D2D1A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10b85655aba2fdb6347555277df2ffd39ea1a82a","datavalue":{"value":"94C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037387$C8FBFBE5-2CF5-44EF-AC4C-DBAA611EAEB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"366037d991c36d06870a6f80dac24c8a6db0e2b3","datavalue":{"value":"177518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037387$43549522-DB1C-4F0F-A3E4-AC4087A6A293","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a4188bd3c7b2dfd9482c307c97f853305984f93","datavalue":{"value":"automated circuit verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037387$5F11C481-A457-41B6-899C-3F545C3C0AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a22ffc95bcaa429a77dce4913482b89ed7d11e9","datavalue":{"value":"timed trace structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037387$4BE8327F-B588-4253-9C75-D71A18E9A784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037387$2DD89B5C-28B7-4D66-8454-5B34C175B187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037387$ED498003-4DB9-4F3D-9345-4F4EA4AC75EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d86ae16e378b33301ce565c793f8e8f55c8663d","datavalue":{"value":"complete trace structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037387$216362D3-3DF0-438B-91FC-6BBCF47AB54A","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":"Q4037387$F909E6EA-F374-4A12-AF81-4C3FC10D4C2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c9ef6e43b2ed5f3e86cbf9d49a047d09cd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":2943770,"id":"Q2943770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7db28f74803523226543b2ac4d4dcdcc789dbd","datavalue":{"value":{"amount":"+0.9179409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037387$23B85C94-3906-49A8-A26D-106297D03948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3595d77a050623f973e1a6a9fc667c6ee0418dcb","datavalue":{"value":{"entity-type":"item","numeric-id":3085987,"id":"Q3085987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e9ec8096be19619fd1928c7c32da306ac247d6","datavalue":{"value":{"amount":"+0.9090861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037387$E07D8849-F647-4341-8DA9-7AD3B44EAAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1948af842d13a6cb2493ca05713966944f083ca4","datavalue":{"value":{"entity-type":"item","numeric-id":1346653,"id":"Q1346653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4f5726d70dd64cab964feeccfde55dce6ff908","datavalue":{"value":{"amount":"+0.9052355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037387$923170A2-7DFA-4B66-A296-27873BF6B15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2270a327323d1de3606444cb45346a60e85b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4256644,"id":"Q4256644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa8bc894708076abf34c8d9d5540831d6f128d5","datavalue":{"value":{"amount":"+0.9047011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037387$A7EA17BC-EC73-444E-A731-35FC4B6F0320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780b41ab67584bea9b4bef87901346196078c81c","datavalue":{"value":{"entity-type":"item","numeric-id":4945222,"id":"Q4945222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd108f7ca7a9d027a875bd9fbc67be2a285e090","datavalue":{"value":{"amount":"+0.90436584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037387$695B1024-FC0C-4D40-B8F0-184F9527D53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a564cc5b7ef6d2791ce03f87f3cb8acc8c16d6","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3098fe9f6eda58e8b8953869595d65553046c2","datavalue":{"value":{"amount":"+0.9042656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037387$C3851161-286B-49C0-A891-8307D0AD7C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae63d6c8447a0a39cf3d39408c0467f134b5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":5206959,"id":"Q5206959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3207867904800adbeb3a8fbea2205a20c9ef09e0","datavalue":{"value":{"amount":"+0.900513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037387$CDEAE3DD-D14E-431F-9399-F41359C747DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037387"}}}}}