{"entities":{"Q4560353":{"pageid":6589943,"ns":120,"title":"Item:Q4560353","lastrevid":53302421,"modified":"2026-01-24T16:40:23Z","type":"item","id":"Q4560353","labels":{"en":{"language":"en","value":"Inductive inference of recursive functions: complexity bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992064"}},"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":"Q4560353$128DD3C9-485C-4AD4-B8B4-47BFAB6B87F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"778ce5893a6cc90169f97e3465b33d8eece3689a","datavalue":{"value":{"text":"Inductive inference of recursive functions: Complexity bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4560353$EC6390E1-482F-4156-9EDF-7BEEFDA51318","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"651456110d6a5643b21ea4e400f08b085c0888d2","datavalue":{"value":"1415.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560353$89271206-2B4E-4B45-B4C1-6406D28F10C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fa142213f90a9d4e02572b6a22bde2302d48053","datavalue":{"value":{"entity-type":"item","numeric-id":4475116,"id":"Q4475116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$79428576-BA73-4490-B80E-6E571EED14D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a1b024062144599d578c4d162aad677602df6a1","datavalue":{"value":{"entity-type":"item","numeric-id":656589,"id":"Q656589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$007A4C4E-C571-4779-94A6-5ACD2F725B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeec17a9231769d154ed29c673ef43a669a61a1f","datavalue":{"value":{"entity-type":"item","numeric-id":1235147,"id":"Q1235147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$5C8D5245-2EEE-4629-81E3-5378C8700D7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3debad901ba3f2473ce6548d6207f925a5175016","datavalue":{"value":{"entity-type":"item","numeric-id":4560347,"id":"Q4560347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$A8B07000-70B8-4D3A-8022-9538C36CF33F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8096502b9da70fcca6bebcdf976f1e511fee9ef8","datavalue":{"value":{"time":"+2018-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4560353$A26C96ED-FC54-4DD9-9322-BFE5FEA4FB5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560353$415AA9BE-34BC-420F-9752-C12314501D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560353$22351A68-9A12-467E-87DE-6B9C9DAFA6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560353$21EBE5E1-503F-49BC-A783-84E1000B8674","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4798301d2e07fb92a391d7e8d478a35ed3f7086","datavalue":{"value":"6992064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560353$7198B750-9E83-428F-BF7E-B44FE8873CC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560353$D475D28A-80EE-4072-B3E4-12839586024F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560353$5577FC00-D23C-4A0A-88F5-068D90600ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560353$F23737C2-72EA-4E70-A166-19D07AE9D54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560353$238D7D3F-5981-4A5F-9C59-A4A3B01CE074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc7e49bd49371d6a6dffb8419eede4d240ce97c","datavalue":{"value":"prediction strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560353$88091B0C-74DB-4AC5-9293-B77C51FAB82B","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":"Q4560353$ACA31172-24D5-427A-ADE8-37C6F927FA11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f13c2ce0315ebf9725fc3f7a233cd4e3815200f","datavalue":{"value":{"entity-type":"item","numeric-id":5685065,"id":"Q5685065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$7ACA055F-F212-4A54-B4C3-7C3DB64A08E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7934a125b0b824190cb36ece5bfa367d9213a4a6","datavalue":{"value":{"entity-type":"item","numeric-id":2557559,"id":"Q2557559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$281CFAA0-6309-4CB0-8B8D-325D44B562F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a751d0f37d5fc2008a6adf95fa6a8b18a0560d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5679689,"id":"Q5679689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$841B20FF-F520-483E-B874-B48BF1219854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$B82F0D0A-A68B-4C1E-872F-DD2F173B5389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c5f4a456f9910b4c4f2a1d73e4561be8a5dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":3214803,"id":"Q3214803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$8A087765-A049-4043-948B-A013EEDA611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d835ee117c223f312f6f4c72a0f83b421ea958","datavalue":{"value":{"entity-type":"item","numeric-id":5633933,"id":"Q5633933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$BD5BAD17-8A01-4500-95DF-D5B1711662A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9378de5a0a0174e80abfaa815d7ab9b5a8ee4fac","datavalue":{"value":{"entity-type":"item","numeric-id":4108307,"id":"Q4108307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$E1BE5BCD-BEDA-4025-A750-841E4B9FC790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f8ab6ff2256bfe68e986258d40954a838a4f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4155834,"id":"Q4155834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$21431405-2F29-4DCA-A14F-0C9200057128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f39348ee98fd6c64c1831412e84e8b99ad8e55","datavalue":{"value":{"entity-type":"item","numeric-id":4155804,"id":"Q4155804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$948B8CF5-3590-445A-ABDC-BF5A9E7CA14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560353$21D12F07-AAF5-4390-BA81-D0664D24CF75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e65a8243195eb58913f2bbc2f5e585d601bb0eab","datavalue":{"value":"https://doi.org/10.1007/bfb0019358","type":"string"},"datatype":"url"},"type":"statement","id":"Q4560353$C81D643D-A1A1-4CA4-88B8-E28E1E1D575E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37f871f8f79620ba8e23940af7ad91b4096fb8dd","datavalue":{"value":"W1590972739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560353$0D614DFA-124C-4C88-B9C3-D2E08C2610A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"678f47bca1dcab896048aeda26a9ab90e4f2cbc7","datavalue":{"value":"10.1007/BFB0019358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560353$300BB3AC-17F8-42E9-B8E6-2DAD1D43D4C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39aa71b1da75c372807347614b8509752217f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4470530,"id":"Q4470530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17eb4d54d9e6e0bfa803e3c317b6871d14b7bf87","datavalue":{"value":{"amount":"+0.9076952934265136","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":"Q4560353$B714CE37-7D85-4A86-961F-07CEFE88C223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e68669674890b233b08a33c874b4693fdb263c5","datavalue":{"value":{"entity-type":"item","numeric-id":4415451,"id":"Q4415451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194aad8a6d47cf5a92e37d9834e49f94ba1df5d5","datavalue":{"value":{"amount":"+0.8405576944351196","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":"Q4560353$6AF98668-5CBF-4A1D-B709-D18AEA3DD6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5819e9eb5119f898078cad600da7745f9ee23f","datavalue":{"value":{"entity-type":"item","numeric-id":3832071,"id":"Q3832071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f123c3df3e9249cca47d8a64403d6dddcbe8dab","datavalue":{"value":{"amount":"+0.8129713535308838","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":"Q4560353$CCF5C2D4-D191-43F3-B525-2E56B3E28421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1deeaa4c7370f29ff5ce12c5631af5e6e78f833","datavalue":{"value":{"entity-type":"item","numeric-id":4560352,"id":"Q4560352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b5d7f1f1532cd7a10df3be291af332fb09b501","datavalue":{"value":{"amount":"+0.8125437498092651","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":"Q4560353$5F082AFB-CFD3-4B0B-8C29-2DA762890987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488b22f917855105be683c1697d50ca707b142b9","datavalue":{"value":{"entity-type":"item","numeric-id":760795,"id":"Q760795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ad719e9a7446489e1c5a6ac59f4cfe30b053bb","datavalue":{"value":{"amount":"+0.8019590377807617","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":"Q4560353$BE6C298C-8BD1-4A2A-A998-38F4F109F0D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4560353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4560353"}}}}}