{"entities":{"Q4560352":{"pageid":6589942,"ns":120,"title":"Item:Q4560352","lastrevid":53302418,"modified":"2026-01-24T16:40:23Z","type":"item","id":"Q4560352","labels":{"en":{"language":"en","value":"Inductive inference of recursive functions: qualitative theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992063"}},"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":"Q4560352$05EDE9C9-0EF8-4823-871E-954C5A8E86E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e57e3af13cb295891a5577b265fbd86687509d26","datavalue":{"value":{"text":"Inductive inference of recursive functions: Qualitative theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4560352$13D88805-1854-430C-A045-915B2B543641","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"866ff89b45787436129442c92e2cab1d1686371c","datavalue":{"value":"1415.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560352$29B34691-E56A-4F63-888A-866FE466C6DD","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":"Q4560352$82F100CA-C361-420F-B4C4-7DDBFC6853A5","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":"Q4560352$2E9F7C57-46D9-4063-9223-0B415130632C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560352$59D04122-11CD-434B-B310-699AA170E4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560352$6B1938F0-B1D6-4310-9A26-2855736A86A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560352$2EAB2CE4-C625-4FA8-9966-CCF0453A7D24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d70c624f6a5b2d108d1ec0d7ac201cb2ad77f98e","datavalue":{"value":"6992063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560352$CF9AF318-C8B8-4D63-A531-618F9F047F41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560352$8FD00051-8E67-4BB7-AEFC-2FF8AE69B7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560352$923D3A05-012C-4D73-A5D2-E3F84FC5772F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560352$0EFCF9FB-FA1D-419D-B5B4-10A390CDE710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adbe50ac686271afc3fea18e0a1f832787cba320","datavalue":{"value":"identification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560352$B4123773-A92D-4D7C-9BEC-21415B6B3262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a67b95fec50cc1a7d9a06d82752c3ce5f5af41d","datavalue":{"value":"total function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560352$7A6AA4A7-BDDF-4BF1-969B-16AD9E9BDD9E","rank":"normal"}],"P16":[{"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":"Q4560352$FBB99F3B-039B-4A8A-9A42-DE5B002CE24A","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":"Q4560352$ACB7A037-E4A3-4343-A6CD-B84A09E3F4C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f8f270759f121fe9a342c0f63387b788ca96b6","datavalue":{"value":{"entity-type":"item","numeric-id":5670562,"id":"Q5670562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560352$30752BC3-FC88-407B-BF51-EA77B1A24AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4345013f8ef2397bf199269ba5db1a54ffffb","datavalue":{"value":{"entity-type":"item","numeric-id":3260571,"id":"Q3260571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560352$CDBA4EAC-F7BB-4A1E-8C50-B20BF368FC16","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":"Q4560352$0D51F835-B6FF-465F-BF0A-8845B089F147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b99d9984e1bf6563c993818e5d8760689dfecc","datavalue":{"value":{"entity-type":"item","numeric-id":4154549,"id":"Q4154549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560352$06B282D2-66B6-41DD-93C1-B9D0488A5330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec0250c7accc3266792f0f7832822baf13942ef","datavalue":{"value":{"entity-type":"item","numeric-id":3679164,"id":"Q3679164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560352$AECD89E1-CFCB-417E-9D9B-CEA9C6B572C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec600f49c89e5c60e8b0a39fb042a95c73861829","datavalue":{"value":{"entity-type":"item","numeric-id":4096931,"id":"Q4096931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560352$E37FE32E-B15E-4E1B-A6E3-75E2FFAE7D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186861780eab49220bbfbae7666b266f31ff3c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3260572,"id":"Q3260572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560352$CDC5C1D1-9EC7-48B9-B620-76B987731434","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":"Q4560352$6A7A35CE-9391-4BDC-922C-2269370F902D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffeb253077017578b514058dad4897c327ae3f54","datavalue":{"value":{"entity-type":"item","numeric-id":3960153,"id":"Q3960153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560352$C22B7E43-0352-4877-8986-E180268C7682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d6978917f0ff58cf2559a82e9e98e7a05553f0","datavalue":{"value":{"entity-type":"item","numeric-id":4154072,"id":"Q4154072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560352$7F65D5FA-17CB-4B8B-BC37-26479B166E45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2b385e0deb051b6aaf62e5cfd4979ca5cca2a8c","datavalue":{"value":"10.1007/BFB0019357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560352$45F33CC3-86CC-4AF2-A731-9E9445341967","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958575676e970330408a0b22ca12e8d6d934b703","datavalue":{"value":{"entity-type":"item","numeric-id":4282560,"id":"Q4282560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b921527b2bb196a72bca16fdc63bd7b598cdf691","datavalue":{"value":{"amount":"+0.8330896496772766","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":"Q4560352$102D7A33-7DC5-4CB3-94BC-EB35372EDBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937952af6082be28ef6e3e7db3679e79d6a1f875","datavalue":{"value":{"entity-type":"item","numeric-id":4560353,"id":"Q4560353"},"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":"Q4560352$D3427D73-9AF4-4E9B-97C7-D134E0C0BC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97638378b73362db741f2e6e679e4a221a01902","datavalue":{"value":{"entity-type":"item","numeric-id":4470537,"id":"Q4470537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7acb3cc23fcc68ae349ee87060172a1bd43deb09","datavalue":{"value":{"amount":"+0.8095564246177673","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":"Q4560352$59A3EB9D-5441-4871-A7E9-1FF06DDEDF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db770352cf4916b5ded14f71c239ee98fb39de83","datavalue":{"value":{"entity-type":"item","numeric-id":4804173,"id":"Q4804173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d65dbb533e145fd9837a2da1302c9827dbe2b92","datavalue":{"value":{"amount":"+0.8027564883232117","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":"Q4560352$D4187746-316F-4F3E-BB5C-180CBFCB7DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fb583c10a2e37ace830aa86028afad77d03c64","datavalue":{"value":{"entity-type":"item","numeric-id":3720585,"id":"Q3720585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc5228c69cc451baff772b3bb16dcc45eef8662","datavalue":{"value":{"amount":"+0.7984793782234192","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":"Q4560352$A7584167-25E9-4B5D-A139-E315C6D70AFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4560352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4560352"}}}}}