{"entities":{"Q4023571":{"pageid":6053336,"ns":120,"title":"Item:Q4023571","lastrevid":55204015,"modified":"2026-02-04T18:48:25Z","type":"item","id":"Q4023571","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 107991"}},"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":"Q4023571$D338AB13-C427-4F75-82D8-84CDB656791F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfa90618ee571a3a9a624548d145e0c80f9c0a70","datavalue":{"value":"0778.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023571$A7962BD3-894D-4EA1-8CF6-2631EEA14F79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4023571$E8FF5C44-3E05-4958-800A-A7E6392AF775","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023571$0BFC7A91-7D3D-4C9C-B83E-1E85B9EFF8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3cb322112ae56aec500b334b7351f32fb107365","datavalue":{"value":"68W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023571$3731FE36-783D-41F4-B6A5-F9F0FB3BA9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023571$AE0458A7-BCFC-4029-BB8D-FC1A9CFCC225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023571$69F16DCF-BE95-4CE8-9118-D0CAB3DCE94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023571$556C10EB-E153-4D26-99D5-004726BEA172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"406ed1c44d36dbf134e41cf1504792fcb9df2a8d","datavalue":{"value":"107991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023571$4B7E4248-5514-4E35-AD59-E096DAC0BF26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ba781e3026c787cf1c025ef19024542b535286","datavalue":{"value":"VHDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$65F24884-0D37-4589-B4D1-9C0660B6BABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f35d63176770a291ce2bc7d1e66a849a755c3df","datavalue":{"value":"Simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$6A2DFD59-8888-475A-BA03-EB974D90CAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707679c621b02045e9cb1d7d25f2fe2bdebc62bd","datavalue":{"value":"Synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$22718A41-C09D-46C1-9B03-BAACE599C4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9100f6cca5abcbba8e78dc210540abf7378e8bee","datavalue":{"value":"Formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$F0DCDC84-5367-4604-92ED-98E858BB666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e10450c6ef5f91b453022b71ef5b1f7bfde595","datavalue":{"value":"Hardware","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$1C0B1A85-76E8-4D04-8AC9-4C4632239FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9dea52324ea1d46e22f6728840e932056b22165","datavalue":{"value":"hardware description language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$FC31F218-7AC8-4D96-A101-2734B29205DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$243816B3-EA3D-4DDD-BDFC-08AD066E106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$AEFF4657-1A5C-49B9-B75E-EBA0764575C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$88077BC3-0FEB-49CB-8D3D-2545442F099B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0723dcdd778ac476290025fb2f7eca5b1c992d49","datavalue":{"value":"system level design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$C8569486-D17B-4D76-8E3D-AB78674A139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9778e1c50ad040fdbd47bced21cb9b0823eb5ce","datavalue":{"value":"modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023571$CCFAFA55-1E6B-418A-BF52-474248F7B864","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":"Q4023571$6987FE50-638C-4D66-BB24-F4B7AB6DDC39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0413b7b8b01671f333a1b21caeb6aa9938f583d3","datavalue":{"value":{"entity-type":"item","numeric-id":4366787,"id":"Q4366787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca870f3912e29670442111134f8a88f23fba2da","datavalue":{"value":{"amount":"+0.8599210977554321","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":"Q4023571$94B4F9D5-2DFE-4F08-BBC7-941DB0291A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d93c9b86f36b2a9cf874b5d0f807a960606f8ea","datavalue":{"value":{"entity-type":"item","numeric-id":4002108,"id":"Q4002108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db7819229159b3c548f6c2b428f35fde883aae5","datavalue":{"value":{"amount":"+0.8399713039398193","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":"Q4023571$5DD12066-BEC4-49C2-A7F6-33D1E8E5230E","rank":"normal"},{"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":"f0492dc5cc2f5aa1b103251f92369a31e5890558","datavalue":{"value":{"amount":"+0.839256227016449","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":"Q4023571$C9C40B05-F877-4C08-AA74-86BBC3B60C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f2940abeace401dbb88caafd96ced35b865c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4023566,"id":"Q4023566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91089174f68c7c6b1b2376708969225c6fe04c49","datavalue":{"value":{"amount":"+0.8368982672691345","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":"Q4023571$1E72571F-441B-4338-B731-182E2DD2B2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7559205a8f8906b1e4d73170ce60066b3551fdb","datavalue":{"value":{"entity-type":"item","numeric-id":4284395,"id":"Q4284395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91089174f68c7c6b1b2376708969225c6fe04c49","datavalue":{"value":{"amount":"+0.8368982672691345","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":"Q4023571$040648DE-2B66-4026-AE61-00B1D62ACE47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4023571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4023571"}}}}}