{"entities":{"Q4732133":{"pageid":6761710,"ns":120,"title":"Item:Q4732133","lastrevid":90725279,"modified":"2026-06-04T21:11:09Z","type":"item","id":"Q4732133","labels":{"en":{"language":"en","value":"Representational and denotational semantics of digital systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4117890"}},"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":"Q4732133$79E45C31-5AED-4F58-AFC1-66A99CC02D06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ed0feefc0b1db47c3e94953f27ad2d7b7cf768c","datavalue":{"value":{"text":"Representational and denotational semantics of digital systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4732133$C9A5F2CB-27B0-4D9C-B84D-B096D0E6203C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abf95b1040809114436f94a8615bbcab5d8d0bb3","datavalue":{"value":"0682.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732133$0154B626-04F0-41D7-918E-44213B731929","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da52249cac576fa75ec7c3b7ea2ce68473bdc5fc","datavalue":{"value":"10.1109/12.30850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732133$19BC90CD-7819-4F86-8CC2-BA246DADC68F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d5b20ad68ed7429ae213f640b19bc5378d1aa0c","datavalue":{"value":{"entity-type":"item","numeric-id":633282,"id":"Q633282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732133$9B124190-FC28-40AD-89CB-8EF6A9DCD0F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732133$25319E91-76E6-4D66-8CB1-39D0BAE5BE45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4732133$A4D86749-5838-44E6-B8A0-E52ADE287FBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732133$B591CE10-8EB0-458D-AF4E-9A1FA6824A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732133$1F3B867E-2A32-4372-9A25-4E517ADAC2C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"269198145c0fc9220f1ffaf7fcd9975407d84d33","datavalue":{"value":"4117890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732133$5BC74E76-75A7-415C-9B40-45B4B7CFE8D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732133$F7C7808A-BA44-42BF-92AD-4B5FF88F4F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd48ce8c228f01bdabe7caeb1da52a94db58974","datavalue":{"value":"digital systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732133$2356E9EE-B035-48BE-A303-177DFDA68729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a062e5009483c11518113d2c72cfd80324ae09e","datavalue":{"value":"behaviors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732133$8BAB18DD-AD2E-4797-85D4-7FBC99E19DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf20cd5d76ee2735b8538a32aad02841c2b77f9","datavalue":{"value":"representational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732133$811CF848-0971-4E7E-81EC-E8F7C639EEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddc84d0bd7587c2bd86897b4a6314bdd2914d19","datavalue":{"value":"coding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732133$86961EF1-EB53-461B-A3E3-EAE76B125CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a9b64a3ab98785ae70fb38b2f2bb48f49b807d6","datavalue":{"value":"sequential functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732133$E49E98E6-0E4D-4ADD-B091-0B877A6341BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b35cf4aed6edb1cd8946492423a8a1dab57f537","datavalue":{"value":"sequential machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732133$CE150CCE-9438-494D-BFE4-1DAC46D2C16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00a041c7fb3e2adcb808f0a828fa00df5a163f5","datavalue":{"value":"number representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732133$A89B59E3-4C25-4341-9BDA-C3A3A2314FEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732133$A14A402C-0A81-42E9-9C86-35D6A77D981F","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":"Q4732133$C42F1C64-E661-4FC4-BCDF-D1165DE18CE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ece9befe1499cf7af9211a07b98c45d092ab2e8","datavalue":{"value":"https://doi.org/10.1109/12.30850","type":"string"},"datatype":"url"},"type":"statement","id":"Q4732133$6F2D9056-152F-4EEF-A38E-0F7FE4DD3F04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"014df2f4090c9008c5bc0315fe782a711c8a3a10","datavalue":{"value":"W2010576582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732133$298A8D6D-1D70-4782-8C24-028A542207E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d8084b7a9f7ff94b593dfa5c11d1b70ba3ef54d","datavalue":{"value":{"entity-type":"item","numeric-id":4721962,"id":"Q4721962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9b63d0f484acde73570ca239184a4a5b86d4d8","datavalue":{"value":{"amount":"+0.8379783034324646","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":"Q4732133$21932AE3-C10F-49AE-8D4E-E4B5EE2F52BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d178205d38d1446db96899343d21f4772e860eee","datavalue":{"value":{"entity-type":"item","numeric-id":5305664,"id":"Q5305664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094f6fd796714502a8f1c5013b27f3f7277a1b30","datavalue":{"value":{"amount":"+0.7485765814781189","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":"Q4732133$678C69CC-6AF5-42C9-857C-B2780A3B0E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b7e4901cd1e69355a0b5da945f4ab287761a10","datavalue":{"value":{"entity-type":"item","numeric-id":3026918,"id":"Q3026918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e870eceda81ce491f7dfc2b6ee72877488255fb7","datavalue":{"value":{"amount":"+0.7296628952026367","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":"Q4732133$C7291600-79C7-47BF-887B-E63D747EFAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e170848412a1e6ed91d764d539da130da4e48087","datavalue":{"value":{"entity-type":"item","numeric-id":4532986,"id":"Q4532986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d50b31b096eca6fafe10ee2bb27a1d64c61ada7","datavalue":{"value":{"amount":"+0.7090471386909485","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":"Q4732133$083E1144-F702-49B3-8A44-FFB782ECA332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a384a335b1a50d599d1bd9bec90e6d289eec1f43","datavalue":{"value":{"entity-type":"item","numeric-id":4105255,"id":"Q4105255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478ecd157bfdcf2ecdb1bc46e9b5b7e13befb51f","datavalue":{"value":{"amount":"+0.6981483101844788","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":"Q4732133$072C932E-16F0-44E4-979E-DF7238E06701","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representational and denotational semantics of digital systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representational_and_denotational_semantics_of_digital_systems"}}}}}