{"entities":{"Q5387883":{"pageid":7417457,"ns":120,"title":"Item:Q5387883","lastrevid":101151614,"modified":"2026-06-06T00:00:26Z","type":"item","id":"Q5387883","labels":{"en":{"language":"en","value":"Inductive Decidability Using Implicit Induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279565"}},"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":"Q5387883$7211B55A-C76A-4F1A-87CA-3CB86792581D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f61503c7daed44dcb02753a5557074a343fdec43","datavalue":{"value":{"text":"Inductive Decidability Using Implicit Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387883$FF159814-6297-471F-80B5-474DC5FC4664","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eeb3bbcde698f8887cef095ef733557fcb6d1eb","datavalue":{"value":"1165.03313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387883$C7244A26-7BF6-4E01-ABF8-52124D92484E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d665cafc15a0a10271ed9fc038880612e969e8b0","datavalue":{"value":"10.1007/11916277_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387883$CC33003A-A1AE-4BA8-B80D-B15F6ABBB39C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4884ea388d9a1b061adeca7a34ce809061266cfb","datavalue":{"value":{"entity-type":"item","numeric-id":877835,"id":"Q877835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387883$0D334484-0335-47AA-8202-DE76A76ECCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387883$85E23EEA-F7E3-45EA-A0C7-209AFE605D4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387883$E290C166-64BA-4CE1-BA07-5D6E95AC3C60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387883$2393137E-9A94-4468-BD39-37DFEC89A263","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387883$4E8E7804-5FD3-45D1-A1E1-E764132F8807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387883$A3ACA92E-737D-4B52-BB4B-71FCCAB2F564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387883$3C5E4285-6A97-4D6F-80C2-7D16049DBAAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ba7d8e03e938c9785c1eade334726120b1982e6","datavalue":{"value":"5279565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387883$7ABFA8BE-E31B-4B81-A8EE-1E2F7A80BAC7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387883$4AEC163B-D708-4F75-A546-47B582BF30EE","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":"Q5387883$82C3D913-E2AD-45D8-AF69-82FF958CD7D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a30471e27fa019d1eb130b5be5825737d3043c6b","datavalue":{"value":"https://doi.org/10.1007/11916277_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387883$A975D572-0BD1-4C29-99AF-6CB9104D91AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4ad8d6a14a59686ed280fd10149a63e4d65ac40","datavalue":{"value":"W1543930431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387883$51FB8591-6E68-41B6-A84B-CB9FA2FB0CA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c23463ce18af4c444365a390b715c4475749158","datavalue":{"value":{"entity-type":"item","numeric-id":2723430,"id":"Q2723430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fd40c8103f455fdaddb215567077596f330f59","datavalue":{"value":{"amount":"+0.8268539309501648","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":"Q5387883$AE6F73BD-965C-4A3B-9F79-C0F9854B6DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d97bab009359a69f6aba70a8416f3d9c2262960","datavalue":{"value":{"entity-type":"item","numeric-id":2738486,"id":"Q2738486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fd40c8103f455fdaddb215567077596f330f59","datavalue":{"value":{"amount":"+0.8268539309501648","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":"Q5387883$0DBBC53C-7A73-4B05-9267-57016BBEC7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a2fd3f79023f6659ae94a662c81407b52a991a","datavalue":{"value":{"entity-type":"item","numeric-id":4539635,"id":"Q4539635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fce5f9ac78df3f1ecea36f303e8642922781d3","datavalue":{"value":{"amount":"+0.8188595771789551","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":"Q5387883$7AF4C1F7-D717-4EA2-B501-3B7541E1F209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7d735419626eb1f77676addd2c45daf5ec44a7","datavalue":{"value":{"entity-type":"item","numeric-id":5896944,"id":"Q5896944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fce5f9ac78df3f1ecea36f303e8642922781d3","datavalue":{"value":{"amount":"+0.8188595771789551","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":"Q5387883$C3759325-BF6B-489B-B027-0511B8DEF677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904181582e9db5f13343bbb896d848cf85c3db9d","datavalue":{"value":{"entity-type":"item","numeric-id":3021913,"id":"Q3021913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd2e098d7523f6723f1f4e2cb6d8efc309082c8","datavalue":{"value":{"amount":"+0.8133294582366943","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":"Q5387883$7C90D4B8-3F9E-43C8-8D00-471F23092212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive Decidability Using Implicit Induction","badges":[]}}}}}