{"entities":{"Q3138834":{"pageid":3149550,"ns":120,"title":"Item:Q3138834","lastrevid":47196943,"modified":"2025-12-31T23:42:53Z","type":"item","id":"Q3138834","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 432707"}},"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":"Q3138834$6ABBE97C-34EA-4F66-8A63-B4330CCB5418","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ded15fb4794688263c30b68b445c95d7e644c270","datavalue":{"value":"0791.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138834$5E760F5D-ACDE-4361-BFBD-3E715ED6F34F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138834$D9BCD6B6-09B8-4E35-B0BE-CA76DE07B0C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8db3fc0a2a1510d48c144800b5b724b46b6297ec","datavalue":{"value":{"time":"+1994-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138834$A69941C8-1526-42D5-B6B2-8CE9C49E3B65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138834$8871923C-F8AE-4C60-B310-58B0A397E114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138834$E3D9D826-5095-4713-B7D6-4E4DA4D9CD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138834$F4D0FB76-7356-4D0E-AA22-D02913F3CF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138834$E6AFDB9C-D5AD-42C8-9C0E-BAF3C3A6334B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138834$3CEA7AB4-5C6E-4A60-843D-640E7A7DFEAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"631233ca47787ac8f94063bdc97276c766a5cc92","datavalue":{"value":"432707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138834$F0852A0A-8D54-4963-81BC-D374B4063680","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138834$1994B97B-9FFE-4B27-B4D8-3B5829C6CB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138834$7A27010C-70EA-411C-A2E1-4CFD3E2488D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b51a52215acf828579264d170cd64e79e27652","datavalue":{"value":"foundation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138834$69145DB3-9CCB-4397-BC6C-EF8979160F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f954813402c0b268d9a5046b979e40e41cb0cc5","datavalue":{"value":"foundation scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138834$49A2122F-D0FC-4BF2-A186-38B4138555D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e359ed813678ec07068b8037fa146b6ab7443df","datavalue":{"value":"proof-theoretic ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138834$EE046BAA-39C1-498F-A3FD-A754F76F86D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed9fa50edfa4c0d4e61c94ce75a2af26e9d7d414","datavalue":{"value":"provably set recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138834$011F55DF-901A-4427-8453-F14060916CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad7c785f9832cd4613b881d7a86688956364f90","datavalue":{"value":"admissible set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138834$42DF866A-946F-4CDE-91EA-BF6BEE6862AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51dc15bfe3b9ef9eb3448ef8885126f944a1a461","datavalue":{"value":"infinitary proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138834$5A4FFE62-B1EE-484C-9585-A9093DC86D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138834$B59E101A-61C1-4393-B9DE-8E790AEF529B","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":"Q3138834$AE707B91-D1B9-4ECE-A6CF-BA61201BAEAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e58f71ef4cef6805ccb4fd6554587f9f39ffe76","datavalue":{"value":{"entity-type":"item","numeric-id":334991,"id":"Q334991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a9afcebde7bf8b48d8100c572b412c3b8decb4","datavalue":{"value":{"amount":"+0.8152663111686707","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":"Q3138834$AB0B1F8C-E722-4F49-9924-246190D19AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10dc965eaeb916ba7c8fbd7e9853e6f5401e7606","datavalue":{"value":{"entity-type":"item","numeric-id":1080422,"id":"Q1080422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6d14bd9fa7ed37799715599aa6ec0442225f90","datavalue":{"value":{"amount":"+0.8103448152542114","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":"Q3138834$E7CA1748-70E2-49CC-A9DD-59E72A01DBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02017d1ddbd3f42489a5926df824ef02e02bb5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3803109,"id":"Q3803109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8ba5cf88e00a67005f5e595f7fd7da3b315ad5","datavalue":{"value":{"amount":"+0.7935166358947754","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":"Q3138834$8A3080B6-FC16-4F42-A6E5-5DC7280E1B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dba0f48503a8031c48d522594725b0ba94f4130","datavalue":{"value":{"entity-type":"item","numeric-id":3710526,"id":"Q3710526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6195bf2f10da98049712121260ebdb6f053fe931","datavalue":{"value":{"amount":"+0.7908310294151306","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":"Q3138834$7A63D05B-3D3E-4A00-AC3B-0D6313641FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c624b72c13aa5f3be328ff1fd0228e85e013af5","datavalue":{"value":{"entity-type":"item","numeric-id":4254688,"id":"Q4254688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e04a49b506c7becee7a825b7d8be729ae2787a","datavalue":{"value":{"amount":"+0.777658224105835","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":"Q3138834$B87A74D2-1E92-4257-849D-2FA21191E2EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138834"}}}}}