{"entities":{"Q3128468":{"pageid":3139184,"ns":120,"title":"Item:Q3128468","lastrevid":86526659,"modified":"2026-06-03T23:44:29Z","type":"item","id":"Q3128468","labels":{"en":{"language":"en","value":"Strong termination for the epsilon substitution method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1000485"}},"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":"Q3128468$6E8D66E9-F4E9-4101-AB4F-1B3C6EAAB577","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"094c00c42027a749330c3a1104e287fad3cbcc45","datavalue":{"value":{"text":"Strong termination for the epsilon substitution method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3128468$94F4BC34-7645-45D9-872A-D15300386446","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ac16892dff6ab38f9bf4b40849005e7bb92839d","datavalue":{"value":"0870.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128468$7543C15D-A988-4923-A50F-E740198736E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1463dd2069745b60f96e8f06fd50fe0ac2b6649b","datavalue":{"value":"10.2307/2275811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128468$9EC9B3ED-7FEE-406E-89AB-BD483552AE2F","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":"Q3128468$E0F0217F-F150-4886-9C55-B768F8EC6A6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8eb1335ea3ff8239be65e16ffb01fc1c1358604b","datavalue":{"value":{"time":"+1997-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3128468$BF63EB87-7D10-4337-A4AE-07D93652E0F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128468$0642AA87-EA2F-496D-A9D1-D8F848D9EA83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19973062176b56d845b0220e45e176516d118229","datavalue":{"value":"1000485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128468$C949C816-996E-4295-99C9-45CA83D3EF6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128468$5D21C55D-E2BF-4371-B738-400236D44744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4faeb1971b43424c349e0f9a8b9c561ca6a0aa71","datavalue":{"value":"Hilbert's epsilon substitution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128468$AB14A9F5-B00C-4CA9-91DD-B16B5CA0C36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b428a06ae1ab75a4b3419b397d8988cc3fce144","datavalue":{"value":"arbitrary order of reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128468$D5DD21F7-2EF4-4A13-A745-9902DA4638EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128468$91885F28-D2E4-4456-9EF6-9E5B792AE306","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":"Q3128468$502634BC-3981-496E-9DFD-FC7F54DF3FBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d67fd7c175c382e78bc05ebfec3a11e52c5a697","datavalue":{"value":"https://doi.org/10.2307/2275811","type":"string"},"datatype":"url"},"type":"statement","id":"Q3128468$14C4237E-BCB3-4D1A-8A9B-F5B9F25FA41C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbe4978020bbf3c95759ce2cd05e4a4eecb5ab6b","datavalue":{"value":"W2110935606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128468$49E93D4E-3EB6-410A-9CA2-36A38AB3AC04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b874be4398908905b6b6537f52e417df634dcd","datavalue":{"value":{"entity-type":"item","numeric-id":5834186,"id":"Q5834186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128468$4284D352-9CDE-4C9E-BDC0-2CE0D3452FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128468$873D6895-2F4F-47DC-A0F8-4E19435983B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128468$7AF469AE-44E6-4B1F-ABC7-5B259806BA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82765c6652fefb7b62b485b8396ead94a739e4b9","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128468$75ACF24F-6076-41D2-9AAE-F85CEF649400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128468$9734D801-E4A2-418D-A1F6-52BF82B60B02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a751f9d4e79b620673c28b4511ed3776e89bd273","datavalue":{"value":{"entity-type":"item","numeric-id":1401363,"id":"Q1401363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d693aeda1ec2914f0ec645ec0f8a60bfd57b7e","datavalue":{"value":{"amount":"+0.84991896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3128468$FC1A24D1-56E2-47A8-AB61-1AB3CEA09088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e184f3153f5a5889920b369bd5e86ac02aee1fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4793026,"id":"Q4793026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067823d6f8feb21d1863d6b2bf8fa54db70e2172","datavalue":{"value":{"amount":"+0.8416817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3128468$D265D386-50E7-4765-B164-7812E856347B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abc159133e94363a392cc31a1bafe850f7dcf60","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c1dfb8a17b9ec50751b586291209fa21cf7ab3","datavalue":{"value":{"amount":"+0.84056294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3128468$24CB070B-128B-493E-B1C7-C93686B5B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc60776fafbf2cd7d05fe55eafd9de48dca30fe0","datavalue":{"value":{"entity-type":"item","numeric-id":4454301,"id":"Q4454301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f1c187d73ae769a043c0a9106140f79cb308c2","datavalue":{"value":{"amount":"+0.8372778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3128468$A36F462A-A755-4665-BAC1-5F121C324E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d5ff79fb32e959dc15b5ed38278c2ea3fe7f5f","datavalue":{"value":{"entity-type":"item","numeric-id":1407530,"id":"Q1407530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20f6a3f9c2e11594dc507c641588af19b283819","datavalue":{"value":{"amount":"+0.8256769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3128468$14A96DC0-0EFF-4CBB-8FD0-7D5EB03CBEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83448292ebaee4ac77484e95d82683e7f5f73a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5074521,"id":"Q5074521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0cadabf44619920ecf79bd9d3b27179784db9c","datavalue":{"value":{"amount":"+0.81303966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3128468$2F5CA4BB-FEBC-463E-9F69-B46E76F6C451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649e6d1442bfca2947f7d2d98324adbbe1e48fc4","datavalue":{"value":{"entity-type":"item","numeric-id":541373,"id":"Q541373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b9791744576f4d98476cf694526077e8ee8d3b","datavalue":{"value":{"amount":"+0.8062765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3128468$99E1ADB6-BBC6-4245-8FC1-1357227366BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a07c2171224e2495d55678fb7d5a9ac933141f3","datavalue":{"value":{"entity-type":"item","numeric-id":5361259,"id":"Q5361259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e3ecec8d0b350b08de06e51e96fe7682b489532","datavalue":{"value":{"amount":"+0.8044451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3128468$3A270E19-1FD4-45A4-BD07-6C6F1B74CC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e21fb4aa08a1dc284023d87f91abfcd08657e2","datavalue":{"value":{"entity-type":"item","numeric-id":2408335,"id":"Q2408335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b306a8acfc629e27f2d5f52a4c12b43b5150ccf","datavalue":{"value":{"amount":"+0.80428064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3128468$675A6344-10D2-47B9-B0E3-7A54FDEA8CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8521d644d2703a0d74e69b03bfa3f3473cabcd","datavalue":{"value":{"entity-type":"item","numeric-id":1115807,"id":"Q1115807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481412584a0a6ea0a6ebaf9fdd2ec9bef690de9e","datavalue":{"value":{"amount":"+0.79904026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3128468$E4E995FD-16DD-48F0-B8AC-4F58A4AC790A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong termination for the epsilon substitution method","badges":[]}}}}}