{"entities":{"Q3370733":{"pageid":3381437,"ns":120,"title":"Item:Q3370733","lastrevid":87048410,"modified":"2026-06-04T10:33:14Z","type":"item","id":"Q3370733","labels":{"en":{"language":"en","value":"Memory arbiter synthesis and verification for a radar memory interface card"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004758"}},"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":"Q3370733$AA9F8B78-9AE0-43FE-BF45-5F9AA48C755B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25d85ed47662c9e5fc37e36dcaef1a58c6bb060b","datavalue":{"value":"1087.68520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370733$599185D9-8070-43E6-B5E0-9E1A2CFF7D94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a152147c0eb6a169aa73ebfc0b836994ae15e055","datavalue":{"value":{"entity-type":"item","numeric-id":3370732,"id":"Q3370732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370733$CE8D74E9-BBD5-4B4B-A4EF-35919E3F6410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-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":"Q3370733$CFAFC3E9-924D-4F42-822B-26B8966D436B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370733$8F23FAA4-B485-457E-B378-402D0DABCCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370733$ACBE04B6-E34B-4D9D-8C0D-AFE1909E463D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370733$2491A4FD-04C6-4508-B9F7-E128121A3925","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f85b11e46474828b8f81af332d3c97feeccf9d50","datavalue":{"value":"5004758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370733$4CC2DF41-E915-4933-A785-355866FEFE21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26852e62a89689e7d4ead334a2523749d2837df2","datavalue":{"value":"formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370733$CF759C5F-E07F-4F61-B322-00771A259444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e78b9884b3db3b17ff722d5f1c97eda9220560","datavalue":{"value":"bit-state hashing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370733$5006C477-C046-4E70-B69D-EE6C53BFF537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1478f77f1c4ed17a008d6960b92a016cc3618c87","datavalue":{"value":"guided model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370733$0B723951-D305-4D69-AEC1-246543FA6BBA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370733$379F84BC-892C-419D-9F99-5028405349F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370733$9E553F8E-8213-40EB-B922-1903027CB625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa6c3bd74034254be2e2ee3e7bc53e619543e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":37398,"id":"Q37398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370733$162CE92B-F2AE-4185-A22E-94543F85175D","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":"Q3370733$1EF15453-960A-44EE-8691-72FFE199179E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32b3672cc96864b7e62405e27802cdee7a9bde9a","datavalue":{"value":{"entity-type":"item","numeric-id":816213,"id":"Q816213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1b02371c604fd843a4ac12b2bfb53db7d7dfa4","datavalue":{"value":{"amount":"+0.6842002868652344","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":"Q3370733$88028E8F-9287-4BED-A03D-C0BBF1D59462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2990ceb368ff2d79002f54ffbdd7960ea13d1b75","datavalue":{"value":{"entity-type":"item","numeric-id":5717494,"id":"Q5717494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b11cbad71cc526b69b3c6dac0be72b4361ddd6","datavalue":{"value":{"amount":"+0.6785945296287537","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":"Q3370733$3F31371B-D630-4912-AACC-C6DC821322E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ba9f6748a6ea64688be6f111ad012b335cce7d","datavalue":{"value":{"amount":"+0.6677500009536743","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":"Q3370733$F6770C25-36E0-4FF0-9DCF-DCEB42957550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8ed4dcaa57c1472d5eb1febbb31c1bc9bfacc1","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fa5d87820459dd7523728cdacb141bc2761750","datavalue":{"value":{"amount":"+0.6624906659126282","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":"Q3370733$946A0B63-8787-4D95-B073-5390F5156F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6243b695d1ce53297b64a1d022fe0de569bf1f87","datavalue":{"value":{"entity-type":"item","numeric-id":3030258,"id":"Q3030258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3485e8b49e1d611ecbbcae0b1d46e86494599c05","datavalue":{"value":{"amount":"+0.6459718942642212","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":"Q3370733$F552B5A2-C6E8-4C48-9EE9-9C8F601606A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Memory arbiter synthesis and verification for a radar memory interface card","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Memory_arbiter_synthesis_and_verification_for_a_radar_memory_interface_card"}}}}}