{"entities":{"Q4736391":{"pageid":6765971,"ns":120,"title":"Item:Q4736391","lastrevid":40793573,"modified":"2025-04-04T17:37:12Z","type":"item","id":"Q4736391","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085168"}},"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":"Q4736391$43579610-E96B-43A5-8241-CC99C7FBD3E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61227a4bb1d72c71a0b684eb3c1d96751b514ca5","datavalue":{"value":"1054.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736391$A1F8B9A1-8527-4E81-8924-7CEB2AD0AF83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736391$BA2F635E-00B0-4226-8F71-8AD7380A8DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df57046d705d1922cbc051ab710548843dac55f6","datavalue":{"value":{"entity-type":"item","numeric-id":817860,"id":"Q817860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736391$AC082969-FF2F-4B81-BC63-81270B6AF4D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d96456414d6af50ce04ff076f3343376c47fba2e","datavalue":{"value":{"time":"+2004-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4736391$935B3394-3F40-4001-BE74-0B851ADDD590","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b513b050b73ea43fb03d42c85ce1d8806ca99c8a","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2277/22770079.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736391$B8B1B30C-1113-4564-BA18-485A43610170","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736391$327E57C6-F2DB-4AB9-8FCE-3D1C1185A194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736391$FE3E58CC-2D53-43DE-B3B1-1514542FFACA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8f2c4753a39964889bd4a359388b9ea87be2755","datavalue":{"value":"2085168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736391$E2C299D9-945C-47F3-AD63-E01C49B0C8F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736391$F702651C-A3EE-44CD-8EF1-012C3368ECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d759d48ec4ae609a46c2c3b612bebd8f4939d92","datavalue":{"value":"constructive real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736391$93B30C64-2055-48EE-B451-AF5F56BD0F1F","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":"Q4736391$3C5B5F19-D3A9-4409-A9C1-A03495CF75CD","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":"Q4736391$75ADA0B5-2047-41A9-B39C-46E1B016AAC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa5b039342e856cd778c6e78906b3479600b1be","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f8e99d26404271a0e4f89dca3978969641137f","datavalue":{"value":{"amount":"+0.88907397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4736391$C02C8E11-2727-456E-B347-EA428146EADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79477bc109f9bbee7b69e8f8d59807b215092d42","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f287415537363dc00fa56e0d0f2917879eccc5a5","datavalue":{"value":{"amount":"+0.8823837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4736391$0934DA40-F847-4929-80C3-1905C49E8AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85afd2b3561ea2818747e1775ff78ee754df219","datavalue":{"value":{"entity-type":"item","numeric-id":2863898,"id":"Q2863898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8a788221b7e13a1c2d8cc8f61d150b25f3e1e1","datavalue":{"value":{"amount":"+0.8804492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4736391$07F50527-1997-4E7F-BF88-06E8C5FE8C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f605de60e8287a20a0c473abedccca910682256","datavalue":{"value":{"entity-type":"item","numeric-id":750442,"id":"Q750442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efd14fea21b6543b9b792d554226a7669d65652","datavalue":{"value":{"amount":"+0.87714237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4736391$DBDE0825-7F82-4D68-A070-0147E8E65FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a91cc1d182e9944d5936b6a2e2755856fa52c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edfb18b320e7fc4ec42c19639adea5f463e6a3fa","datavalue":{"value":{"amount":"+0.8764783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4736391$0F931366-541C-4FCA-A15C-7689D0D44C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0345b8d111ccf35f17db68bc0571366fd7b5303d","datavalue":{"value":{"entity-type":"item","numeric-id":2914733,"id":"Q2914733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b885c3b3188ba3fdabbc6400f3e66243ec70b72","datavalue":{"value":{"amount":"+0.87637377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4736391$E501BAF2-02C0-4399-A0B2-76ACD9E05859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f96dec649e63601568d9f34d95b3a9d5c172ac","datavalue":{"value":{"entity-type":"item","numeric-id":1404425,"id":"Q1404425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe95f44607f775a45009a707593c6a605763469","datavalue":{"value":{"amount":"+0.87515277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4736391$EAF6C042-524F-4958-B058-34BA9E1DC02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b7ab5703d737683dde06ec042dd36ef5987736","datavalue":{"value":{"entity-type":"item","numeric-id":4222954,"id":"Q4222954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e53507522a3df571b062745bc68a0edc9ca416e","datavalue":{"value":{"amount":"+0.8744083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4736391$21A295CE-BE5D-4082-912E-87CE01D95772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b811cf4c0cb2dac863c6cb610bcaac1301e3ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5718562,"id":"Q5718562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d7d116c5f7a14e2d7a0b6a86347ee45d8c5376","datavalue":{"value":{"amount":"+0.874202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4736391$83CE2285-84E1-44FE-ACBA-15A412555D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7e45184a5fd30db221adc8541bb85b463fc7b1","datavalue":{"value":{"entity-type":"item","numeric-id":3431542,"id":"Q3431542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6bb227531fdac342a35013657c0450cd597cb16","datavalue":{"value":{"amount":"+0.8731617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4736391$20D183D6-8393-4B82-8434-40274F014CF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736391","badges":[]}}}}}