{"entities":{"Q3469102":{"pageid":5257796,"ns":120,"title":"Item:Q3469102","lastrevid":49354345,"modified":"2026-01-07T00:37:38Z","type":"item","id":"Q3469102","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4135936"}},"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":"Q3469102$F4D5C13B-13FD-4754-86A4-5F83797F054C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c94551406e7b1d3a92206509bac51faf2030386a","datavalue":{"value":"0694.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3469102$E21D2EAB-FB29-4325-B693-44EB13522C8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3469102$28CFB0E2-2DF0-48C9-8C34-F68FD0CDDC49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3469102$BE8EA48E-12C4-443F-BF56-A0D62804EFBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3469102$60753301-5AA3-44F9-8109-8BAD8E88F375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3469102$47C75130-7F3C-440A-A10B-2634EB125BAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03a82b5f3d93806aa3787a617f426153eb1fbffe","datavalue":{"value":"4135936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3469102$1B085BDD-FEBA-4869-96E0-EDD1F94E4A2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"969435e2b424ebd712b58b94955c078b7914c892","datavalue":{"value":"generalization of proofs measured by the number of substitutions and generalizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469102$39AF9EAE-54C5-4D7C-8ACE-4A1D05411D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a873c491907a185763907975d30950618f7f85d","datavalue":{"value":"reductions to Hilbert's \\(\\epsilon \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469102$7BD70920-2E76-4511-96D5-B37C75539F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"057a98acbff007880a1e977b5937bac91a445c70","datavalue":{"value":"unifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469102$39D24C8A-D508-4ADA-B487-2947E51549D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b4b97f6c6d422876b13fe3e4c151db5dc56951","datavalue":{"value":"mathematics without variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469102$C8716BDE-4E8D-439F-BEB3-3A40BA893203","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":"Q3469102$864C817D-5D1B-4632-91AE-DBCB96508E55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ac32ee025514ed5458a378d3c6a661d0b1fd1c","datavalue":{"value":{"entity-type":"item","numeric-id":2640597,"id":"Q2640597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e0d2d7a3ce2b1afc3b9537fb1cff1b6c7f8fda","datavalue":{"value":{"amount":"+0.7871231436729431","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":"Q3469102$F6D4744F-398B-490F-A020-115DEDF57BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc968fc081bfd42f16362de6125da6f02619ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":930260,"id":"Q930260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525c86458e39c7c9409bf9f21555124abed2cb6b","datavalue":{"value":{"amount":"+0.7602024674415588","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":"Q3469102$B90EDA20-A271-43EB-B882-6EC0EE38563D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74dcdcba7ceb73a4e70deaf1a27c5da65030a816","datavalue":{"value":{"entity-type":"item","numeric-id":4325774,"id":"Q4325774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc99261e82887a5c1d66cac60597f83581457c5","datavalue":{"value":{"amount":"+0.7440668344497681","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":"Q3469102$0FC7F8A2-DA72-4791-8321-C9D36535C5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc9a166428cc7afc81fcddbc61d4b7d4b5232e3","datavalue":{"value":{"entity-type":"item","numeric-id":4779634,"id":"Q4779634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cca27968a5448aee73ead57ab602db9399848f2","datavalue":{"value":{"amount":"+0.7346274852752686","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":"Q3469102$989795AA-6581-4628-823A-04426C90DC51","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":"ff319cfb1ec6a0ebc7fa9e90ea676456d64a9068","datavalue":{"value":{"amount":"+0.7304172515869141","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":"Q3469102$ACF5EFA2-F2C3-4536-8781-E0D9E1692850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3469102","badges":[]}}}}}