{"entities":{"Q598276":{"pageid":600052,"ns":120,"title":"Item:Q598276","lastrevid":42601657,"modified":"2025-07-04T12:59:51Z","type":"item","id":"Q598276","labels":{"en":{"language":"en","value":"Computational inductive definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083177"}},"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":"Q598276$37B22B00-F184-4256-9AE0-EC80A84311DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"039a485c7aa58c0765310782a326aac4a5dddeed","datavalue":{"value":{"text":"Computational inductive definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598276$83D28620-3C54-4266-B454-0F3661C4C993","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55cb64bb91020c36c76361904b7f1e186427cf79","datavalue":{"value":"1052.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598276$CE164846-BFEE-4A56-9AC7-9344C8DAC0B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$07CB5492-3DFF-4A6D-9B8D-F9F62479E198","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$1DEBB5C1-4E38-4D34-8249-EEED33CB1D79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598276$EBAA7096-98A1-4042-8C23-582AFF77A053","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598276$CEE28A0D-73B4-4932-A250-281F5D56005A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598276$313A89B1-C6BC-4EDB-AA18-41EDAB780E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598276$2872FA2F-800F-4940-B473-B272F6B5EF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598276$9997396F-32FA-4E80-A170-A7D940C5192C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96bc57ac382cde17fb6f34cbd0cb6c2a5f0773fd","datavalue":{"value":"2083177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598276$C40A7479-2FC9-4B3B-A536-DEF311564D6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a2b0585d15aab5f072e0c2467508be5ab44e311","datavalue":{"value":"IND programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q598276$4C201C0B-DA68-4DA4-9544-A17512DDB707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea7ebef872b9545bef320e4db165525de2f5bb3c","datavalue":{"value":"Inductive definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q598276$131EFB66-14B5-4CED-B0FC-B745038C78B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed2d57ca829624b9569e391df73c5c19ebc947c4","datavalue":{"value":"Hereditarily finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q598276$ECBB683D-FDC1-4A17-912A-57396C825A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"990c2b7ca14a1bb5529ea41e9ed566669d9b71b7","datavalue":{"value":"Descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q598276$C63067F5-9CFF-4291-85E5-FE9B66AA79AB","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":"Q598276$82753159-D3E9-4D94-AC89-CC534F83F132","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e3bf8227b96c1cb628de029ec49ade1978af34d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.10.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q598276$42BFB9EF-A3A7-4643-B21F-954D69DBF5F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9729832d5dcfaa79944bbd5ab1685b3b4edea65","datavalue":{"value":"W2085030882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598276$018E74E4-61C6-41B6-8867-66AD6ABBBB44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$A08787F0-D2C6-45B8-8471-6156066A5C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f133b74af7d5821d23702be11600a40ece90371a","datavalue":{"value":{"entity-type":"item","numeric-id":5645404,"id":"Q5645404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$70C46DC3-7DEE-41A2-8129-073078D9E7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$4B7F5278-33DD-4A2A-8C35-34F728E44A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d05b0ea78a6511b1349be27693f99b501d3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":3953160,"id":"Q3953160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$DFD1932A-0B91-421C-A9CB-846DDE48772B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451e4670e349b30bf00735806c505c29fb4dea2b","datavalue":{"value":{"entity-type":"item","numeric-id":3719820,"id":"Q3719820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$CB8CABEF-108F-4B42-9455-5CB22747A769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$8FF4D98B-C117-48AB-960B-2D15AC8CF32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b153c8c27841e1303134abcef0ca02f0dc5006f8","datavalue":{"value":{"entity-type":"item","numeric-id":3968454,"id":"Q3968454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$4E208AEF-2760-428B-A3FA-0453B77CBDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc93f1905aca30772b1662792642b6ffa5f1eaf7","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$25E8D4F0-8E0B-4A8B-A60C-7114453E2075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab358c92256243f420d7acaf3d76a80fa6e7b63","datavalue":{"value":{"entity-type":"item","numeric-id":5622175,"id":"Q5622175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$99E51CB4-7078-4F00-9050-E4051168430A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$774E4ABB-B48D-40BF-99A7-FA8651EEDC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$85D295CF-7113-4B55-824D-6E5AEF51853E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a143e54b8aee374dbfcd789cfc7fa367c0c156","datavalue":{"value":{"entity-type":"item","numeric-id":3735076,"id":"Q3735076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$0D2A5DA5-1A10-48DB-8B22-82D3789311B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4d67b53a17dd07831a9aaca5b0909b8fe384e7","datavalue":{"value":{"entity-type":"item","numeric-id":3785901,"id":"Q3785901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$44505EAD-A163-4104-BE7C-292141E48805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839a6f57b149f110b5c566af6a9f7de6e8fa93a7","datavalue":{"value":{"entity-type":"item","numeric-id":1085154,"id":"Q1085154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598276$15534A83-81E4-46CE-A228-C3CD47BABCDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6845438d63b4d6c4c270c4bdbf8b5a86e0274837","datavalue":{"value":"10.1016/J.APAL.2003.10.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598276$C8570F15-481A-47F4-8A7A-C6D7FA552426","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d10f11fe749798e65bb57b8c876ab0e11257a8","datavalue":{"value":{"entity-type":"item","numeric-id":5717025,"id":"Q5717025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9319ea0a5259f8a907580ec8b91fda5ce6d82e6b","datavalue":{"value":{"amount":"+0.9319861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598276$468C8383-37EA-4834-9478-D72C622D8504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e97a483c1c3705256f3d1c7f651f0f8f29471d","datavalue":{"value":{"entity-type":"item","numeric-id":4661264,"id":"Q4661264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02a72356c7249e6dd6ba0ab7f057a65ee9ef355","datavalue":{"value":{"amount":"+0.9294744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598276$D533126D-1E55-4A82-B8B7-1E4132BEAB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56fe48c1661c239a94bf4d8f44558741bf185f9","datavalue":{"value":{"entity-type":"item","numeric-id":4993085,"id":"Q4993085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980ece2188d6ff76f05283821e75a87f1bb764ee","datavalue":{"value":{"amount":"+0.92133254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598276$62559239-D4C8-4599-A5AA-74CF308479C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b86df24e6d3e495f5e8e4e4820f0cc7e60391a","datavalue":{"value":{"entity-type":"item","numeric-id":4247256,"id":"Q4247256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484d7b8b1752b722436f46140764e9e3d0cac7fc","datavalue":{"value":{"amount":"+0.92047006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598276$48ED0060-6AD0-4DBC-8077-0A1EC7AADA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e609831f63c44202ca3170dd0548e6c4bad0d6","datavalue":{"value":{"entity-type":"item","numeric-id":3422019,"id":"Q3422019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a6d837692b45d0be1c0e79a2692f73eaa33018","datavalue":{"value":{"amount":"+0.9095065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598276$841C1B99-2FC0-47E6-96D8-D85A32ADABB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414eb19b016ab38233798115a30f4d1e125a2689","datavalue":{"value":{"entity-type":"item","numeric-id":4486652,"id":"Q4486652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dd41a8c5d45058753e3585bb0c090f3592ad3a","datavalue":{"value":{"amount":"+0.9036391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598276$8A11F4FC-551E-425B-96E8-73ED385B9EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841ab43fd166006981c37d12b18869c97d21a37c","datavalue":{"value":{"entity-type":"item","numeric-id":5622176,"id":"Q5622176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d51386efee69f4019b022d9344b675cef63cae0","datavalue":{"value":{"amount":"+0.90082705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598276$CCF95E70-8A86-4DDF-827B-8EA6D0017FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d748de4e69d6cffe0f757fb9403cb9c4e90e2113","datavalue":{"value":{"entity-type":"item","numeric-id":5890041,"id":"Q5890041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f1ff18636c2133367897b48c8bd4fda89311b1","datavalue":{"value":{"amount":"+0.9007658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598276$758354B7-376D-4518-A100-6523FA82ECD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68985f20ae8396f99c1c171ac46d28008655f2d6","datavalue":{"value":{"entity-type":"item","numeric-id":5221851,"id":"Q5221851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b690229b381307516ec281404de24b23928a830","datavalue":{"value":{"amount":"+0.90058607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598276$3625DF3C-4A67-4BB5-8002-42AA191FF7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1998affc65f6e952121e112fd8e0e90d2cb05bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5249668,"id":"Q5249668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a499494103d6461858d7a2ea1aa945018c2ac187","datavalue":{"value":{"amount":"+0.89677835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598276$48C24209-D2E0-413E-A74E-E82BE69BA502","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:598276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:598276"}}}}}