{"entities":{"Q4882531":{"pageid":6912110,"ns":120,"title":"Item:Q4882531","lastrevid":46380036,"modified":"2025-12-24T16:24:12Z","type":"item","id":"Q4882531","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 890268"}},"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":"Q4882531$557434D4-337C-49B8-ADA1-21EA9085E8A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4819c1372f7dfaa16301fc8a35281353e04b8c11","datavalue":{"value":"0870.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882531$87EFC904-9999-4FBA-ADAF-1E4F76B39D3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a9ac108536f3c309e9b3d5701fd44ae212270d9","datavalue":{"value":{"time":"+1996-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4882531$B281A4DD-B3AC-401C-95BB-DD21DA188055","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882531$8B24DAE0-0442-462B-943F-8FCE069903C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882531$20A685D7-FA90-4152-8D30-AA47B0697405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882531$F99EF9BB-4DB0-40CF-92FE-D009D02F396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882531$76D8C8B4-DB03-40CC-A7E1-5C081AC1FEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882531$5872F68E-4BC5-49E9-BC74-002FF85F5B30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"478afc23bd4fd397f59e4c538210c0c94581b791","datavalue":{"value":"890268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882531$43EF87F1-3AC1-42EF-A284-F55D9FBA89D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dd90b00ebd0976f717370d211d7f9c05943a630","datavalue":{"value":"generalized computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$B61FD96A-BC05-451E-A0BA-00746D6A7B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6de154e6ee8ff6b8ff1dfb674703da76e2e3f30","datavalue":{"value":"hereditary finite superstructure over a structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$CC485580-ECF3-4FF8-85B6-59232EB142A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543edc3fb370371a8d9b05610ff7ab083c69c9d7","datavalue":{"value":"\\(\\Sigma\\)-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$7DC8C2CE-338D-494A-BB99-71D9CB8FA18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bec1f1985c68fbb0c4b0ca1513695fff96ec1e5","datavalue":{"value":"G\u00f6del incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$7F19E748-A290-4D0B-B702-0901A649401F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d11c361075957b1a0cbc6b59f3af29f21feef930","datavalue":{"value":"computability on admissible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$D5F39D1C-BEEF-4603-95BA-F89CC4267FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18158a184f5ee1dd3eb2867606d9a8a056658920","datavalue":{"value":"\\(\\Sigma\\)-reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$AE2D38AA-7470-4867-B32D-3311E784DB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5a07a9176a29fcc20cd8486eda19b41b160793a","datavalue":{"value":"\\(\\Sigma\\)-collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$546213A3-1AF7-4214-AAEE-4F7AC15A712F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"504f0417b5a772b729e7e66dc82bb23d2bc7ac39","datavalue":{"value":"\\(\\Delta\\)-separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$67EB3075-B861-4D0B-AFC3-09730520CC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e448b4f769a8bec636d834e401d7a7633b34b1b","datavalue":{"value":"KPU-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$D4DCA520-0BC5-4027-B94D-EFEA319CBF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d29265bb663c86588f0556af8833b564c844eb7","datavalue":{"value":"recursively saturated systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$DC83D84A-A3A3-43F4-9FCF-FA9093B90EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad75e4eb462543dc68f63e9debb9790801486efb","datavalue":{"value":"constructive algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$74ACD954-AE9F-47A3-BB1A-0310E5157240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ffca0e2c2be7979191a376b2aff9ff3964428e","datavalue":{"value":"models definable in admissible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$FAA66D3D-3F59-4DA7-9509-E1A97EDFAD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$8B54CA6D-45E9-4814-A84D-BDAAF01AC3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"250f0bb5ab0d7024dc8790e00c338032ec305801","datavalue":{"value":"computable numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$617E07BE-50C3-4AA8-B438-C31A729D180C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2719afbe5519a58e2254362c0b19835e3045ce6a","datavalue":{"value":"f-spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882531$2673B122-CA54-4255-9E7B-AB78E04B29A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03039664f86d7517c30a64acbdad4c2f746ab89","datavalue":{"value":{"entity-type":"item","numeric-id":431715,"id":"Q431715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882531$8277ACBC-D396-4EAB-821E-C902997F1933","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":"Q4882531$BA6F104A-83A9-422A-9022-2D6A402FB0BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8d3a40286496ad3dba624bcf602244a47adc50","datavalue":{"value":{"entity-type":"item","numeric-id":4895089,"id":"Q4895089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c2d92438b4cf7eb32a83ec51011b5347854a28","datavalue":{"value":{"amount":"+0.9197211265563964","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":"Q4882531$E3D392AB-968A-4A37-A06B-3A0924F7DC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef92fa4734afe9cc9472ca90377d2caa5e48e7d","datavalue":{"value":{"entity-type":"item","numeric-id":4895355,"id":"Q4895355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7d11b253f6f24081c348d2484d2fffa73525b4","datavalue":{"value":{"amount":"+0.8152124285697937","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":"Q4882531$83048737-04B0-4DFE-B7D8-EEAD79DEB0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d938a3445f5f3467852a4850adc46fdd9a8b23c","datavalue":{"value":{"entity-type":"item","numeric-id":4944918,"id":"Q4944918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7ad666a84c6cf90cd0a0b3e89976b34cc85f5f","datavalue":{"value":{"amount":"+0.77262943983078","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":"Q4882531$A20B0B5F-615B-4792-B1C6-D46C74BC33BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4882531","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4882531"}}}}}