{"entities":{"Q2914751":{"pageid":2925471,"ns":120,"title":"Item:Q2914751","lastrevid":51557660,"modified":"2026-01-18T18:55:37Z","type":"item","id":"Q2914751","labels":{"en":{"language":"en","value":"Charge! A framework for higher-order separation logic in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084497"}},"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":"Q2914751$41DE43DB-7382-4A17-B69B-1C78FA86A58F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"084592cad00a73c2d3dd48c4eefa44e87d84de6c","datavalue":{"value":{"text":"Charge!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914751$B8AA47B0-881E-4A92-A5CB-537E72B2B228","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f63b363346bc10fe9c65856d941084af59ad44ce","datavalue":{"value":"1360.68741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914751$9BF0652E-09A5-43F6-8B01-C7B5C55D4085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31c6b5b9c032a04bafa4561ab771a60c771f1fe0","datavalue":{"value":"10.1007/978-3-642-32347-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914751$F5AC581E-8EAF-4AD1-A796-86C3DF19F4FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4016e1f23463ca2cfa7c5bb34d7ce64f66d3ab32","datavalue":{"value":{"entity-type":"item","numeric-id":287320,"id":"Q287320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914751$DA88154D-C659-4E78-A526-352A8FDB6C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b996a5e652df381c469ff3488aa7743356a2f83","datavalue":{"value":{"entity-type":"item","numeric-id":2892739,"id":"Q2892739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914751$274164CD-56DB-40BA-944F-5A877BFB88C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914751$3AC94A07-AB12-4FB3-9793-0C3D3D9AE740","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914751$B38F0403-89F9-44F3-B54F-8CB7B7219ABE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914751$6423CD8B-FD08-4FC9-BE4A-C9BEE755073D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914751$80773800-3E67-49BE-8666-B435D943A864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914751$4B0276F9-300D-4F49-861F-4D0F88E5A893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914751$CA14360C-99DC-48D4-947D-E599DF6F2FE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d36f73d7ecb086b0c591ccdbe23099724e1bab1b","datavalue":{"value":"6084497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914751$DB44E684-B105-469D-B6B4-F7179EC8D96C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914751$E5C2746F-50AF-4354-8F00-47C0E88D194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914751$629AD31C-CE68-4848-8D0D-B9F978227B1B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"605960617776ba8ed66a185753927e4ca021062f","datavalue":{"value":{"entity-type":"item","numeric-id":34522,"id":"Q34522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914751$D1E0CEEF-FFB3-4319-B069-9F9466507E1E","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":"Q2914751$F9C30EB8-D0A9-4287-A974-380C3C22D40E","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":"Q2914751$5C91F91C-1C1B-40B1-B5DE-A8EFC159EC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914751$125B8C97-0FAD-47CE-A102-5232591A5DE8","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":"Q2914751$FC068FBB-B7F1-4A6F-81D2-C864D271D849","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02cca3202f00bc564399bbfddd3a70550eb34b9f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914751$F371E0D3-1BF2-41A9-B286-67EBCC282FBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b8b8512828d351443634834708c8993392752e7","datavalue":{"value":"W4236538466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914751$93CBE6DC-281C-4BDE-AD50-E7F8F2AA764C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54945991e72c4e075bbdaee9b84ef77985d61019","datavalue":{"value":{"entity-type":"item","numeric-id":3087993,"id":"Q3087993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362f6eeb775595661036cda0234c5e04e7f1589e","datavalue":{"value":{"amount":"+0.797575831413269","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":"Q2914751$CE4EA028-0102-446D-8A47-F50847C34678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666d3c9e0a0602f2b92fda11efa4cd1f6313cc8b","datavalue":{"value":{"entity-type":"item","numeric-id":3183539,"id":"Q3183539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d29cc75df788e8c53d1e8ee65c3b4361c8bea0","datavalue":{"value":{"amount":"+0.7908657193183899","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":"Q2914751$D7AE97FB-3220-4D1C-B1DD-5D9245EEC0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c142c33cc6c23273f5e1e7f49ef9665a895bb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1687747,"id":"Q1687747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffb6ddeddd9ab87b7c7b9fdfc53b4aeba7a6d5d","datavalue":{"value":{"amount":"+0.7872501611709595","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":"Q2914751$643ACF28-08E4-4910-9FFC-8C1AE90DDA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc60b38119bfe7be4a192ac92f249abf25196076","datavalue":{"value":{"amount":"+0.7823335528373718","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":"Q2914751$32BD4CC6-40B1-4C50-B584-4C71DC64E9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca334c71b2f31093563b1df55327e8a824bfeca","datavalue":{"value":{"entity-type":"item","numeric-id":5415649,"id":"Q5415649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c739f759f671ac611890b4cf05e0c9e45a0475f2","datavalue":{"value":{"amount":"+0.7592381238937378","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":"Q2914751$29F9571C-CC79-4F08-93B2-6B4C6409F8C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914751"}}}}}