{"entities":{"Q3526936":{"pageid":5556840,"ns":120,"title":"Item:Q3526936","lastrevid":50463266,"modified":"2026-01-14T03:00:13Z","type":"item","id":"Q3526936","labels":{"en":{"language":"en","value":"Semantics and Verification of a Language for Modelling Hardware Architectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347196"}},"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":"Q3526936$8F69C557-81F0-4DF1-9654-ABF855DC7E37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d8f92862528567361da57798d8946b9ea95f1c4","datavalue":{"value":{"text":"Semantics and Verification of a Language for Modelling Hardware Architectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526936$981FC34B-5931-46F5-B238-DD6541812AD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"155d665eb3fff0322cf3cd0f48aa5cf2241989d4","datavalue":{"value":"1151.68480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526936$F4ACF3D8-ED3D-4CCC-8010-B1805FDF12BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb1af064c59412833615c95c958ebc55fbf97841","datavalue":{"value":"10.1007/978-3-540-75221-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526936$58BD33EF-CF08-4100-B959-D52393BE3AF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee8d9d7038763b41daab56ec63374a2aa4834ce","datavalue":{"value":{"entity-type":"item","numeric-id":478378,"id":"Q478378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526936$B50D54DE-BC79-4DD5-8C45-FD49D51BB78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b863cea75daa442a9ee933e3d7b7692eed845e","datavalue":{"value":{"entity-type":"item","numeric-id":953525,"id":"Q953525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526936$463F3EC7-1547-4DB0-908A-D35AA64D47F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d9bc6337426905d9eed488bf723aa3c82d653be","datavalue":{"value":{"entity-type":"item","numeric-id":2251130,"id":"Q2251130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526936$7C1F60D8-F2BC-4D4F-894E-33C208E6C353","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a5acd49d140727f43492171bd0684564e4b880","datavalue":{"value":{"entity-type":"item","numeric-id":3526922,"id":"Q3526922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526936$292804BA-AB31-43D8-8AE3-7480AD1702C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526936$6DDD57E9-7042-494F-B345-9CFC283E6256","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526936$F3C996DE-0D22-4F87-9E8E-536FDC67ECD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526936$A3710A2A-9337-401E-90CE-47DC09D1F7CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"292a08acfc2bc6498bcea928d5725aac01e59e8b","datavalue":{"value":"5347196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526936$C5743AC7-E697-4342-94FB-1E14862C996F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f875a55e1989eb34b41d1ab74d98978b94336d55","datavalue":{"value":"hardware descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526936$4A5BBD68-91DB-43CC-974F-003E209FE2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526936$5172DE3F-44AF-42CF-A41F-B3141216D703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526936$704EFEAC-E9BD-40B6-AB98-EB4C2CFCE6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526936$DE099EA0-6832-42B0-B7A7-0A5C7AF0ADEB","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":"Q3526936$585D9C13-740C-4426-923E-EBFB7E0BC7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"948bffdf09bb87223be7b943c58162673c13816b","datavalue":{"value":{"entity-type":"item","numeric-id":16335,"id":"Q16335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526936$D4DB1460-13A9-42BD-A0C0-0A967474D7F2","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":"Q3526936$C3A7CFC0-E18E-431A-80DF-E800FECD9108","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1ffbed262b700eb0e965ee4e434c97032d03928","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75221-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3526936$7DDEB5B5-CB31-4E10-AA77-80875E27DF8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bffd3a271b1439096fa1254b8baaa64eff83eaac","datavalue":{"value":"W2160170063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526936$0DB856F9-7F96-469B-9234-7FE10C5BE7D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16868763fcb6723135ef6bbd52fe8e50307692df","datavalue":{"value":{"entity-type":"item","numeric-id":4873997,"id":"Q4873997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10336b73bbb64cd966b02f798ece01b870aeccb","datavalue":{"value":{"amount":"+0.7520610094070435","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":"Q3526936$8ADC59FF-6C97-4C9E-9B29-29DC398E7FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2f92a2fb5cd3f648c2d7532b7a740a02c04856","datavalue":{"value":{"entity-type":"item","numeric-id":4028131,"id":"Q4028131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10336b73bbb64cd966b02f798ece01b870aeccb","datavalue":{"value":{"amount":"+0.7520610094070435","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":"Q3526936$34BBDECA-1D2D-4897-8325-E4EDE8AAFB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bf956b8b56f9371aa645fcd4dcde9a6e27d197","datavalue":{"value":{"entity-type":"item","numeric-id":4873998,"id":"Q4873998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3add1ac9eed2fcd00fda4b2d31b3e5ac833bab51","datavalue":{"value":{"amount":"+0.7512270212173462","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":"Q3526936$C3585EC9-0E9E-46E9-BCA4-F440259BC807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"721e4554a73d80821cb4191a57e12f9732c385d6","datavalue":{"value":{"entity-type":"item","numeric-id":5900547,"id":"Q5900547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d56abd0ee969389bf6900c8d14a0b7dbdb001e4","datavalue":{"value":{"amount":"+0.7461206316947937","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":"Q3526936$B3BE893B-63FF-49D3-9B8A-085D082A7DAC","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":"1b4e28f8158d39a0152d487c09dd484a666b50bb","datavalue":{"value":{"amount":"+0.7447004318237305","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":"Q3526936$7DE07F85-FA1A-4ED0-AAB3-1C00B2577C59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3526936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3526936"}}}}}