{"entities":{"Q3142168":{"pageid":3152884,"ns":120,"title":"Item:Q3142168","lastrevid":45534334,"modified":"2025-12-10T08:42:06Z","type":"item","id":"Q3142168","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 445161"}},"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":"Q3142168$02E971E2-7171-4248-BDC3-CF8EEEA67080","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3efe3fe676d82c555c39ded8266c0910d9c0117","datavalue":{"value":"0789.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142168$2D48764B-F0C3-480C-A890-32F6D2AA0C11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142168$9DF950C2-A641-44D4-B97A-E6AC647E9977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7749606556d7f0cc2f0d99e82d171059b0e62df","datavalue":{"value":{"time":"+1993-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3142168$339666B1-6FB3-4D40-9670-9F214531D11C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142168$46CC24E3-7261-4BFD-9F00-53C85C0EB02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142168$59CB9F65-7DD9-49AE-B547-1AA0E6D46011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142168$9C9A8B6B-0043-4EA4-87B2-80368A4E9BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142168$06CF4316-4B87-438C-AD27-87CEF4947709","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13b26e9f5c493b9ed00aa7b8d6d366aec8b66c8e","datavalue":{"value":"445161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142168$BB439A98-C635-4148-97EA-D1AF1DA7E4F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"297fbdf11f108bdbac4741c8cc6e2fee413373b9","datavalue":{"value":"computability over abstract strutures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142168$7AF3FFF4-A3C8-4A25-99F1-39FE0AE1C990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f185f2f5a0833a3e41e8059e777e40a0ca1106b","datavalue":{"value":"primitive recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142168$DF8DF245-C694-4A15-856B-3876EB50BA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"768012334d441fc786cd210aaa7b7d4c9ac28e81","datavalue":{"value":"existential quantification in types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142168$FF2DB652-8B82-4FE3-8174-59443DFDE581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d0e3b9337d0219e59508dff6b26b9899b46d837","datavalue":{"value":"halting problem over finite interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142168$ED564F45-2842-41A7-9BA0-4C39FB50BE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142168$5E6A01E9-F6A5-41C6-AD70-CE3874914E95","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":"Q3142168$FEFF184E-5E01-43AA-843C-2BE0FC81137D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e040d9c2b0745b812d15773bc5eeec46ef12cfdb","datavalue":{"value":{"entity-type":"item","numeric-id":6116568,"id":"Q6116568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4715098100da97227637555f13c5b6cc2beebf0c","datavalue":{"value":{"amount":"+0.9185186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142168$450B715D-C29D-415B-ACE6-367A8870BB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395a3be3ec7a1b2fef13f4186bc303ac5b1d182c","datavalue":{"value":{"entity-type":"item","numeric-id":3972839,"id":"Q3972839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3015188fc44d8c6ef59e57de8006d41968047e40","datavalue":{"value":{"amount":"+0.89213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142168$820B8691-F3BD-4561-8021-0CB764442BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a160c3638fc6006d6f11178f060df6e2f26dc3","datavalue":{"value":{"entity-type":"item","numeric-id":5311256,"id":"Q5311256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c3973988a8e72fd86bb38213c8a6a5222ca0ca","datavalue":{"value":{"amount":"+0.8890467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142168$159128CB-F796-496C-A5E8-34134BE42A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6a428810b63d9a8e9b31e51db48c75b9d37e25","datavalue":{"value":{"entity-type":"item","numeric-id":5220181,"id":"Q5220181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216db467cebd4c5138c14502f91cdbac6fdef2d7","datavalue":{"value":{"amount":"+0.8882798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142168$2E88AB7E-B400-4F54-8D76-CA1E2D752772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622d51dc706493176237d6f56355331d44c81130","datavalue":{"value":{"entity-type":"item","numeric-id":2743705,"id":"Q2743705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72b0734568ae6b87bd4654a2610d9647424116b","datavalue":{"value":{"amount":"+0.8852007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142168$39DFE4E8-8231-41FA-8E0A-ECEA3D37DF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2709ad7dde8c85e1ecf2ed3473615a93b5cefc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1176245,"id":"Q1176245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace2ee122d8e5ac556c513244b3d0d03a9aa4d97","datavalue":{"value":{"amount":"+0.8822514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142168$EA30DAF4-A0A1-4092-8EC9-C749424555DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c63c37bd980ab7e2d18ef81b0e6b787e7e76a36","datavalue":{"value":{"entity-type":"item","numeric-id":756435,"id":"Q756435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22dd1b1eecc4aaeea4b8a8d8eda56d70d6d67f23","datavalue":{"value":{"amount":"+0.8812857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142168$7DAD0526-7C7A-46D9-9616-26F9B504854E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218c7c0ba16d2a3f2ccf1d1213c2954d4d526333","datavalue":{"value":{"entity-type":"item","numeric-id":5308090,"id":"Q5308090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37f46d107b02d0c70f9abab8637c90306239ae5","datavalue":{"value":{"amount":"+0.87964004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142168$9FCA4BDA-B29C-426E-B7E5-AF045CA0C1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2d0643a765b2977b238213a4687490501cdea8","datavalue":{"value":{"entity-type":"item","numeric-id":2936766,"id":"Q2936766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e5d8cb7b1ed088326fb8a7e886e3baa769b638","datavalue":{"value":{"amount":"+0.8796399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142168$B753DE56-E67C-433B-ADE7-16B7C50AEFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2abb394675a0b074dfe7372120f9c17eb470562","datavalue":{"value":{"entity-type":"item","numeric-id":5958752,"id":"Q5958752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b8ebb5f6ddd699a6aa794c5eb1cc991a27ea17","datavalue":{"value":{"amount":"+0.8788381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142168$4E30DA3D-3578-4CF1-9406-6730DF6E518E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3142168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3142168"}}}}}