{"entities":{"Q3724327":{"pageid":5754233,"ns":120,"title":"Item:Q3724327","lastrevid":50734715,"modified":"2026-01-14T23:47:19Z","type":"item","id":"Q3724327","labels":{"en":{"language":"en","value":"K\u00f6nig's lemma, the \u03c9-Rule and primitive recursive arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954901"}},"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":"Q3724327$1389FB39-CC07-4667-A761-E612D260959C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af5a6401cbe29091ea5cf7a17c2780672b2cd321","datavalue":{"value":{"text":"K\u00f6nig's lemma, the \u03c9-Rule and primitive recursive arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3724327$936EDCA0-2FBF-4630-BB7E-C5B345B1C9C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e620177cc06a9a97156885ee2612ed98413bcef","datavalue":{"value":"0594.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724327$6227FA73-80CD-472A-A79C-9EE388500B55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdd57dee5b07715368494726627bf827e98aacbb","datavalue":{"value":"10.1007/BF02007557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724327$1A35CD0B-E113-43A4-8F89-1CA710064460","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724327$1F490D9B-5939-4029-8025-ACA2AA7AECCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3724327$AE8C7272-288A-4076-8144-91F482D573FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae9f554680e7c6728ae141c96d8b4cfc3896be1c","datavalue":{"value":"https://eudml.org/doc/138038","type":"string"},"datatype":"url"},"type":"statement","id":"Q3724327$7D77E9C6-2B8C-4997-B142-5FD0F36277C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724327$3B0AE94E-71F3-4C1F-B437-7E1EBA05B838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724327$9138EBAA-BB0C-4F0E-96C4-78AE234DA771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af5e5ca7713d6303e606b4e2e8e6a065ef3349a5","datavalue":{"value":"3954901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724327$6045604F-9813-4266-BAA4-64828918C454","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724327$F70EAD4D-0BE8-48E2-8CE0-087523BE4946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6184b748b4482fe26a9aeccbed53926280da9829","datavalue":{"value":"infinitary inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724327$7532FF2A-1C95-40D3-869F-DDDE1857D33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f6513da07f955593a72683f0b4cf7e6a48be35","datavalue":{"value":"infinite derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724327$442A9BDE-9513-4A08-B01D-7B28CAA4BE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6192c96fe4d3bda562e59b7ad61306d805e8b41e","datavalue":{"value":"finite derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724327$57F294D4-79C4-44F8-A31D-FBDDD8D45159","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":"Q3724327$4C660BCC-3A61-4DDC-A437-C157AB7C34A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"311436dae170469d2ca741b15b04c00dabc7ac6c","datavalue":{"value":"Q124808997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724327$7E317356-DBC7-45E1-993B-E72AF77F1E10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724327$3439AE28-06C9-4A25-8E34-8BDE5EF2D47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e587d123df0cfa4b612e47b66a61df7ec71d36ad","datavalue":{"value":{"entity-type":"item","numeric-id":3318773,"id":"Q3318773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724327$960D0157-97EB-440E-AA57-8C0B46CEF915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbab2b7d1f3671e912aa877cbe2ba846e7989411","datavalue":{"value":{"entity-type":"item","numeric-id":3233196,"id":"Q3233196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724327$B65919ED-3FD7-4B4B-BB0B-58285CCBEE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a31652f30ee05544850592905d3ff797bda713e","datavalue":{"value":{"entity-type":"item","numeric-id":5343335,"id":"Q5343335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724327$6906C36D-0756-4262-999F-1024FABDFC28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8209b2c4dd4334881ffa1ce0a9a3b778ce99860b","datavalue":{"value":"W2082196855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724327$A49C45E0-8E22-46BD-A7E7-395E425BBC95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba423d59bafa06b8a776b37ada6bf919ebfda381","datavalue":{"value":{"entity-type":"item","numeric-id":3318773,"id":"Q3318773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba646012f6006760e9b41b1c66565f2b00026dc","datavalue":{"value":{"amount":"+0.8262593150138855","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":"Q3724327$DFFB2B84-A195-4968-A396-B26FC01E7BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a70ecf6905bf625ce4e76970bd590e0725c1bf","datavalue":{"value":{"entity-type":"item","numeric-id":3824312,"id":"Q3824312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe9896b210f8f07e18f4f76d70aa309bf7efe96","datavalue":{"value":{"amount":"+0.7704830765724182","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":"Q3724327$D0DAC052-C552-4C94-AF30-65576D8A7A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f367c129f098e59b690e7d301431418b7e3dd231","datavalue":{"value":{"entity-type":"item","numeric-id":5957854,"id":"Q5957854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f34fb7e2ffd4c9bf19e724313c73ddea2bb1c48","datavalue":{"value":{"amount":"+0.7531496286392212","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":"Q3724327$7CA2C2DF-172E-48A9-A715-9811B4541F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e849409d2dc92d1a7de81ab11634c28f3d952d62","datavalue":{"value":{"entity-type":"item","numeric-id":1119627,"id":"Q1119627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6666e910d410f97115c3a97941f614b42b0d5d","datavalue":{"value":{"amount":"+0.753149151802063","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":"Q3724327$F8040966-B7BA-4F48-B5D8-191396A5B92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e65ac90d4a760ad3fa17f4954ea5b53436616c5","datavalue":{"value":{"entity-type":"item","numeric-id":5108095,"id":"Q5108095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc6e5533053e0713b3b330e208923da4bbaa2b6","datavalue":{"value":{"amount":"+0.7312557101249695","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":"Q3724327$66333E17-2296-4E46-A785-F092D402C412","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3724327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3724327"}}}}}