{"entities":{"Q4227553":{"pageid":6257154,"ns":120,"title":"Item:Q4227553","lastrevid":46628277,"modified":"2025-12-25T07:11:36Z","type":"item","id":"Q4227553","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1254485"}},"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":"Q4227553$EA6F8ACE-959B-4E9D-A597-8C4D8792E347","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94cfe6a5c0ea607e5ec53944464f63bb3e962e24","datavalue":{"value":"0922.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227553$941F017F-7FB3-4AB4-8F6C-BDEDC719DEDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11ccbe912ffb975ca7bc39c70be5fdf808a7c2cc","datavalue":{"value":{"entity-type":"item","numeric-id":853815,"id":"Q853815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227553$731CA3D7-FEE3-4CE6-A88A-FC745170BA52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e90f29d2f3fc65271ba46d1d5a774d3a90f9f0f","datavalue":{"value":{"time":"+1999-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4227553$94BFD2D3-802A-43C8-86D9-E126690446EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227553$F9F648F3-2ED1-48DB-85FA-258B0BF1AAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227553$60040351-89DD-4D2B-890D-05B90BF6BEB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8343295da68629e06f2a409f884538bcf69c9816","datavalue":{"value":"1254485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227553$3904A15D-7620-44ED-9792-2AE0BDDA8F7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d22ec7141708544a7d19b7a2cf384335063e2d","datavalue":{"value":"definitionist programme of predicativist mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227553$4AF56EDA-66B0-488C-82E0-3E0DB6D05323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36dd94384ef773757011f33bb4d10f9d6d88859b","datavalue":{"value":"liberalized version","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227553$D88A2B02-8AF1-4246-A70E-F87DF8B7CD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db8186576c044bf016df6bdb27f8b4aab658d34","datavalue":{"value":"nominalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227553$0ACFB3F3-5E69-42BB-AD6F-F9F9AB6087AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec1e7a2cf3f5bd7c7a687d261f69757c705ff636","datavalue":{"value":"predicative flexible type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227553$F9A3C846-F159-4DFE-89C4-AA68318E800F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35ff6247f8269676332dfc27f74d777fb84d69df","datavalue":{"value":"modal-structuralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227553$A4B015DC-12D2-4E80-87EF-250E6406F41D","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":"Q4227553$7C0DE648-6EE2-440C-8B83-F312E5B53B47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272313af8942f91ece587e35831d89f88376d027","datavalue":{"value":{"entity-type":"item","numeric-id":4883907,"id":"Q4883907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2916589c9e16da1dd44bcbf368586fb32ccb8acc","datavalue":{"value":{"amount":"+0.7505993247032166","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":"Q4227553$2F3DAD94-DDF3-4CCD-91AC-3C1EC5ED2D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28933d85809bf819a1b0272ef49abfc01cbad378","datavalue":{"value":{"entity-type":"item","numeric-id":4861496,"id":"Q4861496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337933201213db3f726508b257bd1fee1d3140a5","datavalue":{"value":{"amount":"+0.7368568181991577","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":"Q4227553$271A1C75-169A-47C5-AA50-8971EC0F2EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55ce2daea37edb6db93a993eb8ec988b8a0a8b2","datavalue":{"value":{"entity-type":"item","numeric-id":735349,"id":"Q735349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31822b5033103065f8b2eb75cda0d812c7a46cfe","datavalue":{"value":{"amount":"+0.7216843962669373","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":"Q4227553$711FD874-C46E-4326-8420-498D8C3BB30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4f3b56e2ef2a206bd1a535c37ea784197a5ac3","datavalue":{"value":{"entity-type":"item","numeric-id":5149707,"id":"Q5149707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e034bc87f8c5dd61ad4bc6f399586be7628b8d4","datavalue":{"value":{"amount":"+0.7207332849502563","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":"Q4227553$12846665-E45B-4148-B890-C18852A4106B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f102e22515341a2c73151161ee415b7a7f994a","datavalue":{"value":{"entity-type":"item","numeric-id":4277728,"id":"Q4277728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704b12ad53624836d9f405792cb83584b097d8a2","datavalue":{"value":{"amount":"+0.7056464552879333","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":"Q4227553$17A1381F-458C-4725-9CC6-977E55EBDA15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4227553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4227553"}}}}}