{"entities":{"Q3999386":{"pageid":6029215,"ns":120,"title":"Item:Q3999386","lastrevid":55150114,"modified":"2026-02-04T04:01:27Z","type":"item","id":"Q3999386","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 48365"}},"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":"Q3999386$09A08626-D132-4264-A92B-5407E14B8C3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c928af5db94ba0052696e962b78e99adf7dc6bf7","datavalue":{"value":"0773.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999386$63CAE907-CAB8-4AC8-884C-3C5A123090A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3999386$4ECD3768-BBB3-4E3E-BC27-F9DBC8859440","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999386$DB6044F9-A6AE-4488-B01F-FF8C5D9CC2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999386$99AA22C0-0C8A-4F5C-BE91-59D16E9C84B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999386$CB5D7B55-DCD0-4056-8691-CB3179F34DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999386$69DC45F5-AF34-4E87-817B-4B9DE6B137DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999386$5E192DC2-B17E-415D-B73A-AA40A2D6B58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999386$A2EBE407-A9C5-4F4A-9E30-5FA861D62F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6d1ec52031732a7dc8db0752c0fcd99128394879","datavalue":{"value":"01A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999386$A77E05F8-2CC7-49E6-9CC2-210D06D83692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999386$29A3AB5A-AF4E-4447-BDA4-FF1C46B4160B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e169c98f37c0edd2e93e6a462a67c1a18a1ea15","datavalue":{"value":"48365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999386$105BE9B4-935E-4548-BE83-1C711A3F8535","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$7F227124-78F4-47AD-846C-BB4D20126847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"289b54330d5627361f5c524049f9c1107fa454f5","datavalue":{"value":"closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$7DB3B587-1B56-4F02-8819-094A212D3285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f43ac6ce35810818172a7d6373ba9ac9de747c","datavalue":{"value":"normalization of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$0EC1F4CA-9200-4662-A44A-1DAE704C349F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b1d14384a5cd91a27017b7fad43ff2bf0f1355","datavalue":{"value":"application to computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$C9B9FEAA-1310-46F3-B30F-563C4C31978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"898475932ef459e31bce15136ef2dbb9216790d7","datavalue":{"value":"transfinite derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$CB985EAB-748D-4E35-BEB8-33D5F1130EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c93e3a4b0a461baced0fc60b58763578c1388a31","datavalue":{"value":"reduction sequence for arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$7EADC0B1-8E81-4EA6-818B-AA26E5FE0175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff266112fd65a2cfab3b4907377936a433199ac8","datavalue":{"value":"Gentzen's sequence calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$7F242E94-A061-41C4-9D00-733A969C2FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1158862bb90fd90974e9cf323cecc353a68ceb66","datavalue":{"value":"Heyting predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$5BEC872B-BEB8-40B1-A2C8-603F225E7DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$5453193F-73EA-4AD0-AE7E-674DB9CDD737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954fc46eba711964e4973f5721d8fabd1906e173","datavalue":{"value":"E-theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$41E6B56E-1BCC-41F7-AF56-A6E5D7E0BBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$BC52E724-516E-4313-8EBE-B5277520B208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$1FB8A813-4ADD-4CFF-B008-796311626B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217227ad2f5a290687435bc6e5cbe902eb7b8ca2","datavalue":{"value":"Novikov's hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$ADED60A8-A8F7-458F-A38E-CE38732CD129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$F28AF923-8F5B-418F-A0DC-91314E9B5FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$9C51B29B-618C-4BD5-B20C-2D4AF941880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503c302af729a54f5ef7a384721ee369ee80e6b4","datavalue":{"value":"modal propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999386$B3CF5B94-9EA5-40AF-8DA2-5F578AAD4809","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3999386$8851A844-0745-46A3-83E4-59636800248A","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":"Q3999386$7A27F530-79B9-4C22-966A-ABE6B024ECD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994987affed6b94eb5cc46d1d2593549a13954b6","datavalue":{"value":{"entity-type":"item","numeric-id":3755451,"id":"Q3755451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"793ee6d3c251d16bafb9a6d96817a21d22a89776","datavalue":{"value":{"amount":"+0.848118007183075","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":"Q3999386$B3D4F3EA-EA21-4B8C-BE65-62A83711E4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4596f4b9e3d72e9595f49910610584394c88f846","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39618e6fa1a0f768d97f55a03f55659291561820","datavalue":{"value":{"amount":"+0.7817075848579407","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":"Q3999386$2B371F02-A046-4D33-91E5-FB2C54FAFDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9637894255ae0ad3ecbda8bd9693a61dfae861f0","datavalue":{"value":{"amount":"+0.7739571928977966","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":"Q3999386$1F07FAF1-FBAF-4D54-933D-3202A44FD609","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3999386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3999386"}}}}}