{"entities":{"Q5055839":{"pageid":7085416,"ns":120,"title":"Item:Q5055839","lastrevid":41234162,"modified":"2025-04-22T16:08:40Z","type":"item","id":"Q5055839","labels":{"en":{"language":"en","value":"A restricted form of higher-order rewriting applied to an HDL semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631259"}},"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":"Q5055839$606002A2-7F50-4E50-9DD4-C8784491248D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d5e2267df35094bfeb70a956e231cbb86f83d3c","datavalue":{"value":{"text":"A restricted form of higher-order rewriting applied to an HDL semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055839$FADBA569-8CD4-45B7-961D-272EC7DFAB81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b5334d99012e68f62e057a534bd29bfb8f0ecd6","datavalue":{"value":"1503.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055839$B7310D7F-128F-4E45-B3AF-8A40C4539315","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10be766c3f4cd060888aa05da6e6273fd0158f5d","datavalue":{"value":"10.1007/3-540-59200-8_66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055839$59DF1EC8-88F8-439B-9D30-F69E4A0EB4E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$7E314D30-769B-4CE4-9411-0756D03F7BBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055839$51C80683-6FAC-4927-8B26-355FBBFF4A83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055839$AF2959FC-E4F2-4B7B-ABA5-BC56D4093C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055839$6D6F5BB9-92E8-4B55-A881-FDD0C298A162","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b648a22913e4f6556d9e573a8a31e0c63be5346","datavalue":{"value":"7631259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055839$C2AD9195-BE5D-4B86-BC56-1D0CFB19B42C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9fad689f750c5db21b8405cfccf604b5cd8abe","datavalue":{"value":{"entity-type":"item","numeric-id":1309244,"id":"Q1309244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$BBA71B3C-AE81-47E0-B93E-F2A6B1B05CBF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$5F9EEF95-37F7-4DEC-B674-431CFC22335C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$469F046E-8D9D-40F8-B93C-BF382E12CE1A","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":"Q5055839$7B5F093F-CA88-49B9-A5EF-078A8CA74071","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c3df3436b6e0c25db94a47cad010c65db3aaa33","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_66","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055839$82CFAA26-E864-4FF4-94F3-BD95B041C5DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8cad81f3e84ac70649f103ea9865513f6f05a20","datavalue":{"value":"W1513375020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055839$D96AD341-44F5-4C6C-AA0D-1300F2C1FC24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$4C05F391-AA23-4516-AD84-5155661B56B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$59AE570E-D304-4E38-A8E6-894FAF80AC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$98885BBB-944B-4BF8-AC71-CC319C4F00CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$0366AC22-36D6-4FB5-A392-DAB13D31F7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$F0675A1F-1EE3-4D75-B3C3-8060137860E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6b1d15dbc2412bd2d097ea4c4b2ce5e2ecdcac","datavalue":{"value":{"entity-type":"item","numeric-id":5881304,"id":"Q5881304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$3764B0C8-A866-42EF-9E38-E1CBECB1D233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e7eb75745b42d1e8b1dfbc0c8dea9db9c7c786","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$5C5402EC-05F4-4E97-8770-EFC346CB473D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8153839656b0eef979b2405f50f746829198c23","datavalue":{"value":{"entity-type":"item","numeric-id":3336740,"id":"Q3336740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$4C527C65-43EF-4559-9FAD-E74336AD0A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fa0765caab346a3b62249e972a08bd2d2d383d","datavalue":{"value":{"entity-type":"item","numeric-id":5966632,"id":"Q5966632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055839$828ADBE7-26BA-4801-98CA-6B02D1D825AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18dbe47618768eb312adb549a9ce9f62147f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":5898159,"id":"Q5898159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c682391899df5a3f81ccbf7f8dcbe85632a208b4","datavalue":{"value":{"amount":"+0.86957085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055839$2A8B3FC3-7133-467F-98FA-0E464EEBFFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd9e52499b3432a3e90d58155d673c3eb24b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4524793,"id":"Q4524793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b716977cfeedb94084803c5e70c371d0765a70c7","datavalue":{"value":{"amount":"+0.86759895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055839$153E6C43-4118-4329-A7CE-1894940396A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4975addb4905a856dc84fcaa166c071e9d04c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":800739,"id":"Q800739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f396fa5d88fd8f4d812392dd6e8271332dbf0e","datavalue":{"value":{"amount":"+0.86597174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055839$34E376A4-01F6-4C96-A1D5-CBAA5A33F7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf9500bdb0c351e71dae538f51dcde914dd88a5","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e6f140d884ce7b2078b11567672d4263abe608","datavalue":{"value":{"amount":"+0.86558604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055839$EE28AD27-A5E1-4F24-ADD6-A95801204C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54b8853a467d545836de3beb88185d6500b02ce","datavalue":{"value":{"entity-type":"item","numeric-id":4938608,"id":"Q4938608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00332efc4b707adb4acab548d96fd2215cff3896","datavalue":{"value":{"amount":"+0.8646908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055839$F0068036-9145-47D8-84E4-1BCDC4BAAA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2125bb60c598ae72e901d845c6d9aa31725be3ff","datavalue":{"value":{"entity-type":"item","numeric-id":1775393,"id":"Q1775393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3105bac9449c9ef5b3c20660cae19b6d4652899","datavalue":{"value":{"amount":"+0.86436623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055839$165B669D-A4A6-4C9D-A23A-CBC4738D3F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76ea96ca4729cff43dbe200fbdc9a360f441fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3612637,"id":"Q3612637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519481b8df92dc58654bbabc132945326ff40ebd","datavalue":{"value":{"amount":"+0.86142176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055839$A4B56990-7541-466E-A0C4-E20FFD76342A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19bfb87c32f1cb148dbc9b75f45f52080914c439","datavalue":{"value":{"entity-type":"item","numeric-id":3165970,"id":"Q3165970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98be69c2ac76006df6f885404fece00fc34ed026","datavalue":{"value":{"amount":"+0.85888237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055839$7925D310-D25A-4E05-9DC3-5DC13EBC493C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7569ff2508a166ed73be1ccf83d65a91a3bcaf2b","datavalue":{"value":{"entity-type":"item","numeric-id":2778883,"id":"Q2778883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81e9d29e0c18814b020b48493ffd2884c3192be","datavalue":{"value":{"amount":"+0.8585249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055839$64848822-DC33-47C1-A325-47BC7F54FCE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055839"}}}}}