{"entities":{"Q4549235":{"pageid":6578827,"ns":120,"title":"Item:Q4549235","lastrevid":47973223,"modified":"2026-01-03T05:52:37Z","type":"item","id":"Q4549235","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1789924"}},"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":"Q4549235$67B0FA8F-6401-424A-AC92-9C70D62D18AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"673881e9fc6d1181b61d53567224aa994737f3a6","datavalue":{"value":"1012.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549235$00FBBB0B-88FF-4711-94B3-3B1B0986F332","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b481d9d1e1fd6339de38d10a65dabc0f21090cc0","datavalue":{"value":{"entity-type":"item","numeric-id":168589,"id":"Q168589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4549235$CB8FCC61-1D97-4D6E-8E15-2CBDFDA66E4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ee0375579b3e58742dd9de2663777d816eb143e","datavalue":{"value":{"time":"+2003-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4549235$FF12D08A-B616-48DB-8BCC-DB1145B22677","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549235$465AEB74-0D20-4E64-8446-5C6884A6AB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549235$F5AEDF45-6EFA-4FDD-B391-4B1F48EC83FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549235$2AD0B163-407F-45B9-BCC4-A6B70E1686C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549235$3D0D050F-4CBE-47F4-A4F3-81E87E4344B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc4b83bf7aa01d993248655d3a0173b740ed4ead","datavalue":{"value":"1789924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549235$0252B21E-2F59-46B2-990B-D57BA91A8540","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549235$EC888DB1-B284-4FAA-A572-E88917BE02BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549235$1909F506-778E-458D-813B-CA9236F916A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549235$48EF8E3B-9922-4C0A-B374-9A81A4675AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549235$63C640C0-6A6E-4BEF-AF19-3606B229103C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80008d81258ded70d575e02944a82647618843a1","datavalue":{"value":"resolution proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549235$92DBACBB-D12D-4764-BEEC-B055FF49FCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5d788dff212a5ac668b31d3f2ad47b96140a66","datavalue":{"value":"weak pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549235$ABC29A50-D18F-45E6-BE3A-3D3337B135A9","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":"Q4549235$34C70262-70F2-4AEB-9AAF-7109EAA8CD1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80adba55132ad81c69da414cbebaa257ccfb28de","datavalue":{"value":{"entity-type":"item","numeric-id":5501187,"id":"Q5501187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8cb6c7d87715d2c922ea950272f322bde68fb7","datavalue":{"value":{"amount":"+0.9140139818191528","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":"Q4549235$6F3F4464-3694-4D6D-A5B0-85D736C03E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea034fea25af33b206f6d76bb46ef8eb7039dd54","datavalue":{"value":{"entity-type":"item","numeric-id":558246,"id":"Q558246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fde3f8c344f3a94e82bfafe9c9b11a17040e36d","datavalue":{"value":{"amount":"+0.85576331615448","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":"Q4549235$022C154F-6FF7-4AC4-971A-7EA84F695F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d478ac6a9d318401b706fb64dc7d74fb19248e","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01fd755f5d7387b45fa2706c440911d64343c352","datavalue":{"value":{"amount":"+0.8421031832695007","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":"Q4549235$2BEEB3A6-E0B5-4EB4-B323-CC9E98EB9463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47add0e60396bc2fd0962c455b8b0b81cf2de971","datavalue":{"value":{"entity-type":"item","numeric-id":1854546,"id":"Q1854546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8389b48b037d48a1b4494581a31ffee51c0ea5","datavalue":{"value":{"amount":"+0.8394860029220581","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":"Q4549235$CA7DAF43-0B96-4DF3-85F1-F8F03EC34FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc926d34953ac6340be0c23a4ae8361ba53ea0c5","datavalue":{"value":{"entity-type":"item","numeric-id":5175989,"id":"Q5175989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea325d24a9b81a6eb290d680ac2c2d2a00fb2a27","datavalue":{"value":{"amount":"+0.8353714942932129","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":"Q4549235$59096CA2-818B-45C4-BFDE-AAB9B269A151","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4549235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4549235"}}}}}