{"entities":{"Q4793025":{"pageid":6822605,"ns":120,"title":"Item:Q4793025","lastrevid":39867413,"modified":"2025-01-27T19:18:22Z","type":"item","id":"Q4793025","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870414"}},"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":"Q4793025$8E8EF450-135A-409B-8643-8362CC693DB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a8223aa952382f10304a306e9860a8478016a69","datavalue":{"value":"1022.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793025$000D61E4-B478-4C85-9EB6-4AB1C075B753","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4793025$60B52ECA-1D10-49F5-9A35-C78A91C2FC24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cbfeed17e22be2fe3d5c6a8c998eb54116ca1a5","datavalue":{"value":{"time":"+2003-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4793025$BC45E85F-CE90-48B5-B58D-9C56321F4D28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793025$BB39A600-5CDC-4841-842C-51BB2FA838AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793025$CBA44E65-C303-49D1-B914-35E379F8F356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2d0c93ff09af550e35b4fe28598b022581d7b7b","datavalue":{"value":"1870414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793025$523A4252-2028-4C21-892F-293B6F3EBD07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d8657c111a605826e6c3c69ff90be01315489b","datavalue":{"value":"implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793025$BA67C55F-12D7-4FE6-8EC6-B92F4982F516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a4d03c2e571ad1aebe2c9c3b84d9aab8d8f6cc","datavalue":{"value":"subsystems of type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793025$317D84F6-CAFE-42F7-8AE8-C723CB306D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38e1b5c02ff57f19f2f42dad952da7b6dc6d2c5","datavalue":{"value":"uniform bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793025$57AD5A3F-F29B-4EEF-BD0E-8E50F9B558E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4202708597b041152c0fc9f7e4f15913662bf5a","datavalue":{"value":"conservations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793025$53E30202-D085-4079-87B0-7F3149670DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793025$E82D33D6-4F93-4BF9-926F-4CB457F8EED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793025$FC57FDA4-46A0-43CA-841B-916277246B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793025$BED172B9-E1F9-43C8-BA04-CDE8FFAB79F2","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":"Q4793025$19345C89-598F-446C-A653-C9733CBACBE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216c10823f945c5500445c1b46f8f1332dc39cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4263883,"id":"Q4263883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7ac06e4c30f7c3a01964249dac05096449b696","datavalue":{"value":{"amount":"+0.7604848","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":"Q4793025$D2F4E2BC-5CFE-4412-816B-3FD5F8B1C5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1ab5b4b8ee64bb40065351c58b8f75607601c8","datavalue":{"value":{"entity-type":"item","numeric-id":636367,"id":"Q636367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b63463f3acfcc2e9592989c74acfa6cb41ca54","datavalue":{"value":{"amount":"+0.7527049","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":"Q4793025$14998542-761A-4273-9784-DF1909D89125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da904127c08b65376d980f316b495d30f7f3bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1400600,"id":"Q1400600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc93e4d164820293d22123986fe999a1e118094","datavalue":{"value":{"amount":"+0.7508391","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":"Q4793025$5D4C7712-D949-4098-A04C-346A23C038B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964671cc3b279eebfb75d14d5c86abfb963eedd","datavalue":{"value":{"entity-type":"item","numeric-id":4010354,"id":"Q4010354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0f56e83f8d36dc5c8c16985a66efd703c68004","datavalue":{"value":{"amount":"+0.7424189","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":"Q4793025$E06FD6E9-6DAB-4573-807D-19B1723044C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1d23eefd1c2a5a056699b57f238c869a289440","datavalue":{"value":{"amount":"+0.7382866","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":"Q4793025$A1DBAD51-42BB-47AB-A1D2-F3AF38CE99B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74cc585169bdfe094f0765f45527604cd2862a91","datavalue":{"value":{"entity-type":"item","numeric-id":4699350,"id":"Q4699350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15db4898537a80338b9acdbec5c9e96b88390102","datavalue":{"value":{"amount":"+0.73636097","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":"Q4793025$AEDC6A57-8EFA-472F-968A-6EE40FB293D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd787b89bd438bc28ab4259f77e0e7182b5cf750","datavalue":{"value":{"entity-type":"item","numeric-id":4027624,"id":"Q4027624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f439f61155bc17041a5ff450ee28c7ec17b0d5b7","datavalue":{"value":{"amount":"+0.7272034","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":"Q4793025$D6C554F7-7FBB-47FF-92A5-5EE53D58EF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871cf23a0419c6c45ea7f33de9f3af529f09052a","datavalue":{"value":{"entity-type":"item","numeric-id":5937851,"id":"Q5937851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7dcedeff25e4a0d5d1ea778a162c43ccfe289ab","datavalue":{"value":{"amount":"+0.7257989","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":"Q4793025$73C8901B-2BCD-4248-A4C8-1A4A32ED8F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925f713b5949e782caee552ad32743be90756d29","datavalue":{"value":{"entity-type":"item","numeric-id":673966,"id":"Q673966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6390ff5eb29276f52c0be272a7221b085f8e29b4","datavalue":{"value":{"amount":"+0.7251617","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":"Q4793025$FB5711C8-55C3-4FFF-9010-A231CF576687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbfa6b1ec6017b8eeb4da0e81a5b9975b49bf0d","datavalue":{"value":{"entity-type":"item","numeric-id":5044747,"id":"Q5044747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f603f98d0f68217af24296f09ad2755569d3702c","datavalue":{"value":{"amount":"+0.7244403","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":"Q4793025$2EFAB884-982D-4A66-9CA2-36C8B0C21171","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4793025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4793025"}}}}}