{"entities":{"Q4895355":{"pageid":6924934,"ns":120,"title":"Item:Q4895355","lastrevid":46400988,"modified":"2025-12-24T17:19:10Z","type":"item","id":"Q4895355","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 934870"}},"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":"Q4895355$EB4BC6B2-F817-48B0-8D25-A14B54DB95A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9621f4c0ab1bd4fb07b0885692dcef01045e330","datavalue":{"value":"0896.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895355$464DD3F7-E45C-4B96-AF55-2954102076C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87c3e3b2ec497a54777723f516b57d715fefe115","datavalue":{"value":{"time":"+1996-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4895355$2F7F404A-68D2-439D-98F8-CCE84CC971F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895355$688F0401-6EAD-48D2-8187-D9213A4F5A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895355$E0F1C6DE-3876-43F7-907C-8F3E9FD27414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895355$FCBB7574-113B-452C-91DD-253D44E265D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895355$0235F084-945B-43EB-91B5-C0F9292A5DBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b30ade4c1d3827d77af5334044c8c0f1c6e1bd6","datavalue":{"value":"934870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895355$2D934433-18BD-41C9-A412-8E8E4B01FB06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0765e65356fbe21988bb33a689b6f9824530b0fa","datavalue":{"value":"partial recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895355$0D30801B-6219-4478-A2D2-5BA618BAADAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1df7ff348e3e198bd06643ba67c638994551eb","datavalue":{"value":"recursively enumerable relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895355$3E8B1EB5-7E76-4F83-A510-86B9BFC25AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895355$7E609066-F31E-401D-AC03-17E0A243735B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79584bb8db619ccdd8a3763c884f1f86fb65e887","datavalue":{"value":"Gandy theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895355$A56A1B1B-A37F-4E7F-8D5F-08E15F26FCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bec1f1985c68fbb0c4b0ca1513695fff96ec1e5","datavalue":{"value":"G\u00f6del incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895355$EF1449BA-C378-4418-80FC-04C21ACF4ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bea455436aa698911c3a9a8b038aacaea9669cb8","datavalue":{"value":"semantic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895355$E4FD21F2-1BED-4DE0-86CD-898CECD19907","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":"Q4895355$9CE67F59-667D-4C94-B112-0A7556E198CD","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":"Q4895355$C85E0BC3-0BB1-46C7-A786-658236697EA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c5bb1b11c4585d1243238f101c927dc4447ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4882531,"id":"Q4882531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30c95fcfd35ded3027f2a1bdf26871b501c89de","datavalue":{"value":{"amount":"+0.8159406781196594","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":"Q4895355$7FB734E1-6EA3-4DA5-82A4-5AF1A8F091B2","rank":"normal"},{"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":"ba11d3f032c9c825613288c62f0c9fed8a680149","datavalue":{"value":{"amount":"+0.7836220264434814","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":"Q4895355$D98DD5F3-18D0-4C48-A96A-9F58559A5762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747926ebc36a5550fddc3c55feebb2327bb1a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":3998241,"id":"Q3998241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aefae5d84b2509591856c7f2594c668223eb26e","datavalue":{"value":{"amount":"+0.7737991213798523","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":"Q4895355$5986120B-9486-4498-BFF8-7BBE6C11C0AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4895355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4895355"}}}}}