{"entities":{"Q3377010":{"pageid":3387714,"ns":120,"title":"Item:Q3377010","lastrevid":49808284,"modified":"2026-01-10T22:51:17Z","type":"item","id":"Q3377010","labels":{"en":{"language":"en","value":"Functional Verification of Programmable Embedded Architectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5015512"}},"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":"Q3377010$165FD8A2-C2F2-4D88-95C7-176C12BE6500","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f4147b028bb87d18b69e1c7adbcafdc1eda767b","datavalue":{"value":{"text":"Functional Verification of Programmable Embedded Architectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3377010$9E4A9A8A-5D1E-4F23-8D71-532CAFF2B9B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e38010ceb4936342cac9eb9d2817a593d47b4da6","datavalue":{"value":"1087.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377010$DD3C606E-F28F-4F74-B7DA-5D5194EA07B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f0e59f073a9b2399c483abec8c1bc00bf117d99","datavalue":{"value":{"entity-type":"item","numeric-id":680488,"id":"Q680488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377010$B71DCA2B-FBEB-4CCB-9E81-1F93C2184642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f12cd6bb72589446d99bbe1defa41b11d8dd16","datavalue":{"value":{"entity-type":"item","numeric-id":839026,"id":"Q839026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377010$26C1F675-E70E-4516-B42F-CD58FA12DC43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d98e47da20022a507a8bc653f0becd1f7b238a6f","datavalue":{"value":{"time":"+2006-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3377010$1E95F928-FA98-4484-B382-2B8336ACFA5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377010$585026F4-DE25-4A0C-A25F-B38A6D7E07A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377010$AE308CB5-5F68-4481-94CC-B42DC13A3879","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"338d6b2f0bd0c1feab496a443fc1b9e402fbae0d","datavalue":{"value":"5015512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377010$9E68AD81-D351-4C43-8DA1-C6F1B34691A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cedb69e7cacff302513c73340eefb78dc46081","datavalue":{"value":"Validation of programmable architectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377010$E0F27651-2B06-471A-848C-AFC7E509E11B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8a6f476c574d3a75ed2c32cf5d9633fa8fd63d2","datavalue":{"value":{"entity-type":"item","numeric-id":14854,"id":"Q14854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377010$B8703F02-9326-4524-BF45-65FA17F26C60","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":"Q3377010$4C1C15B5-DC00-44E5-A779-8CBF64A8AA29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f52de89ef93bfa72d8a15f09b3df10b8c089b0f0","datavalue":{"value":"https://doi.org/10.1007/b137514","type":"string"},"datatype":"url"},"type":"statement","id":"Q3377010$41CA6211-E3DE-4A2E-B4A3-E9C40AF2950D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ef68e9aa0a16b4bf0b16545c98bca1ae9bb0959","datavalue":{"value":"W4237136126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377010$81FA4801-8AD2-442F-8889-0358BFD79505","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27694a3560e8d834c45fdfe2f8480f3049df77e5","datavalue":{"value":"10.1007/B137514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377010$6D8B870D-E363-4428-9100-25CD2784BFDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b6d6adc743d844a72fb33af6618c5d4d8c36e5","datavalue":{"value":{"entity-type":"item","numeric-id":2910413,"id":"Q2910413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08aa0291f63b2cc4cdd54116445febdec9803d22","datavalue":{"value":{"amount":"+0.8191245794296265","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":"Q3377010$32925AC4-6905-49EE-BD1B-EB8AAC0CFB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7646d90d40200f6ec5e847340ae5081db75a7ff","datavalue":{"value":{"entity-type":"item","numeric-id":5851416,"id":"Q5851416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096ad9842fbeef6048ceb04edc3f8c3e24857344","datavalue":{"value":{"amount":"+0.7826157808303833","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":"Q3377010$0957E993-F82B-4B9D-A7E7-8CBC28B079FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb949f94fcdedae552a123c5b051611c12faf9f2","datavalue":{"value":{"entity-type":"item","numeric-id":2734777,"id":"Q2734777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377404e1dc6d4b4a59d4babb80ab965240079f26","datavalue":{"value":{"amount":"+0.7496911287307739","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":"Q3377010$84387B5F-A92F-4109-B2A9-3EFC13185F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e13fcff6a10749948ddeb1853ae81455a56c34d","datavalue":{"value":{"entity-type":"item","numeric-id":3060705,"id":"Q3060705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67dd99b84b802448418c37478bfda254a7c6c46","datavalue":{"value":{"amount":"+0.7496589422225952","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":"Q3377010$EC75CE45-185E-4EB5-8072-903E52EC3B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d148d1cdd2114dfcc43253e38bae22ac75faa3","datavalue":{"value":{"entity-type":"item","numeric-id":5187984,"id":"Q5187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b938cf18f5ea288c7124e0ae8deebbe1da3814f9","datavalue":{"value":{"amount":"+0.7288221716880798","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":"Q3377010$EC2BABBF-BBF3-4283-A8DE-CEBCCE190744","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3377010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3377010"}}}}}