{"entities":{"Q3030255":{"pageid":3040971,"ns":120,"title":"Item:Q3030255","lastrevid":49095940,"modified":"2026-01-06T14:24:30Z","type":"item","id":"Q3030255","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018390"}},"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":"Q3030255$EFDA5F23-A0A8-40C2-8B20-95A84CBC580C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d9159008575e4739f946a0978a0c50c3779b4fa","datavalue":{"value":"0626.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030255$C6B7A9A1-960E-4C58-9EAB-FE9364F5F622","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43f869d4397158348ccabb4b4e5b76bad6a54dc","datavalue":{"value":{"entity-type":"item","numeric-id":1329085,"id":"Q1329085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030255$4E4AFB23-9026-4DE5-A32E-E78770A82643","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3030255$8E3A7726-C023-4112-82CB-39EEDA9395F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030255$E7BADCFB-9620-43A4-A9CF-F2E39A012147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030255$45832C86-9603-409E-9F2E-E851B185BFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10b85655aba2fdb6347555277df2ffd39ea1a82a","datavalue":{"value":"94C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030255$26486BC5-345E-4660-B13A-B0F263E26C0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"242bdbed189261450f3053b3031ee3629da84bc6","datavalue":{"value":"4018390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030255$E87C714D-AC81-45BA-9B63-B1D20A99C612","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e5fd7de6b3cda8a0a4e1e5aaa3cd5bb3d54b2d","datavalue":{"value":"VLSI hierarchical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$393EED3E-1F52-4D33-BC7E-7C768BF00D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec093c4c8e0f91ddcf55d13a79597e7572d477b","datavalue":{"value":"proof of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$AFC7FE3A-A464-4298-9740-08519647A13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71b07c1500a114f68cf3d950a56a027b44114dd4","datavalue":{"value":"behavioral description","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$6E72BAA4-1259-4A66-953D-ACE743820E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75ff1b4238572c325e054d120e271a461873b8f","datavalue":{"value":"structural description","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$6459E218-D800-48BA-86D4-5218428D96B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56895071543e8688d8684377b7f727a8aba5f2e","datavalue":{"value":"synchrony","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$6AA3D8B4-8016-4ADA-A7F0-7208AEC0E89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ecb7685d6e7a1165883e6304d4a889e3b1a50d8","datavalue":{"value":"asynchrony","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$0B328CAE-80B6-4165-84F2-487436B95345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"311b71643b17a1305967869d595f7c49ba18f472","datavalue":{"value":"VLSI digital systems design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$57CEBC3A-0878-4959-8B6D-CFA806295B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9abbb0f75a492b7a12449a81d6817e04a67bee7d","datavalue":{"value":"dot calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$A457B66A-B9E5-441E-A38A-25A971FDFCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9090eae54307f4cb4926123be61b267a50c76f98","datavalue":{"value":"term-rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$4E0EFFBE-154A-46B8-A1A0-A07F19E835E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18e9524c095a88f9c9c28c16936b9f4e897dcf0e","datavalue":{"value":"wire","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$11E40A0B-E5DF-4A70-888C-D8974C0C72EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c180e65b12d308d42f365c417d02d1ab00164b3b","datavalue":{"value":"comparator circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030255$60E2A5DB-DA84-4A33-A5C2-A044ED32BE70","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":"Q3030255$0942A867-A4C0-449B-ABA6-A0F1216FEF5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736e9d1c58937a8bd079545100495678268640cf","datavalue":{"value":{"entity-type":"item","numeric-id":3996818,"id":"Q3996818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dfe9ec1c79a084b61e462e417ff17a3ebdaa2f7","datavalue":{"value":{"amount":"+0.7680925726890564","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":"Q3030255$5E92A4D2-8C2B-49F1-A070-7E5971ADF645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb57dac5e9733bbbaad6a936013c102dabfd2939","datavalue":{"value":{"entity-type":"item","numeric-id":4419604,"id":"Q4419604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf9c2dd66f6a0ac29563bf022575a41c28bc7db","datavalue":{"value":{"amount":"+0.7602376937866211","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":"Q3030255$8A2D51A7-900B-4366-9AE3-77351133A8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e2e2f8ec07c7d947ced5ea0457f98ebc5dfc90","datavalue":{"value":{"entity-type":"item","numeric-id":4037377,"id":"Q4037377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c7c7cb7f4a84d913903eaf2c0f5ab9b0953ceb","datavalue":{"value":{"amount":"+0.7560781240463257","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":"Q3030255$F61AA3A4-8148-435F-A996-2859D35C0374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c7c7cb7f4a84d913903eaf2c0f5ab9b0953ceb","datavalue":{"value":{"amount":"+0.7560781240463257","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":"Q3030255$D796B4EE-5468-44D9-A29D-77BB8C676B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4922076434762d4aa7bb6d25e7222d16232fe0ec","datavalue":{"value":{"entity-type":"item","numeric-id":1088971,"id":"Q1088971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a41930521eef8f536c217bba60ce3eb474bca99","datavalue":{"value":{"amount":"+0.7533974051475525","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":"Q3030255$4672C1A4-501F-464A-BD76-D80E21BC4137","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3030255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3030255"}}}}}