{"entities":{"Q3455649":{"pageid":5235049,"ns":120,"title":"Item:Q3455649","lastrevid":52413422,"modified":"2026-01-22T14:31:35Z","type":"item","id":"Q3455649","labels":{"en":{"language":"en","value":"Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519769"}},"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":"Q3455649$81C0FF54-960B-4FFD-B9C1-3DBA1121D716","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23cadf62d3f584b250f69025f9eb57e5c820db54","datavalue":{"value":{"text":"Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455649$F5103E33-F9DE-496C-83BD-1C1A7FC28CF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9a55b2e62f47d3f150ab3ef9cdb196212bcd51a","datavalue":{"value":"1452.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455649$A0635BE6-C074-4282-8EFD-75821963315E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15518136a881ae8abbb65224e76436c614a26c04","datavalue":{"value":"10.1007/978-3-642-35705-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455649$D721A8A5-5961-40E3-9FE8-2F4A5B9A07BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d80cc90e4177e64d10862621f6d70af7c5a84a1","datavalue":{"value":{"entity-type":"item","numeric-id":299201,"id":"Q299201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455649$7C4B1BEE-8AD5-4204-B727-D1E8818D7357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"071ce7747a48231fb81aaada5ae0e0ce30f57d16","datavalue":{"value":{"entity-type":"item","numeric-id":256749,"id":"Q256749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455649$28F5679C-873A-4D59-8F9B-9511A363BF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455649$9A166E24-DFD5-41D0-904D-B4778A09ACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6240a0e63014b3ab3cb57b4f37c6b5dce0ed710","datavalue":{"value":{"entity-type":"item","numeric-id":436399,"id":"Q436399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455649$FDFC535C-6CB2-48F6-8671-A9FD61F1BB6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a469690149bc3cf60335251215f8201e92d3e50c","datavalue":{"value":{"entity-type":"item","numeric-id":2814611,"id":"Q2814611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455649$1DA9B9A1-F3C3-4811-8DAC-D0AED6E37B81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455649$B5C4F7E8-7CDB-4EBA-BAB2-0DBC54CEDECF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455649$10209D21-4136-4F67-BE88-0B93929FE9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455649$829BB88C-CE42-4213-B997-8FB0FD2CA59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455649$2B4412B8-CFE7-4FA5-A6EA-3F41BA949B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455649$9C8A4931-3EAC-436A-8ED0-FB526C15DC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455649$C4E8175E-4274-4291-8E69-7FE8C0156FBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d875d620718b955505ca8fa844b7dfedcc2e46b8","datavalue":{"value":"6519769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455649$885A242C-AB3A-4212-9842-64594202618D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f020d25a51bd213530f089b566f2ab7dfae67613","datavalue":{"value":{"entity-type":"item","numeric-id":25506,"id":"Q25506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455649$68BF52A8-C05C-49CD-9CFC-9002F565029E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455649$ED640DFB-D128-4C4A-B087-CDA27CF8E35E","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":"Q3455649$D68E19DA-F4A6-45EC-9CE0-0CE71081937F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66732c7d814f7c7abc2fcf08649d0bd8f2e1d2bf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35705-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455649$EFC50A1B-A8E7-48D8-8429-369DC0446549","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73f27770b557930108bd56ba44d6978344c92de6","datavalue":{"value":"W2106305471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455649$FAAB155F-03D1-44DD-BC17-022068AC58C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6539d31dedef521cb1021bae7fff54870fa2ac04","datavalue":{"value":{"entity-type":"item","numeric-id":4328965,"id":"Q4328965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455649$26CB58F3-3DC8-4B8D-AD2F-087A98224C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720f52ab783e3305f6a4289711e5737a68051525","datavalue":{"value":{"entity-type":"item","numeric-id":1615001,"id":"Q1615001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455649$0A223858-9C9C-4FF4-B12D-9819DFEDB676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455649$47C2DDCA-CB22-46DA-8DFD-D141863F7A07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb8d826f5dfc325b91a157caaa2a8ff089549a0","datavalue":{"value":{"entity-type":"item","numeric-id":4787253,"id":"Q4787253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858e93c9b96f6d70eec9de7660c0432255fea8f9","datavalue":{"value":{"amount":"+0.7988816499710083","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":"Q3455649$E2423EE1-63AA-4523-8A2F-C285E862383C","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":"b7a8ad501e1609377ad9fb5e370a988da65f9ce0","datavalue":{"value":{"amount":"+0.7530457377433777","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":"Q3455649$5AED4DDA-0FC9-481F-BDEE-F82320874317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c3f36ba20a1e854df5cd33f58dc49bfe59933a","datavalue":{"value":{"entity-type":"item","numeric-id":4412558,"id":"Q4412558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbc716d32491fb7ce344cea606155a69e411ce2","datavalue":{"value":{"amount":"+0.7158278822898865","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":"Q3455649$D02C2EAD-C5AF-4976-9A9A-1E2722527A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75b3dd4b1ed73271fd6258312556acf0c9f25b1","datavalue":{"value":{"entity-type":"item","numeric-id":4028151,"id":"Q4028151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5815bda814f3ce728ee68f5e34a698217531e643","datavalue":{"value":{"amount":"+0.7113458514213562","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":"Q3455649$01915893-F3A5-4E1E-951B-8E4A0B9361FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5f2e6a155b29a5c552228691fd6cece5c7a1e5","datavalue":{"value":{"entity-type":"item","numeric-id":652158,"id":"Q652158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5815bda814f3ce728ee68f5e34a698217531e643","datavalue":{"value":{"amount":"+0.7113458514213562","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":"Q3455649$44A82965-1D37-48E2-9FB4-18297835D835","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455649","badges":[]}}}}}