{"entities":{"Q4934564":{"pageid":6964146,"ns":120,"title":"Item:Q4934564","lastrevid":47433562,"modified":"2026-01-01T18:02:53Z","type":"item","id":"Q4934564","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1390277"}},"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":"Q4934564$5D681318-4B8C-4985-8057-0F450C466DAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1567ede110ea0495164e6d86617870673964b9d4","datavalue":{"value":"0946.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934564$90A5CAB7-B489-4BC5-B212-E38B70FF58AD","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":"Q4934564$D8A0C645-0CFF-471D-9913-F37FE6F72858","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ef890dfeb8a9229b999acfe053455ccc4909577","datavalue":{"value":{"time":"+2000-10-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":"Q4934564$4294CBA7-2B54-43A1-BDA4-10011995E8BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934564$527A8E5F-1538-4C54-AE17-719C36277FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934564$8A9CF89B-4329-41FB-B956-0EEB818D55FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934564$DDF9B567-ADFD-48FA-B10E-DDBDA3E39DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934564$605FDF12-79D4-4A64-AB47-99A820487CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934564$4A2F366B-BC70-479C-82AF-827F600E7F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934564$EC9BD2F3-78D2-446A-B76F-AD5FD199C969","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"deffdb66b289a89f357a1f2e5fa04c01c501eff7","datavalue":{"value":"1390277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934564$2821C150-25D5-4AC7-9CB5-82E6AF65C72A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0086636a950b16671ee70a7cf0c8d7bd32c90720","datavalue":{"value":"survey lecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$DC232D2C-76FB-4D57-95AC-36C01417FCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$F274EECB-E121-4390-AF40-4E22FF95E5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7d8152317640fe8e36023532c4b7c9a4f480f0a","datavalue":{"value":"collapsing function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$C6FFA275-A68A-42A7-A4C7-45382DB31F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$B79E1618-A973-46C8-8675-30873552B7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc9634e2c4f95f0ff04acc2068cffb177a1aceca","datavalue":{"value":"ramified set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$71C05383-5323-41C7-89CB-610678A98DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100cb8b2f90e7da7e61f1500b567b425f782d28c","datavalue":{"value":"operator-controlled derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$BD3ACCD0-F28C-489F-BFFA-759ACD895F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a15b3db88100d06cd7d6437f510149d023b503","datavalue":{"value":"history of proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$79F3BB05-B2CC-43C8-8F02-E578C07D874B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$DCB21008-FF48-47DF-9CED-3B179FF33777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e3bbdd99c4d4fadecef51303f81f60e5ed70baf","datavalue":{"value":"combinatorial principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$75848F6A-3ED1-418A-B6DF-F86849279C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd92bec0b2b4125182a090d2ebebd3825b15c7e3","datavalue":{"value":"Hercules-hydra game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$F95F2020-4835-4E22-8A7E-8C4A79B7D79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9320fd280e1fee8a27612ebbde5e7ad236c63d2f","datavalue":{"value":"graph minor theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934564$BE91FFEF-AF9B-487C-BC77-A6F9F0977A4B","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":"Q4934564$AF38D092-89CE-4511-885F-6C12CDAF57A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cfb1500e19d25d1e06c6df0b28ac01d9bbfb102","datavalue":{"value":{"entity-type":"item","numeric-id":5489367,"id":"Q5489367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc71eda09861accb1ee1a3d5febe40da9dc5b8f","datavalue":{"value":{"amount":"+0.8467440605163574","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":"Q4934564$B5289B38-C356-4D5F-9775-2E2B03D80AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d5d85e8a86e494044875dc0fcd2d948a95c99e","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1c3b1bb68d85f12d18fea463c6696242c58fde","datavalue":{"value":{"amount":"+0.8385218977928162","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":"Q4934564$7B6860A0-5571-4A0D-BB4D-E38D57A50C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b1dc6e396f4d398e8d9631206e9766f4ebbc85","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988297ed50fa97003889522c6c0c81090ff2be1c","datavalue":{"value":{"amount":"+0.8299576640129089","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":"Q4934564$BC9F9CB7-374B-427D-9C72-83943B3E79CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c551c20ece18e2c0d9d505fb59ec739d5c02723","datavalue":{"value":{"entity-type":"item","numeric-id":4281248,"id":"Q4281248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b183a48a2281f78b680f560e282af847c71de6","datavalue":{"value":{"amount":"+0.8288134336471558","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":"Q4934564$7C6A3C02-A009-425C-B9AB-22D4F58BAA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed96ea9ca2d0e684435b511a04d1ce0ca272408d","datavalue":{"value":{"entity-type":"item","numeric-id":3138827,"id":"Q3138827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23fc3b8c8011ceb26643f2207cd09c434adaac6","datavalue":{"value":{"amount":"+0.8281373977661133","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":"Q4934564$D8385B8C-31FF-42CF-9F0D-F861D5EDDF43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934564"}}}}}