{"entities":{"Q5014364":{"pageid":7043941,"ns":120,"title":"Item:Q5014364","lastrevid":56718048,"modified":"2026-03-19T04:25:35Z","type":"item","id":"Q5014364","labels":{"en":{"language":"en","value":"C-language floating-point proofs layered with VST and Flocq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437517"}},"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":"Q5014364$F3983A91-0915-4AD6-B6E3-61EB9FEF33D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014364$22D29C90-6EBE-4DEF-B8F9-5560FB10E4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7dd0a058a70d0c79c3596424a2206799a87b313","datavalue":{"value":{"entity-type":"item","numeric-id":703857,"id":"Q703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014364$BA22F682-E47C-43B8-8907-DD84FAF1DA4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014364$710CEF94-4524-48D9-853C-103C1BE4D96D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014364$96FA5F9D-2F46-4480-B261-EE1B5148EB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014364$78C87333-AE97-4982-9110-A0A9C62BE23D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afe7570f5eeaa4982abfcb668f7ceae49f2a4182","datavalue":{"value":"7437517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014364$19D52EC5-4EBF-41FF-B4B9-7E7DA921FF51","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":"Q5014364$22A89C95-DD63-48D1-846B-F8BCE18B69C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5e92a172a565118cc871e33b530bbf93c4a6f8b","datavalue":{"value":"https://hal.inria.fr/hal-03130704","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014364$80F4ADF5-17EC-4989-B929-336EA9D3C53F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbeb112b3af8c957f6a0672d2e4af77a6afeefc6","datavalue":{"value":"W3120453019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014364$D2935800-7EEC-4D84-8958-8671005294C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c620adc3f1a3388f57818fbab64a10cf70168964","datavalue":{"value":{"text":"C-language floating-point proofs layered with VST and Flocq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5014364$F3690ECF-6DDA-4C0E-96D3-5D29309F6DBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6e9206fdfcd690e5469475d3da1614675a93553","datavalue":{"value":"10.6092/ISSN.1972-5787/11442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014364$189FAA73-3E26-4A56-9EC4-D57E112F103A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b5f37d66227b87e8c04eec86814bdb5e38e2c7","datavalue":{"value":{"entity-type":"item","numeric-id":1949765,"id":"Q1949765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd6168eea2b631ed1e50d46c27eb844b16c98df","datavalue":{"value":{"amount":"+0.8005945086479187","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":"Q5014364$99EF5872-5FF8-4D53-9F88-3C88710D3D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39543e823be30e37369ab04509198db83e3988ed","datavalue":{"value":{"entity-type":"item","numeric-id":2352505,"id":"Q2352505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82223e4cfcc32ccc0768b5055739eb09411d37a5","datavalue":{"value":{"amount":"+0.7844046354293823","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":"Q5014364$8058C5EE-B485-4250-BB87-E3C4C2F4A35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f9e9873cfe4644b6583f05111df3e873bf45d8","datavalue":{"value":{"entity-type":"item","numeric-id":5274886,"id":"Q5274886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1675be3565630ac1619c79811a8ef799a7051177","datavalue":{"value":{"amount":"+0.766143262386322","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":"Q5014364$BB6224C2-CFC4-4305-BCB0-AB91E8CD1EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab31d5912cadbbfefc841f45e39fc28cb02cf95c","datavalue":{"value":{"entity-type":"item","numeric-id":5747756,"id":"Q5747756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea334fc1d6a4750c2b58fdffda96b3cdeb57d6b7","datavalue":{"value":{"amount":"+0.7643436193466187","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":"Q5014364$EDDA154E-6E7A-4518-8028-0620D191B7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ab18e3bcd9216b059d73b7516b6de44b923c3f","datavalue":{"value":{"entity-type":"item","numeric-id":3100216,"id":"Q3100216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca67216295d9f62b2bb86f24786fe9b6c476cfe4","datavalue":{"value":{"amount":"+0.7623808979988098","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":"Q5014364$6C009606-B349-471B-9487-3E6E54BC47F2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014364$01559FF1-879A-4FD9-9D7A-A091C6833134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014364"}}}}}