{"entities":{"Q4028137":{"pageid":6057891,"ns":120,"title":"Item:Q4028137","lastrevid":55212805,"modified":"2026-02-04T21:22:22Z","type":"item","id":"Q4028137","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139808"}},"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":"Q4028137$EF884199-83FC-4EA4-AA61-1FCCA6A85736","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fae6bc49d4cc51aac65e00873450d22bbe1a4fa","datavalue":{"value":"0794.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028137$98E68796-9B85-411B-A1D8-B27EA7011CF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db104b4a762e3f51912076a84eab8fcea8d94ef6","datavalue":{"value":{"entity-type":"item","numeric-id":931432,"id":"Q931432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028137$E7DA0E5B-B36E-4930-AB92-C90A97112620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf448345177d32a6b61928ec67914c7d11ee8db","datavalue":{"value":{"entity-type":"item","numeric-id":3087997,"id":"Q3087997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028137$6AE47C96-6F14-4778-9E88-3B9D80D7B7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0873b0ffea6bf5a866aeb51bb7e707c4298d6c1","datavalue":{"value":{"entity-type":"item","numeric-id":4028136,"id":"Q4028136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028137$1549C332-ED47-4695-B627-5ACB41228613","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028137$C5F630DA-1211-4435-9EE5-055F9A9C12D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028137$32EBF3F0-B86C-4231-A829-DF230C88F5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028137$F19F38AA-B39C-4CDD-8406-B40D54C6EFAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5f0d916eefb122a8a20e0d7311342737accbc9d","datavalue":{"value":"139808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028137$6FC8D6EE-8B3E-477C-83DB-7D1DB60AB5FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9f554d6255522fb5c4ee1fe2f2ea91ca053540","datavalue":{"value":"formal verification environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028137$16D14C05-6124-4731-9634-411C70ACE286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69992f22623770859df731d99b0aec60f22de2c1","datavalue":{"value":"VHDL architectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028137$444D9216-A561-495F-9257-854C9FEA0A3D","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":"Q4028137$F9A3F922-36A5-44DE-8ABF-6739D018FCDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891ae8751f711d6d8c39ee3a07afe57aad179800","datavalue":{"value":{"entity-type":"item","numeric-id":4231169,"id":"Q4231169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02cc8b8a1235f791952d3948881f445695981ee","datavalue":{"value":{"amount":"+0.84984297","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":"Q4028137$489EA00E-C388-4543-8B05-A190B9D95726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d798b6030985ecacc44214169e8a5323be12b120","datavalue":{"value":{"entity-type":"item","numeric-id":4023571,"id":"Q4023571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180162808eebd8f77cd10f8afc162b75857cd1b0","datavalue":{"value":{"amount":"+0.84759146","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":"Q4028137$58D0DBB2-DF73-48D5-A39A-2CB27F103242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c5b063fc5e670d4a9f63284b1e1ed55f5ffb70","datavalue":{"value":{"entity-type":"item","numeric-id":5505565,"id":"Q5505565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b925450ffef21b0b888fe22d9b65f75793002e","datavalue":{"value":{"amount":"+0.8449655","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":"Q4028137$87A1F1E8-C725-407B-9F73-A2C0C9292542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c45a6d34d94ac585ef01a06921939a225234167","datavalue":{"value":{"entity-type":"item","numeric-id":1801500,"id":"Q1801500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614c8e64fc01ce154d65013c76b4b6b091f2bafe","datavalue":{"value":{"amount":"+0.8428832","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":"Q4028137$F3328843-4339-4FE2-8C21-ADF8AD964470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"581279f0ad28c0c70fc3a2b9c99423c9730c6526","datavalue":{"value":{"entity-type":"item","numeric-id":4296956,"id":"Q4296956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de471d6bc6adb8f51abbd86ade2d32b5fa722e13","datavalue":{"value":{"amount":"+0.83468455","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":"Q4028137$0D8D45DB-C825-494C-A1C9-B8A20F0AA1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5b9cb0856d127c2a916c295ebc1e9c91730609","datavalue":{"value":{"entity-type":"item","numeric-id":3804241,"id":"Q3804241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d443457800c0f4c76a547c05f3fb7b1a45671e2","datavalue":{"value":{"amount":"+0.8254248","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":"Q4028137$DF957547-3D56-4D57-90B9-1A38E6EF471E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59267f35c650dafe313c4eaee81b2b550188f4c2","datavalue":{"value":{"entity-type":"item","numeric-id":4312477,"id":"Q4312477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71dcf2bd9ac1c031be121abc4f83dfc676e8aee","datavalue":{"value":{"amount":"+0.8239819","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":"Q4028137$360FAEF6-866E-4179-9E47-7BAAD6792A1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028137"}}}}}