{"entities":{"Q6489028":{"pageid":14067797,"ns":120,"title":"Item:Q6489028","lastrevid":55605193,"modified":"2026-02-17T19:36:35Z","type":"item","id":"Q6489028","labels":{"en":{"language":"en","value":"Formalisation of Probabilistic Testing Semantics in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817554"}},"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":"Q6489028$8997C9D1-AC54-44AF-B19E-385A4A86A713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"292ad6e0df9839ee18c144b9142834eef357dd2e","datavalue":{"value":{"text":"Formalisation of Probabilistic Testing Semantics in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6489028$357D31A3-28C8-47E9-B6EE-471B31559B76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9c52eb801d32c7d82a52211b2685d09195b3d0e","datavalue":{"value":"10.1007/978-3-030-31175-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489028$D2048AAC-46C2-4B28-BE06-0CEFC1485F9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489028$63B3286F-D165-40DA-A5E1-44FB3D794A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef4a01f54f3e349b8ab6cf4271ef92b1d9a9ead8","datavalue":{"value":{"entity-type":"item","numeric-id":1395675,"id":"Q1395675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489028$0F0E2905-435F-4052-8AE4-EAEF8F188F9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6489028$DE55A3DB-07FD-4847-8911-332A61AAC80F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489028$9CA56C09-D90C-416F-9278-47652470B387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489028$9F0D7F8B-B510-4B5F-88C8-61614C9D483A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489028$1BC90415-E871-4CAD-96E9-CCC772CCC0E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca43ab080fd91eeaea8ec027aa67b90ddaf2d813","datavalue":{"value":"7817554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489028$9B082FBD-5C04-4F4F-A9BD-1011E354E1E1","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":"Q6489028$FD9EC508-8C16-4D81-899E-C138AFFC3FDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de04094b55ade4921f5d26fe1c1498310d4851a4","datavalue":{"value":{"entity-type":"item","numeric-id":1680507,"id":"Q1680507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8bc61523ab2e76709b2a531f20cd3bc607b416","datavalue":{"value":{"amount":"+0.7671661972999573","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":"Q6489028$3C0F4445-9AE5-4BB3-92AA-18B6CFD56FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08859ebc6c8358b09adb7af20e08647ecc7c5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":4942011,"id":"Q4942011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2902ad9a45869b3599dd30ebe8801076cb5f14fe","datavalue":{"value":{"amount":"+0.7566604614257812","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":"Q6489028$9A31E0F7-A78F-48A6-A9E2-BCF795275C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef4dd5ecb9d6073e50d69f13d2743b024baa99d","datavalue":{"value":{"entity-type":"item","numeric-id":2864156,"id":"Q2864156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c072f50f681c257650f7e06f3397a164ffcfd235","datavalue":{"value":{"amount":"+0.7539233565330505","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":"Q6489028$A5FF92D1-09F4-4CB1-A078-C9FE8B2649B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b52926aac08df1efd69fedcd40710f126f0cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1400293,"id":"Q1400293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024fe136aeba05ed9da8486f1ed984347ac8927f","datavalue":{"value":{"amount":"+0.7528558373451233","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":"Q6489028$CC47CC62-EAC1-46A1-B572-C0E529501D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5506e27296ee335d165e07718f33f18f1ef09e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2945633,"id":"Q2945633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64dda37f5381caec098b1298bd36b9426e70699","datavalue":{"value":{"amount":"+0.7520690560340881","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":"Q6489028$BB358AAD-204B-4D62-9385-0D326946ECC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6489028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6489028"}}}}}