{"entities":{"Q2655325":{"pageid":2666068,"ns":120,"title":"Item:Q2655325","lastrevid":79303514,"modified":"2026-05-06T13:36:39Z","type":"item","id":"Q2655325","labels":{"en":{"language":"en","value":"Mechanized semantics for the clight subset of the C language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5662156"}},"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":"Q2655325$E6E7D818-6FB6-49B9-A3F3-7CA411A85132","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a924ca89450922bce831173183d80be811e9264","datavalue":{"value":{"text":"Mechanized semantics for the clight subset of the C language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655325$01AE477D-2469-4180-9CFC-E24ED3461BB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b10161d9e52bad16bf92574b76e1f08f5b1c23e1","datavalue":{"value":"1185.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655325$CE81910E-FBE6-4B9D-ABD8-43E3BD062D7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f71649d5cd536e6a70ddc24feda92d797a4529b","datavalue":{"value":{"entity-type":"item","numeric-id":287366,"id":"Q287366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$F43C712B-88F8-4BBC-AD6E-CD9A6F5649DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$7E69D0FB-4628-49C0-A770-872656BCC079","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$F9182C82-4D19-4319-BFB0-6297819171B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeda675146eaac960e312504b1b7dd784f800a08","datavalue":{"value":{"time":"+2010-01-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":"Q2655325$9306AB83-9F27-42B7-99C5-8F673C8D4895","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"052785cff873c3e34153a5aa76e3212ee27013ec","datavalue":{"value":"https://arxiv.org/abs/0901.3619","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655325$B020F8C5-9F53-4AAD-A370-A587EA7D27FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655325$F9E01BCA-1D75-4D1F-9D0A-0817D21C73BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655325$DCA45738-A3B9-4BAD-96E4-829239831295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655325$7F02205D-08DF-45BA-AF62-D546AA10FF1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2341f56fba3ad665ce1becf93ad5f612214a9fbc","datavalue":{"value":"5662156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655325$EF81AB30-F939-418C-8CE5-E257666459CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1664c1dab1fa613642031e5ad1952a46784a22a","datavalue":{"value":"the C programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655325$B127AF54-2D22-45A5-B0C9-970547E3B760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655325$F4794D70-F34B-4FC1-9A1E-A660F80208CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5dd5c8acf1308ec7dc28b894a7c73396ee20ef","datavalue":{"value":"mechanized semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655325$874C847F-B5A6-435F-B5E0-78A8EB07D0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655325$D62C6755-F119-486B-9286-5314B713848A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c2d2a1a08df66fe5c39138de0b82bec648e2dc9","datavalue":{"value":"the Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655325$0F937D11-0E23-41B4-B0F1-B072F0D554D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$4B3E0C7A-B86F-4C2F-AF24-63057D067828","rank":"normal"},{"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":"Q2655325$882FBA53-F12D-4F7E-BFD4-783C24A7BC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$E861F935-73EC-4566-881E-F942C669959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$1A5DCE34-35BE-4DF6-9E77-86C69A2EBEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$561D5B38-27CC-4ECF-9B39-18D08F075CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$86081F37-C243-4E74-9F41-987CE46DB010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$F1B5BBD7-147B-4273-B6C2-1C578756A7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"328a4887d5a745918f682c9b5cd832468b1041c7","datavalue":{"value":{"entity-type":"item","numeric-id":21718,"id":"Q21718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$DE8EE580-2993-4633-87ED-DD9FEF462D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$F90DC5ED-0AF6-4200-AB5E-13113D06624E","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":"Q2655325$431E5133-0C76-4D04-BE04-B1A84AD1ED86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44a5fc37f69aa1225cb18fa6618e03affa0f99e2","datavalue":{"value":"W3106373601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655325$8D22259A-0A56-4D93-A524-48A6697AE8CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed5124fab1d64feb8b4feb25646b660a09eb4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3523161,"id":"Q3523161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$08BAAF8F-7006-491C-A189-0BE6BD2B1534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8a77b097324d1bb5c5367a96c158b640103715","datavalue":{"value":{"entity-type":"item","numeric-id":2871863,"id":"Q2871863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$CEF76D22-23E8-4020-961A-6B3ED07726DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$8557A4EF-C81F-417D-AF17-ECB715BE1755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1dac8fd047b3643ba819394435dc1a58f672df","datavalue":{"value":{"entity-type":"item","numeric-id":555781,"id":"Q555781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$2AB3E558-8023-4F62-9AFD-6EE1522810BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b850f855f9b1554304745d76215bc417f8a82cdd","datavalue":{"value":{"entity-type":"item","numeric-id":3523167,"id":"Q3523167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$4F0FA652-4C9C-42F3-BBE7-61EC293A72B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$15C49ECF-C6AA-488E-819F-BDABA798762F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819659da126c075c90133a709f8e37d582777724","datavalue":{"value":{"entity-type":"item","numeric-id":4283242,"id":"Q4283242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$A6E8725A-E99A-4C31-B80E-994E196FFBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddda77465f82760794ce0b96b4ef336c19f8a70","datavalue":{"value":{"entity-type":"item","numeric-id":5415605,"id":"Q5415605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$E0931EBB-33BE-45CF-86E0-56FC2E811288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6063e4a144bafe1447ae8b10555347d26c418f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3189797,"id":"Q3189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$F43E29CC-CA5A-45C6-90A0-B59217C02886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$1FB21C66-E470-44D9-98B5-EF5708A769C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$B1B0EC87-F3D5-42F8-9D87-E19197533D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$FFD6DFFE-380A-45FE-88FA-54FE4F877F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$131F3A51-3084-4C46-9EE9-A0108C2AF2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d03c749807f109d751e7a33ee19c908d6bbdd2b","datavalue":{"value":{"entity-type":"item","numeric-id":557549,"id":"Q557549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$D8B5484A-1A1C-4466-B3EE-40956709AECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$B11912F9-45A3-4E95-9B33-009D7727D224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d91a92033dbeb71d90023607ed064df0797f1b","datavalue":{"value":{"entity-type":"item","numeric-id":5458382,"id":"Q5458382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$80801F26-4B22-4BFA-9A42-0654CB94E82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce44e4243d3803f9cf40f37054ebad64bb7b9d8","datavalue":{"value":{"entity-type":"item","numeric-id":4939102,"id":"Q4939102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$85735168-0663-4228-A498-7AD6B07BE8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$120D9C17-C7F2-4CF5-B7CD-A90FDA807035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec88c2663747bf3533fc5bf0eb353d891e25d8a","datavalue":{"value":{"entity-type":"item","numeric-id":5168920,"id":"Q5168920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655325$6CD8BAF8-F0A9-4F44-AEEA-865476CDC3AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"499a01e84f3a65946edeb3c2fc394358a1891278","datavalue":{"value":"10.1007/S10817-009-9148-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655325$FE7CB5D4-8168-49F1-8498-39BEC2CF3707","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796d9d1f6f94831578c765050e799ca397a5cd3a","datavalue":{"value":{"entity-type":"item","numeric-id":1403260,"id":"Q1403260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03cb3cb539fe118613c097dd45e377bcf83cd50","datavalue":{"value":{"amount":"+0.863113522529602","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":"Q2655325$908BDEAF-92C9-44A9-A4DE-03FD8E64D2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd58fd6243ca5ecfa61b5100df2e972a1ed7fb82","datavalue":{"value":{"entity-type":"item","numeric-id":5458382,"id":"Q5458382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ee85f7671c0369b8a679783b99addabea000b9","datavalue":{"value":{"amount":"+0.7621891498565674","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":"Q2655325$63DADDAB-722E-42DF-B671-83634BD9E89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68430109aae979bda0ec257514eeef17dfed57d3","datavalue":{"value":{"entity-type":"item","numeric-id":2319992,"id":"Q2319992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7884058e4a1831cb7eb5f318f1bf26be41c9822","datavalue":{"value":{"amount":"+0.7590389847755432","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":"Q2655325$47E697DC-9396-4D01-B461-7869FAC8FEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b219b6d7b95e38ed7a29c3183761078250d4e26","datavalue":{"value":{"entity-type":"item","numeric-id":1687720,"id":"Q1687720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744dc0b7efab22f3f41d66d4ca185ffc48164220","datavalue":{"value":{"amount":"+0.7582370638847351","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":"Q2655325$13433C6C-DEC7-4093-9DA0-9A2FA40521F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624e1d6c7212b8d0504cb2ca0701cc5f3e73d017","datavalue":{"value":{"entity-type":"item","numeric-id":557549,"id":"Q557549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01bd35b35f2a81b2f82028a2587a86fc2bfc717a","datavalue":{"value":{"amount":"+0.7382500171661377","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":"Q2655325$BDCF878C-168F-4695-BCFD-B53C78097F95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanized semantics for the clight subset of the C language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanized_semantics_for_the_clight_subset_of_the_C_language"}}}}}