{"entities":{"Q1929355":{"pageid":1940097,"ns":120,"title":"Item:Q1929355","lastrevid":71174952,"modified":"2026-04-13T20:00:49Z","type":"item","id":"Q1929355","labels":{"en":{"language":"en","value":"Static consistency checking for Verilog wire interconnects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122895"}},"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":"Q1929355$A715C766-0B33-44BE-972E-D8BEF40EDCF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29b207c9dde43dde89de3acf421633cdad937f94","datavalue":{"value":{"text":"Static consistency checking for Verilog wire interconnects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1929355$C2174786-93BC-441D-A966-7F2B4AF85D66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8584fa30215a0f8b966f47cb742af699ee995d0f","datavalue":{"value":"1256.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929355$EB9E7D5D-F77C-4A8D-8E01-3344FA8281A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929355$A8138610-744D-4D43-B0A3-8A130BEF9865","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929355$FDADBFA9-9E09-4025-85E8-9D06757213CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"effbea8d172ba80c035d820a1b628fba00c4e28b","datavalue":{"value":{"time":"+2013-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1929355$BDB70DAD-2F0B-4D91-BA06-7C126F6EEB4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929355$3AAF9497-6FF2-4223-8679-93CD31E0C5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929355$3CA61311-7C6F-4110-90DA-1A7C6CF119FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c27e50e2192b18caa562a7ae537059e3f7706bc","datavalue":{"value":"6122895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929355$C7D0592D-1E0A-4598-A198-652CF1FE15FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3b4214adac3077ef572e8b5541e96af34871585","datavalue":{"value":"Verilog elaboration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929355$E0D8D510-F953-4564-84CC-F3A1BF06431A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67f99d815490fe01bb09e279b833cd68da647e9","datavalue":{"value":"static array bounds checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929355$FFCE61C8-B2C4-467A-8D46-5BECCA40BB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bbf5d011d2124768501202a3a26cdc28bb7242","datavalue":{"value":"Verilog wire width consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929355$BED8E350-2125-4920-9E63-FFC4884841A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c57eb678c38f5715946cdafb38366cadad39f06","datavalue":{"value":"dead code elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929355$F7353714-2F30-42A9-8B86-C70AAE9D67D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929355$9E89510B-24A3-4415-A3A4-75ADCEA40F59","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":"Q1929355$863E1CFB-9F92-46AC-9B73-57145761D6D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7157c4aad34e58ab2e7470756cc500fa8fc48837","datavalue":{"value":"https://doi.org/10.1007/s10990-011-9072-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1929355$48584AF2-38ED-4973-9A66-270EF59E22E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdb8693ff952c89a41c0435627cc936d550655b5","datavalue":{"value":"W2200498803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929355$88A29FDA-2B81-4620-83F9-019A7DFFCF67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"435c4834e68b68acfe27616e56a30e9574047f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4939696,"id":"Q4939696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929355$C99E4D2D-8542-4CD6-8E29-DC814463A502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b03de6f1dad401a15e7167ef5bc6e87332d6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1095636,"id":"Q1095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929355$AE375BC0-03BB-41A5-BCF7-F6FF787FCC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929355$E9900C94-70E1-43AF-AF8B-DB287EE370D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54477f980270ad653e170b6c3c31555e94d5737b","datavalue":{"value":"10.1007/S10990-011-9072-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929355$03740BD7-89E5-4F34-A93A-3143A215D850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbc6987c85af47764686feaee86566846c722dca","datavalue":{"value":{"entity-type":"item","numeric-id":4411977,"id":"Q4411977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d80859bd71b5f15c72a88a8e7c460c4428c1cee","datavalue":{"value":{"amount":"+0.6558383703231812","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":"Q1929355$824D6A3A-3D5C-4025-8240-23749241EDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a5217f78edfb47a29e9b66b7982be3374720b4","datavalue":{"value":{"entity-type":"item","numeric-id":609757,"id":"Q609757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f692b6aadfda61f1a9e0269aa245b6b624eb9ea","datavalue":{"value":{"amount":"+0.6364938616752625","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":"Q1929355$1B575030-67F6-47EF-940E-F47B1D0DDC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c49d17742449b7cbdbcd56533e4f49cb421d746","datavalue":{"value":{"entity-type":"item","numeric-id":5897072,"id":"Q5897072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e52221c4e279dec2cbe38e1a27ee1500ba845f5","datavalue":{"value":{"amount":"+0.6307687163352966","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":"Q1929355$3A0AAD7E-9DC7-4051-91BC-E0520A4F01D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b35d99fd91b26ccbf1e66ba1813042da47e53ac","datavalue":{"value":{"entity-type":"item","numeric-id":5179364,"id":"Q5179364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162aeb54ee2ec90738beb3964af17ce439e18584","datavalue":{"value":{"amount":"+0.6217318177223206","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":"Q1929355$4B2C2085-6D8D-4ADA-AB0C-C6EA6CFAB1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d1d2918be7214a0adf87ec0cdbe53b834d01841","datavalue":{"value":{"entity-type":"item","numeric-id":5493212,"id":"Q5493212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd3f26f249734dd43a3cbb6035ee08b0b4dfd31","datavalue":{"value":{"amount":"+0.6156501770019531","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":"Q1929355$BE904876-2EEE-46FD-9BFD-676324B1D737","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static consistency checking for Verilog wire interconnects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_consistency_checking_for_Verilog_wire_interconnects"}}}}}