{"entities":{"Q3079692":{"pageid":3090407,"ns":120,"title":"Item:Q3079692","lastrevid":51199223,"modified":"2026-01-17T05:05:31Z","type":"item","id":"Q3079692","labels":{"en":{"language":"en","value":"Proof interpretations and majorizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5859845"}},"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":"Q3079692$9CEA02D5-CFDF-4D06-A868-C47AF0D15DB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ad47587592634ee0bf25fc9dadae3672ae0a0f0","datavalue":{"value":"1231.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079692$B65F51A5-3791-4301-BEB6-289E393CA636","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079692$0D2C389F-F1AE-4625-A07E-06D1C3895AEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09b533463020248dec48904871d03ce0d378b98c","datavalue":{"value":{"time":"+2011-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079692$98173476-8578-4807-AEE9-6C03B0C7F17D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079692$D05CF3A0-51A9-4DA6-BF97-BF9B655669A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079692$C033DFBE-379D-4C58-9412-F8B0626E881B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079692$6A1E6949-1545-4652-88DD-A17691BF92A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079692$14B5A91A-1443-49B3-B370-CF5CB0159B68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fae64f41e140fe5fc5391b5678e7f2abf637930","datavalue":{"value":"5859845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079692$B170DBE8-853B-421F-A7DB-E90D400DE29D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079692$ABBFE3EA-838F-479D-A802-23693C6090F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079692$6B73BAC0-EAFB-4460-9183-15131C6B6577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1db846aa51e90f440d34eb4ae218cb6285f5f7","datavalue":{"value":"applied proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079692$898C1715-BFAF-4432-ADA8-03BBFF69AF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"718c0c1de8e7a131ed814e7ce1f12b545e14f5e3","datavalue":{"value":"extraction of bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079692$ABBECB97-35BE-469C-91C6-16CD4EDC1AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9dcaf5a139b06781aa7ffdacc1a94196c808bb8","datavalue":{"value":"bounded functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079692$BFEB761C-DF82-48EA-AFB1-20D5A9A4D7F5","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":"Q3079692$B0C67BED-7601-4F97-9939-AAD742228CC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ca2f7785c5c758f37d5bc6832da68a2049b37","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e100050ff03ab49ab2255a67f48e3bb99f8d6d","datavalue":{"value":{"amount":"+0.856040358543396","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":"Q3079692$B7A332AD-E329-471E-897A-C7C2F5C008FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b5aa1de0fc49e3388b42be4db370a8a5b8cf94c","datavalue":{"value":{"entity-type":"item","numeric-id":3437622,"id":"Q3437622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f961fa2587168d51f6ce5d1f26fc02b1823ebcbd","datavalue":{"value":{"amount":"+0.837092936038971","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":"Q3079692$D42B1560-0986-48F0-ABA1-C972EDEFDEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f778378613b2e7cedf1708013dd55035a162ec82","datavalue":{"value":{"entity-type":"item","numeric-id":4032661,"id":"Q4032661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41e4a42b6585e021d50f983f2c7dbfcbb880458","datavalue":{"value":{"amount":"+0.8000530004501343","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":"Q3079692$F9542221-D717-414A-8EB7-45010636F2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6fc081a98040ffd9f11ae72b5885d72126cbd13","datavalue":{"value":{"entity-type":"item","numeric-id":4218526,"id":"Q4218526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9a7c17cffe6609dc87ba69a10eadb6f6d8e84e","datavalue":{"value":{"amount":"+0.7958542704582214","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":"Q3079692$52512897-931C-4EE4-A6C5-04584EE8936A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5909fcb3f33c0c6ea358d5a9cbc0761e77bbb0c","datavalue":{"value":{"entity-type":"item","numeric-id":3107344,"id":"Q3107344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8e05dd70ad0084e0c448a1d03fd766fe7331e9","datavalue":{"value":{"amount":"+0.7889336943626404","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":"Q3079692$463D822D-2702-48A0-9F94-10E8E1EFC80D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3079692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3079692"}}}}}