{"entities":{"Q2938039":{"pageid":2948759,"ns":120,"title":"Item:Q2938039","lastrevid":52170566,"modified":"2026-01-21T02:19:22Z","type":"item","id":"Q2938039","labels":{"en":{"language":"en","value":"Aliasing restrictions of C11 formalized in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385856"}},"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":"Q2938039$B8FB738E-B188-42F6-9116-7B3406182DFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c23aea8b7ea834923b7af1cc7b11747f4f88cc93","datavalue":{"value":{"text":"Aliasing Restrictions of C11 Formalized in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938039$63F4FBB6-2260-4DF6-9EC2-3E7364552141","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e812dc0b5bfb4c9736f42d08531808336538d82","datavalue":{"value":"1426.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938039$141E6171-9B39-4574-BF71-DA4837B51A16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0ecb5a37a2efcd82f213e1291b88057628a08de","datavalue":{"value":"10.1007/978-3-319-03545-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938039$75C466E6-7E86-4A84-A7F3-36F955741AEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d784fe6cc5179886bfe36c86ddc8bdd92ade5a26","datavalue":{"value":{"entity-type":"item","numeric-id":549190,"id":"Q549190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$02CC32EE-D003-4521-B9B6-1BF908B54515","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$81E40ABF-9E22-4BA3-9B31-5615CB49BF26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938039$08945043-4232-43B5-A077-4B14DE0A44AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938039$4DF5F822-38C0-44D8-98C9-D643A83D5042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938039$E494CC8C-C4CB-49BC-8DD9-1BD24813AB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938039$4147055F-473A-4C1D-8E98-4ED633600357","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e46c31fc713ea45d13bb0c829ec17b010218ae03","datavalue":{"value":"6385856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938039$25F0A92B-07CB-4D89-B9E0-33746B052A92","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$CE7BAFAE-A227-4AE8-AFED-AFE6213AF525","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":"Q2938039$39DF5186-752D-41EC-BCC2-E015EC5FD2D5","rank":"normal"},{"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":"Q2938039$43FC389F-BA83-4F4F-8323-AB1B420E63B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$E106A261-07CF-4C34-9051-E6C0AD8B76E0","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":"Q2938039$DDA368DD-F5C8-4752-919D-8BCCAB584595","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39c24ac8c4ea4e8d73d942c357597a58982ca10c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-03545-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938039$2DBC72A9-B547-4C72-A75F-5099354394B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b43c0396651b4a3b00ef55c568714efa31fceab6","datavalue":{"value":"W201976661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938039$0A7CD6CC-BF99-449E-8BE5-1DF40DB754B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b91bb151cd8a64e803b2a1e144870181c46cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5408531,"id":"Q5408531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$F67E1F1C-CBC2-433A-9C21-FEEA48BE6C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef257c6907158cd09f1eab4376f06786a44effee","datavalue":{"value":{"entity-type":"item","numeric-id":5408409,"id":"Q5408409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$7FEA1946-9316-4D95-A726-A793F08A12BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8257b6fee84889549ec82b377f6c2a4b013dca90","datavalue":{"value":{"entity-type":"item","numeric-id":5200133,"id":"Q5200133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$A926BBA5-6DD1-41DA-B77E-139FAFE0A20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b6faaada6ba74bacb16f976f4dbdd5286512302","datavalue":{"value":{"entity-type":"item","numeric-id":4910424,"id":"Q4910424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$9D1BE697-A4D1-4A60-8E93-A3F2606F1DBE","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":"Q2938039$C60A53AF-2CB9-412A-A610-ADECAB345FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135d76ceaca9cbc58259ce94329d287fe57a3fd1","datavalue":{"value":{"entity-type":"item","numeric-id":3189840,"id":"Q3189840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$7B0048A9-EB0E-4C2D-89C0-56BC185E8AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2d1f959d38f53d233ad8132810f541a7108905","datavalue":{"value":{"entity-type":"item","numeric-id":5408532,"id":"Q5408532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$78B95116-6B8E-4793-A02F-2328A3B83FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2dad3e22ff5cd4eecd482eba8f74372fe5ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$F7443590-B02A-440C-8CDA-EB4ABB8DDE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938039$86ACF133-B0EC-4DE5-885B-02942184AD0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8007bd03f5258771d208caf356f6f182433501f1","datavalue":{"value":{"entity-type":"item","numeric-id":1694027,"id":"Q1694027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98665673f1f85a794647983fea327345c34d1c77","datavalue":{"value":{"amount":"+0.817552387714386","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":"Q2938039$4955F21A-560C-4150-9188-ED37391E4964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b0b586f5b43647e065b2777bade38d4e5e1252","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920d2858d869f043451eede99ca628e661d63c0d","datavalue":{"value":{"amount":"+0.7536454200744629","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":"Q2938039$FFF9D30B-4136-4EE5-9BD6-54860EB24AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1d182a1e524f4f4c4927b7569cbbe2f4f25f94","datavalue":{"value":{"entity-type":"item","numeric-id":5408409,"id":"Q5408409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fea590ddb76ff279822324cb1be1125fe337559","datavalue":{"value":{"amount":"+0.7435987591743469","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":"Q2938039$FBA3A6B2-5395-4B80-8DD7-7DAB734C872C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1246cc5457c9442c9dad5e13bcf005305ecf0998","datavalue":{"value":{"entity-type":"item","numeric-id":5200133,"id":"Q5200133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d15d0ae9238d1129283f9d2edcdbb571f924da","datavalue":{"value":{"amount":"+0.7366653084754944","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":"Q2938039$3A9CCA67-9799-41ED-9A9B-E0DAE9906C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817ed6a78136513b85b506ec7b955ed420b6d56f","datavalue":{"value":{"entity-type":"item","numeric-id":2819807,"id":"Q2819807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9502c1642492be933923e916444ca046be0654","datavalue":{"value":{"amount":"+0.7353309988975525","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":"Q2938039$9CE364EF-07CE-4FBA-93E1-89F96A3F7C8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938039"}}}}}