{"entities":{"Q4012886":{"pageid":6042682,"ns":120,"title":"Item:Q4012886","lastrevid":55180105,"modified":"2026-02-04T12:18:01Z","type":"item","id":"Q4012886","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65537"}},"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":"Q4012886$04D81A1E-CD7F-4034-B438-390D24D5B509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"648167991f1c3b95f6a491682215f0b5d474a6d5","datavalue":{"value":"0754.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012886$ADC0CF53-BE32-4655-BCAF-ED1930AA7B21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe547ef5314dcd29934c175735d2a005f1c3e88","datavalue":{"value":{"entity-type":"item","numeric-id":4012885,"id":"Q4012885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012886$C3B097B3-AD00-469E-A4A1-284E46720D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012886$1AF97267-4387-452B-B1BE-726EB6FAEFA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012886$F4656C5D-0A59-4AB2-B953-654A4CC70304","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012886$B74A6D76-23FE-4B51-A460-CE9E15ADCADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012886$FBD5D190-9CCE-456E-88E8-830CDA338A0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a7c262d23322df5ac4af1b65d9fc0f0f32e4df4","datavalue":{"value":"65537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012886$903A2E5E-F704-48BC-9AD9-98BFDB3159FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d804d4ed3f00ef14a093fd5ceb0d1528977ad5bd","datavalue":{"value":"classical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012886$474BF62D-20ED-414F-924E-ED6E71C02B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93922606c0d3d810f706f852859cc871fda84dc4","datavalue":{"value":"constructive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012886$773A3125-9B97-4C1C-BC9A-4DA6C10DB2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea8a74e6a86dac43a010e63b3435855327f6f47","datavalue":{"value":"fragment of type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012886$2D1A4C02-37F3-435B-B98C-8D1EF48FCC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92f218527c04d7958fb8f936ed61296b2d18e041","datavalue":{"value":"general method of extracting algorithms from classical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012886$31E18090-3879-420F-849A-0A14D83D8DDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012886$9EC2D5FD-EF4E-45EF-A709-E0B9A7341284","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":"Q4012886$15556C01-2279-43D9-B0E6-85D7504FF966","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9528e6771ce6a43b6b480d58ae14f5b157c28792","datavalue":{"value":{"entity-type":"item","numeric-id":5463274,"id":"Q5463274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc113337c6f7b9163d18b4932831c17b1b730fbf","datavalue":{"value":{"amount":"+0.90073615","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":"Q4012886$C939D5C9-2DEC-46D2-8698-FA95377B4FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4de2f674dc67d9ed71923062e0cb417a719c83","datavalue":{"value":{"entity-type":"item","numeric-id":1882897,"id":"Q1882897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4f07c736dae497ca8db0c5f4b86b3923a9e4ad","datavalue":{"value":{"amount":"+0.8912014","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":"Q4012886$EB963A0F-3ED6-4FB6-ADA4-9673C7BC5DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f014694f6b46e92fa4ebb6a1f68784e638b36d","datavalue":{"value":{"entity-type":"item","numeric-id":1762353,"id":"Q1762353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed14f2cca5dafe1d8eadf0d0c41b0c0008dbf69","datavalue":{"value":{"amount":"+0.8911308","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":"Q4012886$05569B34-5B50-4CFD-8A67-16F4ED0F1A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2739fbfff016a5e366eac26cb88c1736bd7b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20218c8da10e29a11b985034b32c559826090c30","datavalue":{"value":{"amount":"+0.8810344","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":"Q4012886$AEABE5AD-CC1F-4DEF-80F2-D3BF6FA80DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3360a61977a1ee968db1e29c50105216b7d324b3","datavalue":{"value":{"entity-type":"item","numeric-id":4268421,"id":"Q4268421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4389a5df4a58fad9a7c2e0df43e50bdd4073cb","datavalue":{"value":{"amount":"+0.87904143","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":"Q4012886$D6F1C5D5-1A7D-49EE-978F-367BD6B1FD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0c4dbcdc083c8281188ffa7c458206ba6187750","datavalue":{"value":{"entity-type":"item","numeric-id":4594253,"id":"Q4594253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516c4b506a92e639661ce0223df8a385e97e3d73","datavalue":{"value":{"amount":"+0.87672955","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":"Q4012886$6A665419-8418-46A5-AA6F-F21D3FAFDE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c3814e9b17beced7df0893ebd8abe9058e12b3","datavalue":{"value":{"entity-type":"item","numeric-id":4635844,"id":"Q4635844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba2b41f8f4df05c5f3fe5ef3d9f278e52f9458d","datavalue":{"value":{"amount":"+0.8753409","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":"Q4012886$58861378-E224-4950-B722-081E42C364FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3729b0e8c4dddb325f1b0df9df0be3d5efa45e","datavalue":{"value":{"entity-type":"item","numeric-id":4883280,"id":"Q4883280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9e234d90e84b830bb4290682ac674e2eb5c474","datavalue":{"value":{"amount":"+0.8712346","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":"Q4012886$DDD90352-7AD9-471C-A729-0552BF3E02C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e289159aac412911418892251df2ccdf1333e75","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6efd6bd45a473a5391d9bf473fb38f21cd393bd","datavalue":{"value":{"amount":"+0.86973345","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":"Q4012886$01ED4E60-DF9B-429C-A2B0-DA9DE2579A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e653c6a3446968fd019febeccb6f5e0a749547d","datavalue":{"value":{"entity-type":"item","numeric-id":2757810,"id":"Q2757810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"875b97e2af109de7c43289531579dd55a69d91a8","datavalue":{"value":{"amount":"+0.8675897","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":"Q4012886$C43BD832-C9A5-474F-8ECF-3729EDB2F476","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012886","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012886"}}}}}