{"entities":{"Q3021415":{"pageid":3032131,"ns":120,"title":"Item:Q3021415","lastrevid":51301592,"modified":"2026-01-17T16:24:52Z","type":"item","id":"Q3021415","labels":{"en":{"language":"en","value":"A calculus for hardware description"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5931517"}},"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":"Q3021415$075F4A10-7CF0-4F41-9A54-46D523D4B78B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33031d68a9ed4074426d0bb1f8b88b8ba07c2303","datavalue":{"value":{"text":"A calculus for hardware description","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3021415$D1D5613D-8814-49C4-BD8E-A17080CAB7EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"232f1d248529d25874304593d850fe11dae872b7","datavalue":{"value":"1221.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021415$C0F3042F-4358-448B-A4DA-5E4ACBBC64C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adf32cf2188ce3c428cae2e7cb6b7698d8fc0a53","datavalue":{"value":"10.1017/S0956796810000249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021415$A29B5B94-6B3F-40EC-AB02-77806F200F7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"960ec5db08fbcd49fa89ffa814c6eba04b6e40f4","datavalue":{"value":{"entity-type":"item","numeric-id":306394,"id":"Q306394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021415$663D8281-4A2B-4217-B6A4-3872AC969ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1703327de734f035a9c809762b93bfb6c7d61d33","datavalue":{"value":{"entity-type":"item","numeric-id":454942,"id":"Q454942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021415$71F41252-75D2-4E17-A330-2C7D3550FC71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021415$52280C61-0ED7-4403-A310-AFA032CC18FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ead0a5ebacc49f18301ef4964b4f02a8b10dc13a","datavalue":{"value":{"time":"+2011-07-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":"Q3021415$6A2B6B89-D488-489D-B2F4-C06DEA6C4EB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021415$6F807AB9-3366-45AF-BA63-71B59C1D5FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021415$36DCBA55-2DC7-41A9-9715-BE7CEA093137","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a50f3ccacd35dea946428d98263540630ddae76","datavalue":{"value":"5931517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021415$19D0BE55-705D-49F7-827D-D313A76B1807","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0493a24a84b95da82cc4dce68573310d2137b60d","datavalue":{"value":"hardware description languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021415$230E67E5-CF36-4EC9-89A0-3E43A7BD3471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021415$15CE0158-6595-4EEE-9D15-2D7F53E751DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024c1ea6b90475757cdd975126cf8b62413f70b0","datavalue":{"value":"linear lambda (\\(l\\lambda\\))","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021415$0914CB5A-EAA3-49E8-9932-090498278115","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":"Q3021415$8DAC6E64-45B0-4777-A090-75F21F6DADA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"198813c726927c2db34a055b30aee635496b00be","datavalue":{"value":{"entity-type":"item","numeric-id":3377460,"id":"Q3377460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021415$2CA7C613-19A5-41C6-838C-BCBE5F2A5224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d10187fff317dfe3d4cdd2ed2a54a3b6c3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":3189816,"id":"Q3189816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021415$67DCF49C-E266-4029-A84D-B0FF05BB7AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776a5cf05ecd649818d2d326747edc9bceeddef3","datavalue":{"value":{"entity-type":"item","numeric-id":5178773,"id":"Q5178773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021415$F6D8BA33-748B-48B7-9C32-51274AA765D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83209e451b386934da087af785ccc2e33c62046c","datavalue":{"value":{"entity-type":"item","numeric-id":4461769,"id":"Q4461769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021415$5CFC2D02-8C49-406E-9A89-811B19CC4338","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d21aeac537873dbe2356156068d51cb814a0985","datavalue":{"value":"https://doi.org/10.1017/s0956796810000249","type":"string"},"datatype":"url"},"type":"statement","id":"Q3021415$8F1C253C-4998-42F5-A333-127B48FE36C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6bd1edec2102001958b42435c8bd729f2a3a7f0","datavalue":{"value":"W2129109266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021415$B81031EA-2948-4605-9526-FFC20C542CE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11ebef38d135db41f247903ed081e50b5fac364c","datavalue":{"value":{"entity-type":"item","numeric-id":5178773,"id":"Q5178773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f902b3ea1783924e40c78f0e462c6088ee49b4","datavalue":{"value":{"amount":"+0.9136161208152772","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":"Q3021415$675CA7C8-D7C3-4DA1-82C7-2EF553B72462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d13a29089e20fdf7f53e836eceaee5e13b4afeca","datavalue":{"value":{"entity-type":"item","numeric-id":4787232,"id":"Q4787232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e70812ab747ca9068bc5878354c4d30bc73f9b","datavalue":{"value":{"amount":"+0.7576608657836914","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":"Q3021415$50BB2B1C-9F14-4567-88DF-C54EF2146B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37803340eef321019ef009ba1c4b61d6affede68","datavalue":{"value":{"entity-type":"item","numeric-id":3773304,"id":"Q3773304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e70812ab747ca9068bc5878354c4d30bc73f9b","datavalue":{"value":{"amount":"+0.7576608657836914","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":"Q3021415$EC4400A2-A7F6-4C3C-BBBE-1757C7FBCFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28b103fe9541ff23ddf2638ad78b494fbe5d860","datavalue":{"value":{"entity-type":"item","numeric-id":3189816,"id":"Q3189816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569ade6c131661352d081a99f6617655fe666902","datavalue":{"value":{"amount":"+0.7490953207015991","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":"Q3021415$C37A3CD1-172A-46C7-B44B-6171E6E03A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91b6150e2a205690729fc4e8fbebfa58809c2ec","datavalue":{"value":{"entity-type":"item","numeric-id":4427914,"id":"Q4427914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7ca340493b3a341762856d417076b58faa7720","datavalue":{"value":{"amount":"+0.7259494662284851","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":"Q3021415$6A9C9A64-9EA2-486A-B35A-EDDF346BCDA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3021415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3021415"}}}}}