{"entities":{"Q4732453":{"pageid":6762030,"ns":120,"title":"Item:Q4732453","lastrevid":49315852,"modified":"2026-01-06T23:02:28Z","type":"item","id":"Q4732453","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4118348"}},"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":"Q4732453$EFC5E7E8-F9CD-48F1-B51C-4DC110DB3CFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17598600c3cec15c029c51c36f58cf2ad35d5a40","datavalue":{"value":"0683.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732453$BFD35CCD-CF35-4D7A-9E80-033D88E64874","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":"Q4732453$F87EACE8-D3BC-4B21-8562-C5B2A72EA7FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732453$277A5EB2-C7DB-4AF6-936E-79627CAE6FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732453$29D9645D-9873-4FB8-9684-1930D824CD59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c35c4d2050b567b94fbe41b1b1a56bde588d8b2f","datavalue":{"value":"4118348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732453$6F626A3D-BCB5-496B-BA4B-43008CC2DDB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f87fbc4d3f4d24a611bd390f2e759577d24ba16","datavalue":{"value":"game-theoretic proof theory for \\(L_{\\kappa ^ +\\kappa }\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732453$CAAA722F-88F6-474D-9882-E74B4C8355AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732453$FD0BCB19-70D3-4070-8657-95C7473281C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732453$A1E4167E-AE62-4E46-BEBA-9DA4F94DA208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"411cc259b5de3d4bd60a6313e2a1c5c55bda8609","datavalue":{"value":"proof-theoretic many-sorted interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732453$510ABEF5-0F28-4687-BBC8-6039567F4B0A","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":"Q4732453$EFCFF1F8-A7BD-4895-9EBC-EECF9619CD59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f5e0d3a62ea08a22a6b19462c19c1c9a7af703","datavalue":{"value":{"entity-type":"item","numeric-id":1203767,"id":"Q1203767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ac45026cbe060a649aa18bf77894a52e57e22a","datavalue":{"value":{"amount":"+0.8120301365852356","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":"Q4732453$1A62BB1A-78D2-4F02-8728-4EF6545BC1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f01d908578ccebe815cacc8eb3d4b5cac8175a7","datavalue":{"value":{"entity-type":"item","numeric-id":4262591,"id":"Q4262591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55522c6dce06ab141d2f7afa79a84eb6f40aaec","datavalue":{"value":{"amount":"+0.8119156360626221","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":"Q4732453$A1A7D950-7A39-4D0F-A87B-8B5C8632B124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b840c55a5c655a6e0176fc56045a5b38e223516","datavalue":{"value":{"entity-type":"item","numeric-id":1177671,"id":"Q1177671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df909104fdd5aaeba2c88f42993181cfa56ef24e","datavalue":{"value":{"amount":"+0.7968164682388306","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":"Q4732453$8FA1AAA5-28FC-407A-84FB-1B32C22523FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87e8260d3dd799c83bb99077287dc3c6b662c21","datavalue":{"value":{"entity-type":"item","numeric-id":1192073,"id":"Q1192073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b7d0942d94c6ab5603d22efa2c3a3e5a73754a","datavalue":{"value":{"amount":"+0.7952197194099426","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":"Q4732453$7FE2C118-2361-487A-95DC-42AF20E8CE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2ee88afccda24f1cf9b18d1fa8de27c6ebc5ef","datavalue":{"value":{"entity-type":"item","numeric-id":3221969,"id":"Q3221969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1cbe558035d86516b8c57993f08fb49eb94d19","datavalue":{"value":{"amount":"+0.7766621112823486","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":"Q4732453$0BD48CBA-C6FE-4146-82CB-5BA5DBE62DC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4732453","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4732453"}}}}}