{"entities":{"Q2914733":{"pageid":2925453,"ns":120,"title":"Item:Q2914733","lastrevid":51558098,"modified":"2026-01-18T18:56:29Z","type":"item","id":"Q2914733","labels":{"en":{"language":"en","value":"Construction of real algebraic numbers in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084482"}},"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":"Q2914733$65EA078F-A885-434A-AD13-E6D18DFFDCB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c4e511bc366c0983300d7494464d1b3601f545f","datavalue":{"value":{"text":"Construction of Real Algebraic Numbers in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914733$EB3B909C-976C-4903-B9A5-9629AE553587","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47f8b7164b58170b1931cdeb55a820435a076b59","datavalue":{"value":"1360.68744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914733$ECDDF66D-AAD3-4497-AE16-796ACF0F263F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed6774cbabdf3de9c62014391237576783629be4","datavalue":{"value":"10.1007/978-3-642-32347-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914733$0FAF4EEE-05C4-46AD-A95B-CC5350B2221A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c9b9e0e852b5bffe2fcd42275bf67a9f49ee7","datavalue":{"value":{"entity-type":"item","numeric-id":375195,"id":"Q375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914733$D880AD44-C50F-4D62-B8BC-E3D0D51A6C4C","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":"Q2914733$1F071549-3CA8-44FE-A875-E48902D4FB27","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":"Q2914733$D20AEF9E-52AC-4035-BFDD-605B905BF9A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914733$A8E37418-0DA1-4AB1-9FC4-0644FFAC19AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d379f1f3728661c9d77f930d729b891dd925754","datavalue":{"value":"11Y40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914733$5E8B2256-A492-47DB-BB8D-5D91037BEAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914733$5356407E-EC65-40BC-A89B-EA59A4EB8D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914733$4B83189A-9DCC-4C23-B118-FF5286DEAD3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd6ce3ea7e8778102567e8d9023ec46832bd23d8","datavalue":{"value":"6084482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914733$E87DBBBD-3352-4EDD-A8EC-EB96C6351FD8","rank":"normal"}],"P1463":[{"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":"Q2914733$71F7F035-9851-416D-BBE1-79679BF047AB","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":"Q2914733$1BDC7D66-1FFB-4B9A-9273-8F978F4808CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09976cdcd6d44373b44b98b07bd519622b4c5ae9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914733$F2AAAD92-4B12-465A-A153-559B4B5825A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08ef5f407d06ecf9ad61455f9e42f5d898e6dc65","datavalue":{"value":"W2134124371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914733$3061C1E6-6B7F-41E6-BD15-E27FCE12EA24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a2e10dfaa8dfe1b0905c1cf88300746e0e240f","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce103b751bc50fe79d8b1bc22b7b787b7b96166e","datavalue":{"value":{"amount":"+0.8303031325340271","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":"Q2914733$1877D2E6-6488-4C81-BE73-5E4339BE0ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82c0eecf42b47cff6f33826f791505c22f670ad","datavalue":{"value":{"entity-type":"item","numeric-id":4736391,"id":"Q4736391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83d11a80d2fe4f5f597b26c3bf9f2d734f00c65","datavalue":{"value":{"amount":"+0.7990785837173462","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":"Q2914733$E7DA47DC-2868-4516-AA8E-A3AE151AA1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3873e81a6aa7d9231efcf123f72306b279203fef","datavalue":{"value":{"entity-type":"item","numeric-id":2303244,"id":"Q2303244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeda86a243c5fe00cead74acfcc017ddfeeafa5e","datavalue":{"value":{"amount":"+0.7747758030891418","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":"Q2914733$42E46539-E10C-405F-9B73-0496D182EE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e365f853b33abf7d72419193f174fee7d2ce2e81","datavalue":{"value":{"entity-type":"item","numeric-id":4234243,"id":"Q4234243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438dfcd7f39d48184a45683552628e11d710a876","datavalue":{"value":{"amount":"+0.7634623050689697","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":"Q2914733$AFBA6CB2-35E2-44FB-8A20-1BAB809E35CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad4c053fd4fe39c501b9b259118832ad25383ee","datavalue":{"value":{"entity-type":"item","numeric-id":2766803,"id":"Q2766803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd65662008b0a04b3639ac0701ac2e1f7a6490cf","datavalue":{"value":{"amount":"+0.7626712918281555","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":"Q2914733$9CCDE54B-6661-4182-8441-7B79173F7065","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914733"}}}}}