{"entities":{"Q4318898":{"pageid":6348499,"ns":120,"title":"Item:Q4318898","lastrevid":89239739,"modified":"2026-06-04T16:44:00Z","type":"item","id":"Q4318898","labels":{"en":{"language":"en","value":"Effectiveness and provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 709423"}},"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":"Q4318898$A7C03F88-1CAD-455E-B5BC-31488EDDA2DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3fc02c7de8871c9628e100f48c8fb68c8f1d391","datavalue":{"value":{"text":"Effectiveness and provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4318898$A515BF5E-573B-4592-AB8A-409E685F4B9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6045a582d12ff82425082fd22fdf504fbefc2fe","datavalue":{"value":"0811.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318898$7695CB3C-A325-4ADB-93DA-68B8B5CD34E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"125bdf7ed247f16f389e6f9709873effa34609ec","datavalue":{"value":"10.1007/BF02925207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318898$6A6C9BFA-996E-49DD-A002-09359BAED70D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318898$1B975984-5863-4EB6-A3BF-F13799F6884B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"415c5199391113152e62cd23791baf1abad80faf","datavalue":{"value":{"entity-type":"item","numeric-id":3026951,"id":"Q3026951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318898$90CB605D-A4E6-4EA4-86F3-3949FEB3B510","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34f882de9608e30070f91d42bc6a66e92192de6e","datavalue":{"value":{"time":"+1995-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4318898$6E422316-9814-4FA0-9452-B5254328228D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318898$67179F34-0552-4721-8837-BD9FBC0CDB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318898$4DF516AE-129B-461F-AACD-6DA7BE49150B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318898$3A61AB23-A576-479E-A97E-04B2266488A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318898$E00C5EEC-9BCC-40CB-A3B5-0A6C0179CFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318898$3D8E25BD-BD78-46A2-B52A-50CBB9A589A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a73e5d4c415babd533b58a108268d37b7e9d7e7","datavalue":{"value":"709423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318898$85FDF190-77D8-4F38-A67B-48DCEC8F6F2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318898$0517F14A-3FDA-41F7-93A4-62248D5A8961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438e516803719c47c546d522f07b43b9cdfb3cac","datavalue":{"value":"weak theories for analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318898$BA292DC3-8B2D-4A78-9962-937451603B33","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":"Q4318898$FAB27381-938E-4182-8277-639743818F1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318898$0D529054-033A-4E70-9E5F-7C13A7218D64","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":"Q4318898$0B702952-0C8F-418C-B460-51F9B3F491A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d71305c8d9d041668e564bf7f2f69f04f88a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":3822154,"id":"Q3822154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318898$400A6C1C-9B07-46C3-B400-1734FA45BF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacb5aa102ce6c71274c34a5360472cea903ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318898$E0FB450C-61FE-4191-AC14-B1A7F6F940D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c097fe2a4fda5f92445083a24d0acec276aa08","datavalue":{"value":{"entity-type":"item","numeric-id":4324696,"id":"Q4324696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318898$B6A3E7F2-AD3A-42C6-9EE1-CDE5E63F160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8881925218ed95300152509564f24ef547ef5223","datavalue":{"value":{"entity-type":"item","numeric-id":3791148,"id":"Q3791148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318898$57230F0A-0A1E-481B-A55E-A594A1D05682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318898$7136EE6C-5330-410E-8F23-7C0645123D31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bd3171eadcf243a7a213112c08c6362661f5710","datavalue":{"value":"https://doi.org/10.1007/bf02925207","type":"string"},"datatype":"url"},"type":"statement","id":"Q4318898$0DE9A3F9-A11C-4437-9271-4377985609EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"211494e6b974f26ae1b1345709350645a454493d","datavalue":{"value":"W2092836819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318898$B22DD684-73EC-4ED0-A597-75E8A5CF9DB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191d14c45953ad66f115a4b6e20a3dd3dec50caa","datavalue":{"value":{"entity-type":"item","numeric-id":4032632,"id":"Q4032632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f7335361c7b6dc5bc40a58f94f0faad4d193f4","datavalue":{"value":{"amount":"+0.7091817259788513","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":"Q4318898$520FBBDB-EB3E-4165-8768-0C30E3AFCEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ed8aa2f0ccdd20d9fe17516ace0b36a555e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4314309,"id":"Q4314309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f130340f0be5e5b6eef9242b735d075a0aca58","datavalue":{"value":{"amount":"+0.6959792971611023","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":"Q4318898$8E9CCD35-735F-4200-A687-049E2FC7B809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12dfe163da46e5eb23626e75ec8f7d4ac7729b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3977628,"id":"Q3977628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11af4368803ffd85751c759a7698871792bfa5a","datavalue":{"value":{"amount":"+0.6704503297805786","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":"Q4318898$4F6F971F-0A93-4B75-AA6C-57BABCE4600D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa2d635e780fd8c6053d8f3c06483ba25a80edb","datavalue":{"value":{"entity-type":"item","numeric-id":4436031,"id":"Q4436031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11af4368803ffd85751c759a7698871792bfa5a","datavalue":{"value":{"amount":"+0.6704503297805786","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":"Q4318898$72F96F3C-A943-4A53-BDBE-FFB885DBC40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7eaf02afdf6100ce462a910cd58f76bc06f4ab8","datavalue":{"value":{"entity-type":"item","numeric-id":639666,"id":"Q639666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbee8b33dffc7a46783c1bf4fed2772545a1c85","datavalue":{"value":{"amount":"+0.6638532280921936","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":"Q4318898$F5AD5D8A-6E23-4203-A8E1-ACBEBE4EB432","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effectiveness and provability","badges":[]}}}}}