{"entities":{"Q4397047":{"pageid":6426646,"ns":120,"title":"Item:Q4397047","lastrevid":46567209,"modified":"2025-12-25T01:23:01Z","type":"item","id":"Q4397047","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1169395"}},"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":"Q4397047$4B04D306-CDEA-418A-BA88-064AD8D20788","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"452ef1e8ee24cabc5ecd4f552a266d0d693de2f2","datavalue":{"value":"0895.01006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397047$E42E2E17-2C4C-4D02-99B8-166021161734","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d52ac3468168b6d57078b674dd0db9d8701d0f12","datavalue":{"value":{"time":"+1998-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4397047$724EA06C-9CBB-435F-BC66-56E7996CB1B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397047$AE47CAB4-1709-430E-AFF4-8FB91C422865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397047$2D4E93F3-AA1B-44D2-8E31-077C84C38D24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e87de4d24ead9ea5fa64e6e3a9060a795e6c8601","datavalue":{"value":"1169395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397047$E8D268B8-19C1-4CDE-B200-2E715285E572","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46284be9e4f8cbbead42267f6066f6ef2f0bf9fa","datavalue":{"value":"reminiscences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397047$0640CBE4-5347-4E3F-BC7E-B598729D4625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c45eaa836a692eee92c8b29324849b228a3212db","datavalue":{"value":"modells of intuitionistic Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397047$CE9EC17A-B8AD-41C0-89A4-E8E09D3B05D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edea3b5e3d66b5ca9535be00d9ce4af1baf14984","datavalue":{"value":"isols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397047$748873FB-2C52-4B3C-A4B2-A47DFE97CAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2c3df5767334ee51df84cbaab9b0577cbaae0bc","datavalue":{"value":"higher order intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397047$EF85D4AF-A1E6-477E-B182-3051B0697B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12b54fbce172e741ce08b18554ee415c60837430","datavalue":{"value":"recursion theory on the ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397047$CDF0CED9-8BC3-43E2-B226-6E184FA59C22","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":"Q4397047$88D5914B-C3FE-4F3A-812A-79E0D180C006","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4397047$A24D344A-EF85-4F25-965A-58E88D0212C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c3d70e90e274b463cf044699e68699e636f211","datavalue":{"value":{"entity-type":"item","numeric-id":2785428,"id":"Q2785428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91be495ec4f429caa1bc33bf81c731288ea2b4b","datavalue":{"value":{"amount":"+0.8235007524490356","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":"Q4397047$FCA2B3B3-EC23-4DAB-8BCF-DEF811904154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9beb84e55a68f2711109ce92abff7756341da1c3","datavalue":{"value":{"entity-type":"item","numeric-id":5119557,"id":"Q5119557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b3c01f62098146e07e581eddaac3f47a738c75","datavalue":{"value":{"amount":"+0.7876599431037903","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":"Q4397047$CE1500DA-096B-4F40-BFFA-8E00BDCE1C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2837aa6693822c8f596475e77640d0d742b6c505","datavalue":{"value":{"entity-type":"item","numeric-id":4397042,"id":"Q4397042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11ff077fc68c12e0a657b8323fb14c076c272955","datavalue":{"value":{"amount":"+0.7840973138809204","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":"Q4397047$BFC52786-E2E7-4337-B9F9-C47E684CCCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866e7d60a6bd40631936bac4c352db84d3ce62bb","datavalue":{"value":{"entity-type":"item","numeric-id":4397039,"id":"Q4397039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7375de39061fe25a9607ef44eeb3a6cbd3237730","datavalue":{"value":{"amount":"+0.7820194363594055","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":"Q4397047$7B233AE5-0791-43CC-AEA2-1C12A166A9B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4397047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4397047"}}}}}