{"entities":{"Q5900547":{"pageid":8006213,"ns":120,"title":"Item:Q5900547","lastrevid":50943194,"modified":"2026-01-15T21:02:29Z","type":"item","id":"Q5900547","labels":{"en":{"language":"en","value":"An algebraic approach to the VERILOG programming."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688172"}},"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":"Q5900547$833CC8BB-1CBD-4314-9806-41CD2500E9CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61ea6ce0583a713bf659f3aab8125ec2423a3e4e","datavalue":{"value":{"text":"Formal Methods at the Crossroads. From Panacea to Foundational Support","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900547$561C6F88-DAFA-48C4-82AC-2069A35038C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9ac1e1e17b87caf9318df939552d05d18d3c756","datavalue":{"value":"1274.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900547$1870AEDA-5D41-4E88-B857-0470C4F5F21D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9cdcc9d8e785a3c138557af363711b767e822d","datavalue":{"value":{"entity-type":"item","numeric-id":911321,"id":"Q911321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900547$27900DBF-57E0-4C8A-B77F-77F84D2EAC59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900547$39E89E01-851D-450D-A3D1-18229E1C9C56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad85b41ac0afe13597f905f95a4baafcdea7919","datavalue":{"value":{"time":"+2010-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900547$866BD720-9745-41A5-BD0C-E86704B28278","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900547$22C385FE-0239-4EC2-A464-A79131DA9B57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"886f2310149cf843e2c046e6f8dd1a759140b6ce","datavalue":{"value":"5688172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900547$836B6B38-AA4D-4AF2-A0E8-BD812BE05FF3","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":"Q5900547$A218EFC2-603F-429C-A843-B8752DD29BB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"727368da10bdb22998a905c1920bc2ae3268c832","datavalue":{"value":"https://doi.org/10.1007/b11934","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900547$D81A1C97-0BD9-446B-8457-D6F8BF32F4D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f4c9d74ca971e78f431b158c9d3119ec2ef622d","datavalue":{"value":"W2490478666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900547$08407DD2-B5B6-45C9-ADF1-87D4277FC28F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"673f1d7775307f5051a62e29839517d850980a3f","datavalue":{"value":"10.1007/B11934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900547$0350F315-90AE-4C91-A15A-68F36655797E","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":"2b662618bc019e9ba3dc9d98c12866d8762edb5d","datavalue":{"value":{"amount":"+0.8297901749610901","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":"Q5900547$C5DDE13E-D8D7-4989-B676-8CF20968E1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8480316895e1371cc852a9f8e22785d879c792","datavalue":{"value":{"entity-type":"item","numeric-id":4471923,"id":"Q4471923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e26d9b1715d8e2256bfae5e1ed72e51b9e99b90","datavalue":{"value":{"amount":"+0.800803542137146","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":"Q5900547$39EB1143-B79E-4923-AB27-039486BC635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c652f14afcd685e8e745b9ad8b965610ddde0d","datavalue":{"value":{"entity-type":"item","numeric-id":4412491,"id":"Q4412491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f49e5e74ad8bc46658e2df69dc6b7fa8a2a732","datavalue":{"value":{"amount":"+0.7942231297492981","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":"Q5900547$B3626A02-DB27-408A-8760-53B82617306C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55021e8b57969c93e886235ee57dfeb896e4b821","datavalue":{"value":{"entity-type":"item","numeric-id":4764185,"id":"Q4764185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed16df647d4b0f523df146052b3c0abbe03497b","datavalue":{"value":{"amount":"+0.7862222790718079","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":"Q5900547$F3DFDE57-CCEE-4C7C-8DB3-3044CF511CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a992d7d9498d425870ab8d50f0c55f516e8f805","datavalue":{"value":{"entity-type":"item","numeric-id":3455649,"id":"Q3455649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed16df647d4b0f523df146052b3c0abbe03497b","datavalue":{"value":{"amount":"+0.7862222790718079","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":"Q5900547$FC301A35-4591-4E07-8D73-61DDF03F67C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900547"}}}}}