{"entities":{"Q4944846":{"pageid":6974428,"ns":120,"title":"Item:Q4944846","lastrevid":47466895,"modified":"2026-01-01T20:03:33Z","type":"item","id":"Q4944846","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420782"}},"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":"Q4944846$1CA500B8-155B-4907-B85B-8077D8264162","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4a15adb07376163cabb856e9291a29685315797","datavalue":{"value":"0944.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944846$816006C7-2402-4DFA-8497-C19485518181","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"828127614e1e8bf8a1bb479b3284a4822ec68a2f","datavalue":{"value":{"entity-type":"item","numeric-id":636294,"id":"Q636294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944846$A778251D-E705-45FA-B6C5-0D6B075675B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a175ccc37a14b3ca79afe1248bd0b3c945a52ef8","datavalue":{"value":{"time":"+2000-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4944846$C5A0C111-0DDE-40D6-AB1B-035A00046416","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944846$01867D9D-3C56-48E0-95ED-8583759254A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944846$74DB9B79-D2CB-4C90-A1BA-3BB056E8F098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944846$F59CFAFD-D718-4585-8F4A-E1A2D9608704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944846$62F0BCD3-8E97-46BC-B01F-A23A38A1EC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944846$8B3F3CA4-BB37-4436-8D5A-70E99C2D1E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944846$DD5177E4-32A4-49F2-8728-1CF48437A5B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c62ececf3f884b904aec3bf9d473b4729feb436e","datavalue":{"value":"1420782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944846$BA27B5B6-03F2-4343-B4DB-1D2637CA154B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$58B0F977-34C3-4F70-A92A-11FFC5949B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2653b7e8a78ef69247ee6d7bc13f6a069ffa6e","datavalue":{"value":"proof development systems Lego and Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$2B84EBB3-59CF-41E3-BE40-05A25026427E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$E5A925E1-31A1-49E5-B461-23F9B003B841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ede81d56975588fe1035024cb597730228721afb","datavalue":{"value":"types-as-sets interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$EC5CBE01-8CB5-4E95-80B5-3388B08F09B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$B264B730-7A71-4091-9C5E-B7C12418AD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c78e309b92d0882812ddc92a10486a655a4937e5","datavalue":{"value":"type universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$E25257F5-EC4F-4791-854D-7D4F69B95EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83bfc76b8aea6ac33bd8daed90d8d939ecef60da","datavalue":{"value":"classical set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$9E73902E-F362-4623-AD57-0A08BC5F1016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5d245bedbbd00e2a48d50a97b0d53723af0be7","datavalue":{"value":"inaccessible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$77C7F005-231B-40F3-B361-EEC82B8163CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1338282542f24f08287fbf08ccb2e56e33e0fd","datavalue":{"value":"inaccessible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$D6280424-7590-4A12-8B0A-08C3F158349E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$75769002-EC4C-40AF-89E8-50D2D8BA29EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e89a89b094bac4832e68165f68a6998a9d7f96de","datavalue":{"value":"sets-as-trees interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944846$44FF156A-CE75-4750-8958-9AD9542E2DB5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944846$A5DC7787-D60D-4F32-BA6B-893169CA8604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944846$A8B22810-6693-401D-B6A5-C124C4B98F23","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":"Q4944846$2808B11A-7B6A-4E2C-9B74-4BA5A02AD0D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987426f0edc2b73241476cd3831ccd91e4d85d1f","datavalue":{"value":{"amount":"+0.8430383801460266","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":"Q4944846$05408B7B-E922-44F9-8DC2-80422EC824F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c995985ab517bc18c9b297f34f20ce89e9265e4","datavalue":{"value":{"entity-type":"item","numeric-id":5457304,"id":"Q5457304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f759ee415118635ae29cd93164125dd8475cf2","datavalue":{"value":{"amount":"+0.8350719809532166","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":"Q4944846$64DCA3B2-8914-4493-B9F8-98B737AE65B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93f1a193eead903bffcd6270708864c38c07b90","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6832a91cfa7a1180b083c13ae93385fe7df96cc","datavalue":{"value":{"amount":"+0.8337026238441467","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":"Q4944846$A8C1EF49-BC7D-48D4-BC99-FAE2293257F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a06a118e525f62d2a195296ad3c9186e936cf64","datavalue":{"value":{"entity-type":"item","numeric-id":5253934,"id":"Q5253934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1538aa0370f76b0a9ed3b9644a6f5bdf276c7c0d","datavalue":{"value":{"amount":"+0.8236945867538452","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":"Q4944846$914AE284-3392-42D1-92CA-EBAA36BE3F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfd99d9c223eb0f3fc5e26de01873d6f72966b3","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419d008a664bbc978359d14c2a87ae9aadb0dd25","datavalue":{"value":{"amount":"+0.8224075436592102","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":"Q4944846$A970CD5C-134B-4598-96AD-5C803298BB69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4944846","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4944846"}}}}}