{"entities":{"Q539165":{"pageid":540932,"ns":120,"title":"Item:Q539165","lastrevid":62598720,"modified":"2026-04-11T07:11:10Z","type":"item","id":"Q539165","labels":{"en":{"language":"en","value":"A denotational semantics for Handel-C"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900606"}},"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":"Q539165$33386963-B316-4B95-841C-71D67261D9C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e30b37432e0331a2aa8cf4e861aab528aee69f9c","datavalue":{"value":{"text":"A denotational semantics for Handel-C","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q539165$7BE97F13-EB78-447C-AFB3-C733E462F037","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4024ab55d27e04f2f41470f5d57c5d6855bec7d9","datavalue":{"value":"1216.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539165$23429E21-129A-4FDA-982C-E03369FA200F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bcc2517d7f29a0c99d871175f905014f619cab8","datavalue":{"value":{"entity-type":"item","numeric-id":539164,"id":"Q539164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$870E3795-C2B4-482F-9967-F0952EC4F488","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$456122FE-F92A-4176-BAA7-4B00D34FB597","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q539165$E985E0B9-9E87-4B54-8E10-7359F11E0059","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539165$F189A393-9E21-415C-811E-1076E7D23D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539165$38C1AB1B-E937-479D-A41B-63A50D4F02A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dac7de99c0b532de3294f08dba76613f3a2501fc","datavalue":{"value":"5900606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539165$2371BDCF-D743-4836-A2FB-D7F7CDDB572C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q539165$E9CC3908-B6F7-4084-9ACE-4A927ACD3AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"effa413cc08d7741a84f5106b79d851f05fc28ea","datavalue":{"value":"assertion traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q539165$239C85A2-28F1-4745-BBC0-33FC1F953DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f739d55952b64e16a961154709c37776796385b7","datavalue":{"value":"Handel-C","type":"string"},"datatype":"string"},"type":"statement","id":"Q539165$4CB76BFD-097A-45F6-989F-1E14468B0936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24cc4d29473a9d86b573a92b75d8cb8b9ea2650d","datavalue":{"value":"priority","type":"string"},"datatype":"string"},"type":"statement","id":"Q539165$8A37964F-02EB-41B6-871B-A69B32C66D51","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$C9D3710E-38D8-4DCC-9F3D-76673B039D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d4bdb73491e177f1a038997091051689ccb97ac","datavalue":{"value":{"entity-type":"item","numeric-id":23922,"id":"Q23922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$579D6532-2778-4AD6-943D-7129C1EDD7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$6AF57471-83CA-4DD6-BABD-2C3166A4EC2F","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":"Q539165$4F67CBA0-FE65-4359-929C-FFC9E0EFBB50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e4e705ac745016519b97af06e76db26b68c3902","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0146-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q539165$6CB56941-4D60-404A-AFF8-2DB285209178","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3003b1ad565b98b099ebb1ce70aaf04122d27dcb","datavalue":{"value":"W2115683321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539165$1770F31B-287F-409B-95D3-2D8EA4A234A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b70818b0860e1c874a57b887652d27b592ff1d","datavalue":{"value":{"entity-type":"item","numeric-id":2754193,"id":"Q2754193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$55A3E2F7-4D3D-4BB4-A7E2-E9EE431D6EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978817eb6f805a5dfc484c7091de2b83f953edc1","datavalue":{"value":{"entity-type":"item","numeric-id":3526925,"id":"Q3526925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$DA02D7C8-202E-48A8-BCE5-B8A98033AB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34452e7b191b3b29aad5f64aa2c87ec7e592f82","datavalue":{"value":{"entity-type":"item","numeric-id":2843615,"id":"Q2843615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$C87D9AD4-54B6-4D5F-B380-86A722F6C520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90faebe8db911fffe6eda59539b7a7cf2d2759ac","datavalue":{"value":{"entity-type":"item","numeric-id":802881,"id":"Q802881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$91001D35-5A01-4E9E-B9EE-E4A55AEDF619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7de647342d0f7bc746f85196675d8e0e2aaffbd","datavalue":{"value":{"entity-type":"item","numeric-id":2381506,"id":"Q2381506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$E808ED6E-9BCE-496A-9C99-B41C68EEA9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df320826ebfec6482ffa848c070a7d2963212cb","datavalue":{"value":{"entity-type":"item","numeric-id":1346713,"id":"Q1346713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$15CDAC6E-B12F-490A-8546-70D251B94F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96426380bd996cc8b28000cdb426cd07b0b98a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4251917,"id":"Q4251917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$DD67BEAC-2933-4F2F-A90C-8A1F46C31F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff16749ae302e5e17aa86fabb0f7a668ca025b11","datavalue":{"value":{"entity-type":"item","numeric-id":2474050,"id":"Q2474050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$A862A678-FB12-4B85-87EC-7047053EE540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7834aa6746dedeac38a3aafa9eef90724ff86","datavalue":{"value":{"entity-type":"item","numeric-id":3585027,"id":"Q3585027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$FFFDCB78-B5FA-4F48-843A-ADEC52F7F0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d3373b94fbc19f027f753423060c0f7e733553","datavalue":{"value":{"entity-type":"item","numeric-id":5958617,"id":"Q5958617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$2E350BCF-7F73-459F-B81A-1BF1BA0B4BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0198e68f6dc9303aefc05c74bbadbddc5c16bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4472182,"id":"Q4472182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539165$DF26EB02-9DFC-4C41-A7A2-C15C2C208776","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39d9d1b47f1b6fb2609773416ba1b52b790c22eb","datavalue":{"value":"10.1007/S00165-009-0146-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539165$2AFB5803-7BBD-4A1E-B860-6F8481499EAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72472b3c43cb61edad5489ae7ea3310f27291288","datavalue":{"value":{"entity-type":"item","numeric-id":3526925,"id":"Q3526925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q539165$37A47D89-4122-4C0D-AD50-034F5574B444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c203a9c3a37b9708981eae627eabef760eeb4fd0","datavalue":{"value":{"entity-type":"item","numeric-id":2843615,"id":"Q2843615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d549726d78e828d1b1437a8c21c321e638816c","datavalue":{"value":{"amount":"+0.90119267","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":"Q539165$0F80BA4B-DF2E-4278-8836-34E4DE8BC770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6f059550c983d96fc90486821ac74ecd78c49c6","datavalue":{"value":{"entity-type":"item","numeric-id":3585027,"id":"Q3585027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc3a85f80cd94197ba8d20c24730a3e96452bc3","datavalue":{"value":{"amount":"+0.8628393","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":"Q539165$9DB11443-DA8C-41B9-AB55-DBABECF24E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e858bd0a4d354a5150db7d987536d9a5e259f1","datavalue":{"value":{"entity-type":"item","numeric-id":6164471,"id":"Q6164471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95e0921eac6c58b07e09853fade65f3fe8618df","datavalue":{"value":{"amount":"+0.85613215","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":"Q539165$F652E923-E80E-48CD-B794-FC4A62422703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695052b3ab28d97ad46d7b018da418a32ba60fc8","datavalue":{"value":{"entity-type":"item","numeric-id":801677,"id":"Q801677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa21bc80c182e83d2faba146e11af2017e1fdc9","datavalue":{"value":{"amount":"+0.85305357","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":"Q539165$89C7BF33-60C8-4C1F-A67F-B8DCE3EF1F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907fcc6483fd9a83b4a6ea69f9cb8c6cb7625fe1","datavalue":{"value":{"entity-type":"item","numeric-id":5150483,"id":"Q5150483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ce5fec51509e66e6eb3891d3fb6e7370460d21","datavalue":{"value":{"amount":"+0.84673625","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":"Q539165$69D1ED81-AF3E-4B32-9EEA-D557F702B32A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A denotational semantics for Handel-C","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_denotational_semantics_for_Handel-C"}}}}}