{"entities":{"Q4598249":{"pageid":6627834,"ns":120,"title":"Item:Q4598249","lastrevid":41731651,"modified":"2025-05-07T16:47:34Z","type":"item","id":"Q4598249","labels":{"en":{"language":"en","value":"The decidable properties of subrecursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820297"}},"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":"Q4598249$9AAB8868-9B76-4A05-8020-23ADA66510B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddf9d93e445ad231602d18ec3083e61cc8503433","datavalue":{"value":"1388.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598249$601EC671-FCE5-47D2-95AB-D0BCF7FF9CD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72fd48acaa84d7826cd50a971b3c8781ec7710d1","datavalue":{"value":{"entity-type":"item","numeric-id":418116,"id":"Q418116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598249$6AE8EC64-B681-4F78-88AB-0AA281BD5988","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598249$94154BEF-F9D1-4C71-8B7F-56B2ABBCDCEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598249$9003D6BC-E3CE-4A39-ACE9-956377E4176F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598249$B75F511F-E66C-4551-A68E-C71521408B6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"408bc47230b2ab5a304dc3dd0c43357c1cf35ce2","datavalue":{"value":"6820297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598249$B49DB493-C9F6-4069-91CF-8507577005F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9201a29b9e8acbcaaade01cfec6bc3c510840ca2","datavalue":{"value":"Rice theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598249$F1FC13D2-5C58-4B2D-8A7C-EAC2E7FBBD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc5109b0934150fbb044483c9e132a94c586f54","datavalue":{"value":"subrecursive class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598249$2B9D599C-00A4-40D9-93C1-042660469EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fefb34a06f03a7ed093316ef4d21f66c0aad8350","datavalue":{"value":"decidable property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598249$4E5FEC85-C991-4955-A647-DD1947D2DECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598249$FB0636E0-5783-4410-8011-0DFB390756DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36601898435060895c19f09d27050c9d8e0b1880","datavalue":{"value":"compressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598249$43131B3B-C803-45E3-AC9D-39CADDD917E9","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":"Q4598249$B59966E6-A54F-4C20-B9CD-C41A84E64DB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52c912958ed2534a8b7d1e7ce6f751d3b7c0c947","datavalue":{"value":"https://hal.inria.fr/hal-01308224","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598249$D10144DE-6D17-40FB-99C3-36FAAF40A9BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6200120e345d2e4ff29847048c1f087386af67c4","datavalue":{"value":"W2537783236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598249$8FC0117A-0B58-4F56-8147-2668D381FAD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf63e4ec23a6fcc0d62969b24b651be59aecc4ce","datavalue":{"value":{"text":"The decidable properties of subrecursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598249$0AE34B3C-DC3A-4581-838C-7D70A285877D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a81c4dc083138bc930ad79f76e03a524acbc3bc","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598249$95F67938-FE07-4615-968B-424D2DE0F61A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9619c380d42de506d72012bd6c44db005cc64d9","datavalue":{"value":{"entity-type":"item","numeric-id":4536867,"id":"Q4536867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74bee614f993361e480d7fb6a656623d7cdcfa6a","datavalue":{"value":{"amount":"+0.9104908","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":"Q4598249$BDF7045A-10ED-4259-B89D-2AFAABBDD0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15c4c6fb96d98623239c84f0311546b9ae21c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3710516,"id":"Q3710516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe96cf75fd3f771c38c3d5f6ec6c655c77bb484","datavalue":{"value":{"amount":"+0.90405786","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":"Q4598249$DEEE78C5-B45C-416E-93B5-C64C3DD64C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69dd44470c1d3c4edbb207956a27fcec32945fea","datavalue":{"value":{"entity-type":"item","numeric-id":3585163,"id":"Q3585163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a9193f9856215426f735e2812f6d435d32225f","datavalue":{"value":{"amount":"+0.8915569","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":"Q4598249$8E875C35-62D1-4D6F-9286-E638FB5A8135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25daef25126dc5b4e0aeb99f071b47cfe363a307","datavalue":{"value":{"entity-type":"item","numeric-id":3794172,"id":"Q3794172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c64267ab32fe19a4b80993826e24c4b020bbb79","datavalue":{"value":{"amount":"+0.88851583","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":"Q4598249$78A7D60B-D8FF-40E6-843F-110604610843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3961881daedb1be6dbd20244f964d63eb204b8","datavalue":{"value":{"entity-type":"item","numeric-id":3773319,"id":"Q3773319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de4863a76276e4221288ee078609ca7d82389e6","datavalue":{"value":{"amount":"+0.8877623","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":"Q4598249$CF1F2FE0-2621-4DFB-85F8-6D7D10CAE211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79fa301ca3b9d0ed08642c13eeca5c919abeb2df","datavalue":{"value":{"entity-type":"item","numeric-id":2858322,"id":"Q2858322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dff25aa133556d20c4ab15e1aa0b83574f8fdd7","datavalue":{"value":{"amount":"+0.8842157","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":"Q4598249$EFB7490A-CFF6-47B8-8B87-68CBB6F8673A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674c8d2e483ad4c9ff34046d000855fef47dd3cf","datavalue":{"value":{"entity-type":"item","numeric-id":1399975,"id":"Q1399975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37674631c6612b3b32979f727ec355963dcb4ec7","datavalue":{"value":{"amount":"+0.88022685","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":"Q4598249$34A797D3-2268-4D3D-8EA3-D9908358C63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f4065245cfc70d190859c251bd4a6ee3fb27dc","datavalue":{"value":{"entity-type":"item","numeric-id":5278312,"id":"Q5278312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a229c784d1d38ec7e85c81cccc4f935559299b","datavalue":{"value":{"amount":"+0.87510383","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":"Q4598249$23A42655-4E80-40C5-9E25-750BA6F70377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35428fc5eb9bbc7852d769eadcc8ee6dd95b1279","datavalue":{"value":{"entity-type":"item","numeric-id":2880785,"id":"Q2880785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d134b29a2f78563ccc6a5be24a312e516b69799","datavalue":{"value":{"amount":"+0.87362266","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":"Q4598249$18B63E1D-4384-4E25-9D24-DA548A5111CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e183db274deea4b9757e43dd5a601747b3bdff6","datavalue":{"value":{"entity-type":"item","numeric-id":2945875,"id":"Q2945875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f6ef2cacb7e56c21c7a2e2350a42881b170c1f","datavalue":{"value":{"amount":"+0.86821246","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":"Q4598249$71F076C1-9C60-45A0-A464-200012089FA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598249"}}}}}