{"entities":{"Q4953210":{"pageid":6982792,"ns":120,"title":"Item:Q4953210","lastrevid":91272578,"modified":"2026-06-04T22:43:42Z","type":"item","id":"Q4953210","labels":{"en":{"language":"en","value":"Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444041"}},"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":"Q4953210$D39065CF-2FB1-4D9E-94BD-53F2DF7173ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7af34ef0f4604ec6c1e48c7d2c81f4dc9e67e72","datavalue":{"value":{"text":"Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4953210$38A0FE3C-6216-4D1F-9CEC-B958A0CCF5D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bbf12663841e0a73ef43f78fd30655b87f04c50","datavalue":{"value":"0959.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953210$DCCF89DA-C83D-410F-8E99-908ED1C3784B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4c13d891624bafd90d48537208c64e5aae79be6","datavalue":{"value":"10.2307/2586527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953210$5580D121-2C04-46D7-94D2-4DBDA1024C7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80560705e1cb9fbb643be9a8dff0dc65405a73fd","datavalue":{"value":{"entity-type":"item","numeric-id":636289,"id":"Q636289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953210$33DA2F11-AEFE-489C-9C39-F4DEB69DE93A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953210$CCB5E239-D29D-4A8E-BEB1-A9DFBBBE9FC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3d4a5de706fe67bee6a28bc2268d7c1be058675","datavalue":{"value":{"time":"+2000-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4953210$6F1F933A-DCDB-448F-8BF7-2F6B4C618D6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953210$F7BDE26E-BDB4-427C-AD80-192AD6F600C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953210$10726B57-A51A-4A30-8404-89A5DDF76FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953210$977C580C-2314-4FF7-B393-9A54DFB2B497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953210$CA061665-6999-41E5-9F93-608EFAA96630","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf5d40893456e18350c086f6aac0437c88150f8","datavalue":{"value":"1444041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953210$FD5EC6E0-370B-4EFD-9C83-5414B503BB5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1950216218296c46c7afcd8ce45397707049185f","datavalue":{"value":"discrete ordered rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953210$7DFC6D92-0E51-4C41-8997-A2EB028ABCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953210$A7E73D54-4586-4E75-AE0C-C538B505D6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2e0989b712fc2b3b968403b4a2a3f8e168b345","datavalue":{"value":"exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953210$47FAB1AB-EA04-4D9B-A948-BE32F7C2D50C","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":"Q4953210$346AD0A3-A019-468B-9637-3125DAF0B7D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c2d278c6344cfab0e881f3383002aa578e841f9","datavalue":{"value":"https://doi.org/10.2307/2586527","type":"string"},"datatype":"url"},"type":"statement","id":"Q4953210$AED7FD79-5973-4F58-A917-74616C13B785","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcd581c7096b6be19976951b82477e34c70f42c8","datavalue":{"value":"W2019032683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953210$3EE895C3-194D-4483-822C-F9AA3AB199FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66536bd6a7207685ccef7bc6159f12d6708a8c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4894533,"id":"Q4894533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953210$4F5BE86C-6800-4ACD-B5E1-6DCEA2DCC609","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3652a9f629a8e2e8f9ab22b24e50fa7b03901202","datavalue":{"value":{"entity-type":"item","numeric-id":3819064,"id":"Q3819064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c207636bcc1ca2069288c8f0c6fcde31a328a9","datavalue":{"value":{"amount":"+0.8040979504585266","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":"Q4953210$2DCE6F82-39F6-4E84-8030-E0CA8B6B1CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"593ed4999cbd829c5de6a63a360d88c8f5c4ef0f","datavalue":{"value":{"entity-type":"item","numeric-id":3768889,"id":"Q3768889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9264d98b70ae88bc7eccc5102354732dc0bee71b","datavalue":{"value":{"amount":"+0.7622696757316589","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":"Q4953210$4A379B02-6F8D-4288-9836-1ADC5495BC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06738cfe19ff0aa86d14d395a91f837e8e84c0ef","datavalue":{"value":{"entity-type":"item","numeric-id":3984444,"id":"Q3984444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88371ffcf712f4ba3790ddbb085ee3ef15211b5","datavalue":{"value":{"amount":"+0.7169487476348877","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":"Q4953210$6423D9D8-0DB2-4E22-BA69-DA4191933174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1a2d58d571d070913960c80cac8bacc5787644","datavalue":{"value":{"entity-type":"item","numeric-id":3682483,"id":"Q3682483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ee29930acee950690b895e33863d9ea7647f59","datavalue":{"value":{"amount":"+0.7122692465782166","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":"Q4953210$A042D0E4-F7B8-4CFC-9D84-C91B20768865","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Trois_theoremes_sur_l%27induction_pour_les_formules_ouvertes_munies_de_l%27exponentielle"}}}}}