{"entities":{"Q2871836":{"pageid":2882556,"ns":120,"title":"Item:Q2871836","lastrevid":79529852,"modified":"2026-05-06T14:07:45Z","type":"item","id":"Q2871836","labels":{"en":{"language":"en","value":"A Coq library for verification of concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244366"}},"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":"Q2871836$D774EEA7-B92C-4E60-B8AF-AF64F69BF896","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1459ab1b60ebcc44fd39330a79c7c9c152593323","datavalue":{"value":"1278.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871836$2E3000E7-4810-4B70-8BD5-8CD8B565E647","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$FEDC181A-E1EA-4040-9AAC-B1BDBAF61D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$4AE496F1-554E-4668-870C-FD1B0B2E34D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$74C089E0-9799-4B7C-9009-445B14E3D8B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871836$54551489-9D4D-45F0-A201-11EC077D672D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871836$20F14598-8F68-4BC8-AF44-F2595E39A143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871836$3B3E385C-F89A-4C04-BEE7-6544A4521952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871836$2A63B99A-DAF9-4479-8D40-903525045D3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a0d9e9439b22542bdecfd09b16227ed4e9ea34b","datavalue":{"value":"6244366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871836$10736F68-D4BA-4EA7-8629-A0033654C467","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871836$43AF6042-D641-48BA-A92A-892D92F13A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871836$52393D27-7300-4D51-8ED7-3ABC3CC530E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871836$2B17712D-2520-4A11-A714-D5E5D793E71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871836$48F7A6B2-CC20-4FD8-B7FF-0F6CBE7754E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$41799788-0F40-4783-BFFF-6B0249DAE989","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":"Q2871836$3921EC66-62AD-4C7D-A2E4-BB22883799EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$B5C8F329-28EC-4DE7-BD3E-3F5DDC48CFEA","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":"Q2871836$067CCD6D-66DA-446F-8E9A-C3BB29A4040A","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":"Q2871836$7BA9A4C6-B066-4E89-879E-157AE54F0EA4","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":"Q2871836$0774F968-5947-4884-8D2F-4B4D8AC109F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"393629eae755def2fd58c6f02336dd306fea1750","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.11.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871836$6794D549-F9F8-4244-BD18-9A3208FB7DCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5276d822ba2df69d1d33d0acb1ed1bd8fe46a13","datavalue":{"value":"W2113275908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871836$1437A7B1-F26C-4071-A0BA-38A6D4016251","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$A482E73C-59A0-4836-9930-FAD860891F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d661507209a8aa4a909dfe6ea7a6cc82cd3e78","datavalue":{"value":{"entity-type":"item","numeric-id":4418578,"id":"Q4418578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$CA48B853-E7F3-4672-AC80-08CD2B2F9ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8caffb1d99cd00097a4c61811b7ef8210bd41f6","datavalue":{"value":{"entity-type":"item","numeric-id":2871836,"id":"Q2871836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$45EB5DBF-FCCE-4D46-84F7-E2AEC993D291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f35db1b39babcc6e7ab4f4941f9d11993ac6090","datavalue":{"value":{"entity-type":"item","numeric-id":2848141,"id":"Q2848141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$7BB304AA-5867-447D-B578-A5419D8A0DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$2C80E64F-C344-41FA-98BD-44BE8A77C45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$88CBE008-E210-4D31-B8D9-DFF0679EE88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2734f88fd72006d8b2708509b4e6be833b86adc3","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$E0828115-0B77-4C9E-BDBB-207BA5933F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c95ee77d807b93fe80eba171bf481cb646d8cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4812315,"id":"Q4812315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$63B603E5-997B-4B14-9BBD-07265FE79897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b659a64d64fcc84f5a1ad960c1f4f10079e5da7","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$BFD20375-BA3D-4757-BD28-06AA486998C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$AE6DB02A-65A6-4DD2-850C-83540E5B14E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78cf241232b9c9342d648ecb21b85fac04f06ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4536440,"id":"Q4536440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$B0476661-FCA6-4F14-985E-A88CCBD5FAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ad39926d69ce0460ebe804af4fda0bdd5e7220","datavalue":{"value":{"entity-type":"item","numeric-id":4790662,"id":"Q4790662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$9A6EAD8A-0ADE-4967-BC9C-F2141CC3C0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$6B4F6147-55CF-4E57-8DBD-B54F3BE3FA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c34087679b8be9a79e599b75c8bfd76ccf1ac3","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$EFF41369-9516-40E3-8262-5D87CF1CC529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a06252384a0241337bdf3c51e24a574fd7b9b29","datavalue":{"value":{"entity-type":"item","numeric-id":5900554,"id":"Q5900554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$1ABC7EDE-6AE7-4D0B-8373-46E4952E55AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fbdd7c9846a3031008e4ca920851f7e4843d695","datavalue":{"value":{"entity-type":"item","numeric-id":1607098,"id":"Q1607098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$0C73A005-0FC4-4077-B86B-8654E1FE6F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$746DAA4C-E60C-4CF8-B8CF-D2D4DF2BC8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02225b9bf52ec561b65599c55548fe72422e1bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2769442,"id":"Q2769442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$885BB33B-8A45-4D75-B644-8AE01E3292F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71caf26c62c15679e94c5069dd6cb3f9843f63c4","datavalue":{"value":{"entity-type":"item","numeric-id":2844811,"id":"Q2844811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871836$135C191E-3B90-40A0-9B19-F06291FF1BC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82528c0ab918f52f16b2c221acecce08756c9466","datavalue":{"value":"10.1016/J.ENTCS.2007.11.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871836$73AEBAC9-48C8-463D-B067-BB33E98F78D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12d89f6d009d6de5db5788dbb6808fe4db568ee1","datavalue":{"value":{"text":"A Coq library for verification of concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871836$49EE1CF1-5A15-4846-9722-6E7EFF3326BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bba4551ecc1340f0b0a8b03c6ad03fc72f3ad5c","datavalue":{"value":{"entity-type":"item","numeric-id":6044999,"id":"Q6044999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1857c31e36761fadf7b9a71d15c034c08849073b","datavalue":{"value":{"amount":"+0.7476022839546204","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":"Q2871836$1D378909-0415-4091-B87A-5DE722CB0AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f6a24f9e65045fa853b6710fc2d5a4a91e166d","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789e234897e90570b58d9aa9db10b65b9c5d717f","datavalue":{"value":{"amount":"+0.7447744011878967","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":"Q2871836$BC207FE1-6EA6-4656-9F3A-B7B00E596A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd49ed421a11de7a1f4822e888407a4ec83a9ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5261501,"id":"Q5261501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8adb8c5eb87ed7649a5c139990e9735d5c01f6","datavalue":{"value":{"amount":"+0.7420651316642761","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":"Q2871836$91C8023B-3A5C-4A9F-985E-9C85C2B2983E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedd944a6f7ffa3573b61b192cc38d21b5ac8936","datavalue":{"value":{"amount":"+0.7392019033432007","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":"Q2871836$77EF2547-F69E-43F2-8767-30DB7AF31498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d85da01ce5c8c2828ef73396ab04705487b850c","datavalue":{"value":{"entity-type":"item","numeric-id":5178035,"id":"Q5178035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7603c5f2cd136b8fc0ef7288095ecb44715ce46e","datavalue":{"value":{"amount":"+0.7357735633850098","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":"Q2871836$D8711B0A-D69C-46B1-80A3-019D8B63967F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Coq library for verification of concurrent programs","badges":[]}}}}}