{"entities":{"Q4325774":{"pageid":6355375,"ns":120,"title":"Item:Q4325774","lastrevid":41858995,"modified":"2025-05-09T03:41:55Z","type":"item","id":"Q4325774","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 733386"}},"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":"Q4325774$B6CEED26-6972-4C24-BD87-4425B37B4385","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7794423a792e5893fc791eb4a4c6ede14e2f5ffb","datavalue":{"value":"0835.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325774$9EF6B9FC-EE88-4E88-B1AD-5E5808523C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23538f1860075d0767b907c88ed715c00085d18b","datavalue":{"value":{"time":"+1996-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4325774$2A4AEFC0-FB07-4552-A70C-1FD7065354E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325774$942E502E-9AE3-40B6-8027-3B320429C345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325774$BC88B00A-5B2C-472C-838A-7B98F0A6DC40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bed37e9e28bfaccba4263b51a0dc0e9eb7964f4a","datavalue":{"value":"733386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325774$D07ADD5D-660F-40EA-84CA-01D6E80B105D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1d45947ebb51d6f444d1baaa63a79badc93ee1d","datavalue":{"value":"substitution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325774$827E0719-F07A-462B-AA57-8012751EEB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cf49f646c72816bb5d86766dc0b5445c8a99e43","datavalue":{"value":"Hilbert's epsilon-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325774$29AE2261-14AE-41CF-8426-15A46E3A47E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325774$39DB4025-89D1-4CE5-81DC-4E5BB6DF6C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f00c40e7d7a557cd33982bd3dcacecbab308306","datavalue":{"value":"Gentzen-type infinitary sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325774$EB6AB1C7-B6EF-4B5B-B476-864FF7A7166E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325774$1B1A7AA7-9D19-435E-BB0B-4433B55742F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325774$B45FDAF5-847F-48C3-BAA7-F0477A135FCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4325774$8108F925-B34D-4D19-B3B5-1C58C13327CB","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":"Q4325774$700C7FB6-D147-4F26-8621-6F08E3F8A228","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b5c5c87ba28448143f812cde9b5da7ff0aa33b","datavalue":{"value":{"entity-type":"item","numeric-id":3410681,"id":"Q3410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04f0ba93c8c8ee3c34b8474f6647b4941597207","datavalue":{"value":{"amount":"+0.84356225","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":"Q4325774$E5715B4D-01F6-4057-8D6A-2A16D43D9BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abc159133e94363a392cc31a1bafe850f7dcf60","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28c7c6ebfb4fef6d41212e8077e8e386f84b7be","datavalue":{"value":{"amount":"+0.8178389","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":"Q4325774$A1C80A1F-666D-4FBF-A80F-D82AD684A49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0384f5b7fc2f16b47b2c6e85ccfd574a711a638","datavalue":{"value":{"entity-type":"item","numeric-id":5221954,"id":"Q5221954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1418f4419b3256c3e72aeb6e83ea01177b0479c","datavalue":{"value":{"amount":"+0.8153931","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":"Q4325774$1CB00A76-D797-40E5-8BBC-91AD40C0380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b96c33a07858f03a7508647db7b1590be24ea77","datavalue":{"value":{"entity-type":"item","numeric-id":2993009,"id":"Q2993009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f9305d602173639c8c9cd9fa831db5e4e808f4","datavalue":{"value":{"amount":"+0.8148772","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":"Q4325774$19708564-E336-4EA7-9774-D6E192C82AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3d1823f6ab9896798edb158b31b35117786196","datavalue":{"value":{"entity-type":"item","numeric-id":3142030,"id":"Q3142030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d4dbe6bf0131ce257a6f52f15f14bea476b4eb2","datavalue":{"value":{"amount":"+0.8127451","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":"Q4325774$859F8EE2-BFE1-42E7-BD27-C8D3D4AA590E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3ec800a711c2f223ef0594b1117106d72151a7","datavalue":{"value":{"entity-type":"item","numeric-id":4717348,"id":"Q4717348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c10d15ce71f9d08e7d7f4355d83957c33b14fab","datavalue":{"value":{"amount":"+0.81220937","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":"Q4325774$6E28BF1D-E849-451C-92C3-0FD5425044FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31273fc3a143d0044cd81c39370f5d14ab24b07","datavalue":{"value":{"entity-type":"item","numeric-id":5886767,"id":"Q5886767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995d3cb6dc33a3c07153b20312873e37bf9775b6","datavalue":{"value":{"amount":"+0.8113097","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":"Q4325774$794513AE-7C33-4B86-BBB6-FB80467BB826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e184f3153f5a5889920b369bd5e86ac02aee1fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4793026,"id":"Q4793026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cb5cf0dcc1d031a11efa01c33e7fd82fe0bb00","datavalue":{"value":{"amount":"+0.80979884","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":"Q4325774$612EECCD-0281-4991-83A4-0D8F149B90E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b829d4ec53116b10ce8b672584e45a261562d","datavalue":{"value":{"entity-type":"item","numeric-id":4894673,"id":"Q4894673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08083a578f359a01ee42985f591c191cffdd9003","datavalue":{"value":{"amount":"+0.80944574","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":"Q4325774$CF058601-DDDA-485F-A860-748FA311967C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5550d39467bd906515f5d8fdb15cf97658906bde","datavalue":{"value":{"entity-type":"item","numeric-id":1405702,"id":"Q1405702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5a778417a836a8a3e45d03459cf4ebdd6671ca","datavalue":{"value":{"amount":"+0.8085147","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":"Q4325774$BCC6974B-5882-41B1-B27E-BA99E4AAC431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4325774","badges":[]}}}}}