{"entities":{"Q4198752":{"pageid":6228353,"ns":120,"title":"Item:Q4198752","lastrevid":28418595,"modified":"2024-03-05T13:42:20Z","type":"item","id":"Q4198752","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3637861"}},"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":"Q4198752$C9157248-273A-4F12-9E91-8365E2C03960","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e799f55daf6815b246752078869b0f8e29b054d","datavalue":{"value":"0411.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198752$C6E69869-50AF-4F2B-A53D-309595B5D3DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd19df90689677c5397c0740db5d3f48f7a8b48","datavalue":{"value":{"entity-type":"item","numeric-id":235608,"id":"Q235608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198752$534E60EF-D7DF-462F-9B95-55EB5C733325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q4198752$2766D416-55E3-45DB-BC28-764D0CA7BB38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198752$ABBF8AED-6A0C-426F-BDDD-CF272C36EA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198752$9D392655-17D5-499A-87D6-F80FF9AD7C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198752$18CA7F3C-663E-4EE4-938B-3F3698F165E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0216c7d8d00356e26aa74a97585f7499bd9a6107","datavalue":{"value":"3637861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198752$F761EC5A-ADB4-4974-AD7B-2A49245E7A47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700eef866aa4e19545201b4f95f033280f1fb969","datavalue":{"value":"conservative rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198752$B7BAD357-687B-4064-9917-94F20E29BAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bded246a734ce499b119400eda073f30a31cc63f","datavalue":{"value":"intuitionistic second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198752$E1A5B25F-6405-48BD-80A5-547B4D95A7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8c05f04e23d98793cf44f497c78ae9997fb9f5","datavalue":{"value":"continuity rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198752$E47BD87A-DD9E-4E80-B071-E042CD83A718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a641fee26ea187bc8d7389aecd926bdb85b6a56a","datavalue":{"value":"fan rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198752$24B17342-6585-4487-B581-CF6E45555A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a27aa21361b666eac4fd83c1e98f8b8de2ad360e","datavalue":{"value":"provable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198752$98950DE7-5CC7-499C-B6A1-97DD12800525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9a9f0349c257ee41f6b27ed27115aaa8d62b018","datavalue":{"value":"transfinite induction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198752$38774AD7-6DA5-4149-AC1A-54ECC63A305E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ada5e92fef2ef1f1537cfe6f48bee07c6ad91e41","datavalue":{"value":"bar induction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198752$4C32A236-E2D2-4CBE-9E4D-BFE1E7FCFFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e53aa526fec1730a8db10c3dc293ea4a18f08e5","datavalue":{"value":"Markov's rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198752$6929A076-24CA-4FAC-BAD8-A9207175BA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a787c4c2b4fd8a0abf372e0a6c86be2ffab29616","datavalue":{"value":"extended Church's rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198752$420150DA-5B9C-4321-992E-03CC0A6CB826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8bc31c314d5d0bc758d21c21c5ec1118a6bc6","datavalue":{"value":"normal form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198752$3375296E-5F44-4359-9CE7-AB95C5B42FA1","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":"Q4198752$DBB3F43C-E557-448E-B85E-D53C0BE48C3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4198752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4198752"}}}}}