{"entities":{"Q4457724":{"pageid":6487323,"ns":120,"title":"Item:Q4457724","lastrevid":48262528,"modified":"2026-01-04T04:00:55Z","type":"item","id":"Q4457724","labels":{"en":{"language":"en","value":"On the induction schema for decidable predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2061944"}},"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":"Q4457724$CB55BC87-EFA0-4FDA-B6F2-7CEA72CF538B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"122afdc023c944baf9abfe9ddf9630ca69eee3ac","datavalue":{"value":{"text":"On the induction schema for decidable predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4457724$B9706F70-6859-41B8-9AF4-C645067AAEC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"932a346d2743b3e347c49cda37429766f7ef41ae","datavalue":{"value":"1041.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457724$2262014B-31E8-4B69-A9AC-E731E59CA69B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457724$4B962BF6-A14E-4CC5-AFA5-6ECAC49BEDFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"389b767007343732466af50d3ede33c114d8b0f3","datavalue":{"value":{"time":"+2004-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4457724$67DF8D01-9141-403A-9108-9BA57084DDC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2b1863509626e94d0f211e975931d616fb2c553","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26979","type":"string"},"datatype":"url"},"type":"statement","id":"Q4457724$16E78247-9848-40D5-9D3F-3434DFBC6E3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457724$7B54FD84-24FB-414E-8570-D0473887E898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457724$4989B92E-1B22-4095-87BF-6B69D831B79E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48f22560b8af952469d56386251b5ceaaff8123e","datavalue":{"value":"2061944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457724$996EC1DB-4A52-4CC2-9EA7-9BDA447BB833","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b4e3322cb82908b88ae367670e0d8ee43eef88","datavalue":{"value":"fragment of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457724$5C422B8A-CD68-4A71-AC27-4A36B9F99092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb82a6bb049eca827530aea8e4ff9bb2ba33b1cd","datavalue":{"value":"induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457724$5FD1330B-42D1-4DDC-9370-5F703CE7D821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b221adf212761f594bb91e890c032c0591803b5","datavalue":{"value":"decidable predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457724$CBD40AAC-9984-4AF9-B317-903C80E2DBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e46314cfa8cb6be7be4fab9aab3a25b165f997","datavalue":{"value":"oracle computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457724$EF6328E8-0105-46E4-93AD-99B59D1747B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"319323729f51a3b6963007880eddd8f2a5de31fc","datavalue":{"value":"least element principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457724$B41296BB-0650-489D-8DE5-A272C95DFFCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457724$FA786717-BC76-4962-BEE5-CE499634E73A","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":"Q4457724$03FD3FEF-A355-4B7F-944D-F0F985A8DC93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbf9bed24618d5f9ab36ce571e70cc9b8f60d173","datavalue":{"value":"W2079353347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457724$4FBD5856-14B0-4BE2-97E6-098836F8197F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457724$BA3238A0-4CD9-4EC0-A0C0-99AC7B08F8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457724$2BA09B25-3C8D-42DB-BBA1-CACD8CEAD7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d640f99df8711dfe677d32555a8bcdd9bf6d7ff","datavalue":{"value":{"entity-type":"item","numeric-id":1267837,"id":"Q1267837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457724$B53058B9-8C0E-40A2-8E73-8AD5C8D8ED4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f95a6ca44fcb1a94a5df4e0ae099ca02707fe4ad","datavalue":{"value":"10.2178/JSL/1045861504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457724$231569FD-376E-4201-A5B5-D13229E5D97B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6c2d27059a49c8eede01e7ea78ec4a0b68765d","datavalue":{"value":{"entity-type":"item","numeric-id":2449854,"id":"Q2449854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5cabaf9165be4231bc3e1b92420b5dc9b1a078","datavalue":{"value":{"amount":"+0.7805145382881165","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":"Q4457724$DCDE0519-A998-40F3-A0DE-9F2AC76BF2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26116b242829566b0f8eaf836fe0abdd9ecba33a","datavalue":{"value":{"entity-type":"item","numeric-id":701734,"id":"Q701734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6289009972c95a94b2dbd5eacba0a3375d23ebfc","datavalue":{"value":{"amount":"+0.7458314299583435","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":"Q4457724$41DDE282-9489-4912-8D7C-510B1795FF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b62945c6d8a0180fd7ebd6c1dbcd8df77ffce7d","datavalue":{"value":{"entity-type":"item","numeric-id":2453069,"id":"Q2453069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad358bee43543d3e3246f936a2ab3de762e56fc","datavalue":{"value":{"amount":"+0.7432180643081665","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":"Q4457724$59120BE5-429A-4898-9A28-26AC7CF32685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b21d37809dcc9bae91f5e08cf5d8ac8b5937844","datavalue":{"value":{"entity-type":"item","numeric-id":701746,"id":"Q701746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21380d3791d9b47a42530f41a15208b2d8d29db3","datavalue":{"value":{"amount":"+0.7427494525909424","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":"Q4457724$F19F0F09-22F7-4959-AB27-71315E31C1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e10244a15f9aa573de4acf00e2c6a49f977b13","datavalue":{"value":{"entity-type":"item","numeric-id":3140638,"id":"Q3140638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104246a0b71b69eacc2f065b1ba16fe49862ca20","datavalue":{"value":{"amount":"+0.7406367063522339","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":"Q4457724$3C7F5DC8-93DD-488A-B9D6-8BB3277E1163","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4457724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4457724"}}}}}