{"entities":{"Q4552743":{"pageid":6582335,"ns":120,"title":"Item:Q4552743","lastrevid":40782640,"modified":"2025-04-04T16:30:45Z","type":"item","id":"Q4552743","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1795222"}},"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":"Q4552743$E8F7569A-7701-4881-B809-C4D2D842C1E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f93d68287550b2afc02afcdaad609cbe0dbedd8","datavalue":{"value":"1010.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4552743$174CF6A0-C3E3-4636-B298-3FB31977A189","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4552743$A009DF45-E014-40D0-873F-FEC27B357154","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb4c4a2981339b0b169c6786696f6c6bd16e21b9","datavalue":{"value":{"time":"+2002-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4552743$2CDA1534-1F59-46BC-B8F3-ED2BA61C10DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4552743$A11956F8-4B44-4F4F-B054-DB234ADBA909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4552743$DA39B443-15EF-4AE3-AFA1-4926532EBFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4552743$3F645B2F-145E-4832-BDC6-1813C362E208","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37291d76fcaabce90250dfbc5069129e5018181d","datavalue":{"value":"1795222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4552743$495CDF85-F131-44BB-A721-20CC27D6400F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5de7aa106d8eef725247d6ae6efcddb4266a50","datavalue":{"value":"constructive axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4552743$3BD4454A-BBDD-4B6F-A72E-272C3F62B50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4552743$7DA3DFE1-6A2E-4D89-A530-5EDCC62C69C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0206c1f9fbf236cc67cc5f8a8b387cca0982547","datavalue":{"value":"constructive ordered fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4552743$2DFE91D8-C055-40A6-B924-4AE0F9FF2553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4552743$F2E123A0-F628-4F86-93B3-3222C9EAC1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4552743$2442E3FD-195E-44B1-8D1C-997761923265","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4552743$FBE961C8-18F7-4F95-A75C-53E550FAEDA2","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":"Q4552743$EC4553FF-F5C0-41E9-93EF-F1B87E1B8611","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f749ad0d0c5bbc3285fc607db42795b6c7de4c84","datavalue":{"value":{"entity-type":"item","numeric-id":2752412,"id":"Q2752412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1025815b57f816e93bee7549b63535f62ca8cb","datavalue":{"value":{"amount":"+0.90557724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4552743$96674DA0-F8A3-4C61-AAC3-ACA3D0912E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c56046bdc72732e22aa9317e29ec26f4633807b","datavalue":{"value":{"entity-type":"item","numeric-id":1818431,"id":"Q1818431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df85339b43f9a9dc2af341122ee581a35819d1ce","datavalue":{"value":{"amount":"+0.90256655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4552743$239284A1-E19B-4BC6-9726-41E03AF71304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b957e6824146f1589ac24067862de220a8b542","datavalue":{"value":{"entity-type":"item","numeric-id":3986779,"id":"Q3986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291832ba5a56366035b68e30999c06971ccd2e70","datavalue":{"value":{"amount":"+0.9017527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4552743$96C6E2A8-5A32-4A1F-80DF-2E74C96DCF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a247a718a74096ab865906b47cc07a387f5685","datavalue":{"value":{"entity-type":"item","numeric-id":3358841,"id":"Q3358841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291832ba5a56366035b68e30999c06971ccd2e70","datavalue":{"value":{"amount":"+0.9017527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4552743$7F1604B1-B1AF-435B-BBB0-CDC3007EA5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4c46dcaebbf4ed590c0d493803a44ece4a8ded","datavalue":{"value":{"entity-type":"item","numeric-id":2156896,"id":"Q2156896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad7535acf66942e98c49a895f4a203a84323f3e","datavalue":{"value":{"amount":"+0.9016263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4552743$4A453183-1E95-412F-A0DF-9E2F1BA4E2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a183f05aa5af7a7b099ac109e1eb7c526c6215c1","datavalue":{"value":{"entity-type":"item","numeric-id":2576913,"id":"Q2576913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624122974f97960e7051f325ee074aad73644348","datavalue":{"value":{"amount":"+0.8963572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4552743$86535D4B-C2E6-4B25-8A31-3B0C761A1C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd196f3fe05b6c1fd9b8a66b7dd3402a0b1dbc3","datavalue":{"value":{"entity-type":"item","numeric-id":3192181,"id":"Q3192181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3461f7c2c401e24b49866f582b264248b20f9237","datavalue":{"value":{"amount":"+0.8898499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4552743$1E45C06A-1C97-41E8-AD0D-7653AC1453EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d693369f2d98f52f288171af2b491050a6a334df","datavalue":{"value":{"entity-type":"item","numeric-id":5089601,"id":"Q5089601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c0ae7cb00449c721c014e4362a9e9712755906","datavalue":{"value":{"amount":"+0.88960993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4552743$0456EC26-C7B3-4F63-BF1F-45E786126157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0275d8299033c9f99fabb4193ffab91462b27ae9","datavalue":{"value":{"entity-type":"item","numeric-id":4255506,"id":"Q4255506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95b6153603e0468f77a7aee45595ef952957469","datavalue":{"value":{"amount":"+0.884179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4552743$578CA143-A573-44BB-95A8-304EE010DAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc095d956e2f62a7736c35b6868b8b7ee10cdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3613355,"id":"Q3613355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59072fe147cdf5a4a45a516e7d3b624baa6000b","datavalue":{"value":{"amount":"+0.8822546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4552743$3218ADEF-714A-4DD0-A0DC-01C53E8AC74B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4552743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4552743"}}}}}