{"entities":{"Q6594831":{"pageid":14205988,"ns":120,"title":"Item:Q6594831","lastrevid":103595273,"modified":"2026-06-06T07:42:02Z","type":"item","id":"Q6594831","labels":{"en":{"language":"en","value":"Computability and non-monotone induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7903170"}},"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":"Q6594831$8F641CD8-5992-416E-AEE8-0636C159251F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a6a698aa3aef9ec54ba5c9551ade7aaf8503924","datavalue":{"value":{"text":"Computability and non-monotone induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6594831$7FB67350-45A5-434D-8AAA-2564EE5C0499","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e2194cbd076f554310c20043be5c70c039c27e","datavalue":{"value":{"entity-type":"item","numeric-id":1063590,"id":"Q1063590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$3A2F4DE5-1706-4FE2-A4EB-6BB2F45B56BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e8a3b9e7335900ac902ebad9aeb9e9b12596e42","datavalue":{"value":{"entity-type":"item","numeric-id":2799745,"id":"Q2799745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$A111E832-5E94-405D-8CCD-B2F438656FF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23ae4fe473a8a206d8424d79281bf861ccf12a8c","datavalue":{"value":{"time":"+2024-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6594831$0F645D8D-7989-48A5-923E-E575249EA7BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594831$D55E4463-60A1-4565-8635-94CB047DC496","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"375743d8661dc9f81fd8cbd4661e6dd05aa4c76c","datavalue":{"value":"7903170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594831$B751BDF3-6E44-4798-96D9-D0216591330E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f26bacdedf6d1cfcdf57a01ae72b6c5507bdb1c8","datavalue":{"value":"non-monotone induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594831$A3C3A0FD-AD7B-4723-8A2D-57E0E728E054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58417e59771f95d7017735bf3f6b1090b94539b7","datavalue":{"value":"Kleene computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594831$B5D6B002-6016-4F18-BCD8-5774DCD4CC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1715af15047f3ddb665d3db27231bdff73ae86ec","datavalue":{"value":"sequential procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594831$54CEACE4-7C04-4483-B256-BD9FAB8F4C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a57406d61a639609696280d5b19be2620747e13b","datavalue":{"value":"reflection properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594831$16CEFE5C-BD8F-41C9-BF52-DDC615431954","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":"Q6594831$1C14EE1D-E0A3-40F0-869E-601BC889C291","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90d12e58d300b19e7b01075615b91026d9c122f","datavalue":{"value":{"entity-type":"item","numeric-id":4060953,"id":"Q4060953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$CAED4751-99F9-49B0-93C8-5078C6D3AC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eaa340119914fce3c725c52e9fcdb0806c8aee8","datavalue":{"value":{"entity-type":"item","numeric-id":5912941,"id":"Q5912941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$ADF35549-4597-4185-B8A9-BB559789F156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0279542353a48b6468c008c0fdcbceba5faab779","datavalue":{"value":{"entity-type":"item","numeric-id":4770391,"id":"Q4770391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$B9E625A7-8B62-4E7B-BD6C-11E62612B577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f9e080f623f4cb3a030a9346791873bf61f74d","datavalue":{"value":{"entity-type":"item","numeric-id":3880831,"id":"Q3880831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$8D89E98C-9566-421F-B77C-FC42292D13B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b130d57ab2ae2dd7c506a60e145c54cba9f2bb","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$2BA576FB-C9CD-4762-980A-D3B578D08A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6271238a74175a3f41584a59a731421bb75b67bf","datavalue":{"value":{"entity-type":"item","numeric-id":4043076,"id":"Q4043076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$1798DD6C-0D9B-4954-9494-0AC201BB1B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5127d69fe60a41922cdaa17482bcb30133d55b02","datavalue":{"value":{"entity-type":"item","numeric-id":3340847,"id":"Q3340847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$85EAD3E1-D058-4645-BCAE-200BFD36545C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690eac6707df294089bbb4811045c174c4de9fef","datavalue":{"value":{"entity-type":"item","numeric-id":3260568,"id":"Q3260568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$C3C24ACD-9D6A-4556-A1A3-03567FABDE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$E94B8936-D83F-4454-BCAF-1B4F996D274F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$6575A784-AB4E-419B-B574-7AAC69C4FE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbad2de5d0ca1780884da380839f4d715dda0d3","datavalue":{"value":{"entity-type":"item","numeric-id":1235700,"id":"Q1235700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$971B0587-FA50-4746-A9C7-424B50C52C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c505903792ffc7ad39bb74a5b060ea96e54845c5","datavalue":{"value":{"entity-type":"item","numeric-id":5542099,"id":"Q5542099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$A722695C-02FD-4B53-A863-C75A1E8927C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1825481a294748761f59d07bf93359b30214410","datavalue":{"value":{"entity-type":"item","numeric-id":1670758,"id":"Q1670758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$70F152EF-4D55-4ACC-9B65-A346C66E9D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4838237fdb1cbedda56b256ef821560ec77d29bc","datavalue":{"value":{"entity-type":"item","numeric-id":5207560,"id":"Q5207560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$B6D2BEC2-B99C-4470-93C7-63349C592D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b50bc744c9afb9fb3d74c9f4e1fcb6b8ae0a6e","datavalue":{"value":{"entity-type":"item","numeric-id":2326415,"id":"Q2326415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$87D0099A-31E7-441B-AA63-AB4F938D17C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ed83d79ac2e42ce9242da4277967b9ce274421","datavalue":{"value":{"entity-type":"item","numeric-id":5223120,"id":"Q5223120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$F290E768-E1E4-4A6D-B8DB-27236DC2DD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6319f472c4eb15b3007e0a187cd2ee0d1a9e0d80","datavalue":{"value":{"entity-type":"item","numeric-id":2304540,"id":"Q2304540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$745FEE2A-6927-4C4E-9C3A-324691BB596B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e50b119e57b8c8d11d0e2b6ad38ebbc0b08eb84","datavalue":{"value":{"entity-type":"item","numeric-id":5140330,"id":"Q5140330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$30D187F3-B5B3-415B-94F0-74769FDC78C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44c0b97d760d3aec18a7796a57261f98e12c3f3","datavalue":{"value":{"entity-type":"item","numeric-id":5028319,"id":"Q5028319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$483C4B5B-F75C-424C-948E-05B6B2051669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08d73854a98e514a674a6dcf845d1edda3d0b435","datavalue":{"value":{"entity-type":"item","numeric-id":5052009,"id":"Q5052009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$7ABE3E2E-0EF4-40F3-AEBE-7FCC3687898A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e23a62ebc6eeefb5c214273f7e9d66abcdd76f2","datavalue":{"value":{"entity-type":"item","numeric-id":2151412,"id":"Q2151412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$129C9084-05EF-4911-8418-2B15EBF7CC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bf5885ea711929a9d0821f6f0dc025dac66eca5","datavalue":{"value":{"entity-type":"item","numeric-id":6642876,"id":"Q6642876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$FCEEBED0-502E-491F-B2BC-6A03DDBE651B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c6016185e7aefbfd9d27182a0b3feea7de7917","datavalue":{"value":{"entity-type":"item","numeric-id":5872876,"id":"Q5872876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$108AE8DA-45F8-45DD-BDA1-AF15F0006544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$52845C29-6227-45FB-8386-138EA38B4FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df365e2750bcc90fe63e52a82b25a29336cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":4079598,"id":"Q4079598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$41BD4C52-1144-4FE7-B312-5FC308967A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$2193C442-8774-46C4-9A7B-4432F15CC00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$A15BEB7F-7F22-49AD-B0A9-0B807EA022F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af80a122d294a5c218d4e41a85a5062397ac36f4","datavalue":{"value":{"entity-type":"item","numeric-id":2803247,"id":"Q2803247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$391B0DA1-DBC1-41C1-8C08-02E054014760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6bf5d744b23056fb917cb9b3db80f1d62242b7","datavalue":{"value":{"entity-type":"item","numeric-id":2179350,"id":"Q2179350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594831$C3EE3669-A366-4CED-AA72-22A2AEDA86EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acf3e488456878d38850a8433092e0f4bac712e5","datavalue":{"value":"10.3233/COM-200321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594831$04A67059-1974-4349-BF62-2CE885CC3830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computability and non-monotone induction","badges":[]}}}}}