{"entities":{"Q4894533":{"pageid":6924112,"ns":120,"title":"Item:Q4894533","lastrevid":46393758,"modified":"2025-12-24T17:00:36Z","type":"item","id":"Q4894533","labels":{"en":{"language":"en","value":"L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 932090"}},"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":"Q4894533$225FA3D7-CB71-425E-9B05-80EF2D80C7F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26c0a9df9a808472f4f6ed4be7a21f6c8d919d03","datavalue":{"value":{"text":"L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4894533$88594072-4DC8-4B6A-98DA-6BA45E2D28FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c8e8adafa7e5e5c75f157c05d42306e12a026d3","datavalue":{"value":"0862.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894533$3696CB2C-E90E-4241-A130-0E9DCAB58900","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":"Q4894533$ACDC7150-3CB5-4AA7-AF1B-41AD2B216FD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e8e2f16e5044e38a454384839ea1083db5e26c0","datavalue":{"value":{"entity-type":"item","numeric-id":559407,"id":"Q559407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894533$3CB16C07-BC00-4843-BF14-9264B7A0FCA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56f9702c31b9db23a5a567e881d83ae128b09dda","datavalue":{"value":{"time":"+1997-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4894533$DE21842A-C6E2-4E36-AAB6-92300E654148","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894533$1FDD2D12-39FA-407B-AA83-87FF29E6D3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894533$93FC99A6-96C1-4E5A-9538-24A4A09834F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04a8d825949c1700ef66b32e7562e2476b952580","datavalue":{"value":"932090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894533$89F5384B-62BC-48EC-97C7-0502163221A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894533$4DF9D6F0-6154-4CD6-9476-9E424CAB6C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894533$9F8196A2-4B99-415B-87C8-0A6C1DF55107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30d6380d00711061ec3c49ec8a7183625a229d19","datavalue":{"value":"normal open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894533$4055833B-B88A-4FAE-A028-58DFCAE1532F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1950216218296c46c7afcd8ce45397707049185f","datavalue":{"value":"discrete ordered rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894533$0CD5DC11-DFDF-4D9E-BD76-FFE356B60CB6","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":"Q4894533$57BB4FE4-33F3-46DB-AF3D-1C1CA25DDA67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39c58a730e8a9bd26314ae8584b8c0b38e2cb837","datavalue":{"value":"https://doi.org/10.1112/jlms/53.3.455","type":"string"},"datatype":"url"},"type":"statement","id":"Q4894533$0A6374FE-DA39-4B6C-BF7D-50812419F10A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9feb2050b83f0f7f47b147525402177b900d3ee1","datavalue":{"value":"W2327839450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894533$B10FC70E-4049-4721-A000-4C8E25C621E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aa22f29ed4eafa720f5829ceecaa265003bd195","datavalue":{"value":"10.1112/JLMS/53.3.455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894533$F8B9A3DA-6923-49B5-86EC-BAA91CC9BB39","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":"f637281c6e750d4629cad7c23915146906b225f2","datavalue":{"value":{"amount":"+0.7906094789505005","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":"Q4894533$751D5B0F-29B6-4CC7-8391-DD69D5BD7326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3364805d5c5185f685f5c87e5e6a8d6d082441","datavalue":{"value":{"entity-type":"item","numeric-id":689192,"id":"Q689192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7ea3f36e977df420a309e57aafd0c90cb3cb21","datavalue":{"value":{"amount":"+0.7831107378005981","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":"Q4894533$E9FF1FD9-6915-4F1D-934A-E7AA995D8D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442401c1cac193f71450c5bf7b6cf3c4771e3455","datavalue":{"value":{"entity-type":"item","numeric-id":5444702,"id":"Q5444702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bfb7d665c8fca5a89862fa010a5eb0c1f12507","datavalue":{"value":{"amount":"+0.7658366560935974","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":"Q4894533$B43AFD68-D7E1-4E93-A21A-75EC300078AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ef37b41715ea8fa51f59aab9954d47a707d043","datavalue":{"value":{"entity-type":"item","numeric-id":1210354,"id":"Q1210354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a004111063d9399ebff379dd50d9919e5e23109f","datavalue":{"value":{"amount":"+0.7560142278671265","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":"Q4894533$80F620E4-6377-4802-A5F7-6DC181F5B3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b255ef13ef9ca427998781d1a08b44cbc4dce4","datavalue":{"value":{"entity-type":"item","numeric-id":3138008,"id":"Q3138008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49406fec41cbaf562ba047a7cfcac9f367338a68","datavalue":{"value":{"amount":"+0.7521819472312927","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":"Q4894533$9F9F7C6F-5F49-4F98-A899-300165EE150D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4894533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4894533"}}}}}