{"entities":{"Q4362932":{"pageid":6392531,"ns":120,"title":"Item:Q4362932","lastrevid":46489392,"modified":"2025-12-24T21:52:39Z","type":"item","id":"Q4362932","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086681"}},"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":"Q4362932$E09CF92E-97B7-4835-938E-44A412CB5413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"842cf20c5fac36c69748d4c5bce5eaa39ffe243c","datavalue":{"value":"0881.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362932$EBDAE2F9-A3D0-4F80-BAE0-50AF32830DE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362932$23AFC142-A7D9-41AB-86D6-324D1A62181D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a25635c340656bd7c7bb911f1494199e5379f0c","datavalue":{"value":{"time":"+1997-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4362932$2F0D2388-6821-42D3-A160-8B8EE9E4479B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362932$CDAFD869-EECD-4310-ABCF-EDC3493955AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362932$98D26877-E38B-4E8D-95F1-956193B04970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7aac6ae2ca459ae1f266a21d8a38b1a93251c980","datavalue":{"value":"1086681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362932$27AB3468-F3B1-42E6-A281-F0E3BDEB1E06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a416672d9e08b6b3c74580424ea2bdbf7ee214","datavalue":{"value":"extraction of programs from classical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362932$B73D715C-A77A-4085-BED2-165E44E7EECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac2c7c7f617498efeb8818ca175031efc6b02f1","datavalue":{"value":"type theory for infinitely branching trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362932$CD0283B4-A8C1-43FC-9885-65B10188715E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93922606c0d3d810f706f852859cc871fda84dc4","datavalue":{"value":"constructive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362932$7474DC14-0429-4897-A257-5A18082B8DAD","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":"Q4362932$1BFD6390-3D43-4B6F-9FD1-F65CA90B1EEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b85bce257ea2a26d3c67b6974b1b5e569957b698","datavalue":{"value":{"amount":"+0.7627392411231995","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":"Q4362932$61824FCA-9603-4A6D-A30A-3DD4400BE16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ed25302863dc8b75192a633f068f65434413df","datavalue":{"value":{"amount":"+0.7434080839157104","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":"Q4362932$3A1E3A6B-0849-41C6-A261-6E91F1A32A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca06730be80f4c0a160483c72f27d0c235c9f6f3","datavalue":{"value":{"entity-type":"item","numeric-id":4853338,"id":"Q4853338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853f94b887f32ca25ad8e9037292b1e0e693b7b9","datavalue":{"value":{"amount":"+0.7377431392669678","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":"Q4362932$5337C2D4-1732-4374-82A3-738CFAC63585","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4362932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4362932"}}}}}