{"entities":{"Q4247313":{"pageid":6276914,"ns":120,"title":"Item:Q4247313","lastrevid":46825848,"modified":"2025-12-25T16:21:41Z","type":"item","id":"Q4247313","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302068"}},"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":"Q4247313$CF1A2611-D937-4AED-91A9-F2B978024A4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28b0e0f15a4999e865509b84303156abb5b55471","datavalue":{"value":"0930.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247313$55E52B4D-9BEF-4BA6-8899-707898632388","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247313$52AF0626-BA67-4230-AA46-627800CD8D59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247313$97DB674F-BB45-4280-8CD2-03F3EA72CF3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247313$CBFE91EF-5771-443A-AD44-FC48E4480D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247313$BC99DE11-93F6-4A47-BFF7-B1E34D2CABA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81224552868f765ae02f72c13c5771bc4cbab5ed","datavalue":{"value":"1302068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247313$FE9BF8F3-E91E-4E8A-93A7-E0003F0F40B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247313$75DAC176-5E30-4769-A728-F84317194AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247313$286F5C02-AA73-4AF3-94FB-259EB56477BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247313$588464C3-7386-4D91-AE9B-575892894CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45723ace74d34ba037ff032d998497da6b68345f","datavalue":{"value":"proof-theoretically strong theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247313$C53F5F75-F4B2-4E5B-9F81-BB8CB16EBFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247313$ACC49CEC-56CF-411C-9AC2-BE73B6B62442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518a3ee65dcfab669ba4d9d11a07cb86586a812d","datavalue":{"value":"well-ordering proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247313$6FD17728-DB23-4EF0-9353-9F44463D4FFB","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":"Q4247313$D6BC55C6-4DA0-42BB-8F6A-CD11179AED78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c0867e245a452e44f078e1a0c502914012c5dc","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffce6b5d224fee00ba9bbc88f791a3ce994b7939","datavalue":{"value":{"amount":"+0.8963639140129089","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":"Q4247313$FE946FDD-9EC9-42BC-BAB2-BA5545E0CED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c700c00cfaf31e5a7d9e0e561fb4b9541cb82b","datavalue":{"value":{"entity-type":"item","numeric-id":4715478,"id":"Q4715478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28da629b5eca0526b67360d4f72a0cb09f16346","datavalue":{"value":{"amount":"+0.8190175890922546","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":"Q4247313$A6CF4832-D164-4360-9A99-050A55C30C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb277504941c4a8f757fa4055d9a94b5bd7e3f0","datavalue":{"value":{"entity-type":"item","numeric-id":1976875,"id":"Q1976875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606518639844909c3d3b8019f555115e206e70d9","datavalue":{"value":{"amount":"+0.7919310927391052","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":"Q4247313$95227474-990D-4D7F-84AC-8CDBF7F1D96F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247313"}}}}}