{"entities":{"Q4215637":{"pageid":6245238,"ns":120,"title":"Item:Q4215637","lastrevid":46650888,"modified":"2025-12-25T08:22:01Z","type":"item","id":"Q4215637","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1215500"}},"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":"Q4215637$A9E1B519-433C-4DF3-84F2-41E5A53E9025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e33015570ae7570a5d9d2f0ce54fee51467268f","datavalue":{"value":"0920.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215637$2474CBC6-326F-4490-8C0B-D205C08B3410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215637$0A7402B3-EBB1-4EC4-8FD0-4DF88F739EC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10db94ff6ed2fe3888b7e1d453ab09feaeaa4a9e","datavalue":{"value":{"time":"+1998-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4215637$358DB12C-E4B7-4EBD-BAF9-0AF1C041DBE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215637$8DCF0082-E4D7-452E-8F85-84EB0F7D12D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215637$01D775E5-74EE-4DD7-81C1-A8EDCAB49955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215637$A8A1F0C7-CF36-4D98-B99D-FE9254A500D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215637$26561513-8168-4E7D-B8ED-90DD7847A118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215637$991D025A-75FA-48DE-93B8-76A950F86F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215637$6E099004-9FE6-4F26-A422-5A20117A02B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd69caa2cec8b739d5ac02ee4455962441cde0b7","datavalue":{"value":"1215500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215637$DA64F7E1-53F2-4EA6-8615-8F89F9083EA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caabcf708eee225aea4631fade88a802eccdc54f","datavalue":{"value":"sequence form of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$30B48C6B-A08F-417E-AADE-006E8BAD3228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f8abc3d3263518a0db2e2eee7f7802bb60167db","datavalue":{"value":"tree form of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$00DE5856-8F8E-4148-A495-25C0B5ED9DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$D81C6ADC-8D5F-40B7-8C9D-71FAA49CB5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$89828D9E-CDE4-408B-B1C4-A9750BF284C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56766a0bbdd06f79e66d2f027452b7d279a8136f","datavalue":{"value":"Kreisel's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$EC58A096-F150-47D2-AF9F-3776C6EC5214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b84ee1d0a839f7cdb395fa233ee1932bed8a80","datavalue":{"value":"speed-up theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$3D9EB2AE-64FA-4885-AF45-CBD4177ACB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$67D362DC-E4CA-4F05-B08F-628D60FE6D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$6753031F-8F56-4D12-B2A1-F406639B441A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$EF2BDC3D-1409-4B25-8302-494FE58B1BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$50582AB8-0A98-4172-A537-AE4A5228A191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20647bc9d7f500cdaf52d0f499e202c2bb76518c","datavalue":{"value":"cutting plane proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$3168EA06-8C00-443C-8CF8-B696BFBA3F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d40a2d1061ff99cf7fee7d54c73f16ea1f929c2","datavalue":{"value":"Groebner proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$D0B80315-954D-4F44-B4B8-E0D1E3E502EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e19b3397cff4a27a6273fed153c96e753f9a56","datavalue":{"value":"pigeonhole principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$857B1A89-976F-4EEC-9684-0787C7EA9DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa2c0f78c04a92c7553072540610ce03525a9448","datavalue":{"value":"interpolants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$204CDFD0-1950-453F-BD1F-9BC55CFD32A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b0008e374d93d6a9b01e06f14a2eb33548fc00","datavalue":{"value":"arithmetic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215637$4B74A4D2-31A4-4FF7-96FE-B0F0A3D372CF","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":"Q4215637$66E5DDA5-465A-4F56-9D4D-55938863ED52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c725820b5baf9eaa55d91d32089e48e59d850b","datavalue":{"value":{"entity-type":"item","numeric-id":4885911,"id":"Q4885911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb7fb588b15f603994f01750b67e5a73fd6de5a","datavalue":{"value":{"amount":"+0.7999975085258484","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":"Q4215637$D0DA582C-DEA3-48A8-98CA-DF91128EEB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75d5087b8325fa1c328b14556878a27ebf226c3","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7037b235768d960714d9256002d8ac2fbc11ce2a","datavalue":{"value":{"amount":"+0.7746946215629578","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":"Q4215637$16317792-B43A-4C9D-8121-57402BE52955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c337efea67e5435cf48bf44e721e7c8f08a8852","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3ceb551970364e3aa6a3a71de947dc5bc0b2a5","datavalue":{"value":{"amount":"+0.7722124457359314","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":"Q4215637$8566C303-00CA-498B-86C6-774D1525FA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2777fcc5dedf56a37d17d31fb2afa9734a57fd9","datavalue":{"value":{"amount":"+0.771914005279541","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":"Q4215637$2B34CFC4-593A-4B41-8C7E-DE35B90C54F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527735bde6fc7ac92ce00f1b704fd08faec148e4","datavalue":{"value":{"entity-type":"item","numeric-id":4314669,"id":"Q4314669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43e524390464bfb8a5284394b6616df4f66dbe7","datavalue":{"value":{"amount":"+0.7654487490653992","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":"Q4215637$9B62F08A-1522-4A77-8D37-DCB7461E3F0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4215637","badges":[]}}}}}