{"entities":{"Q5687656":{"pageid":7717216,"ns":120,"title":"Item:Q5687656","lastrevid":96985421,"modified":"2026-06-05T12:56:46Z","type":"item","id":"Q5687656","labels":{"en":{"language":"en","value":"INDUCTIVE INFERENCE OF LIMITING PROGRAMS WITH BOUNDED NUMBER OF MIND CHANGES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 958333"}},"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":"Q5687656$7520905B-8473-4979-83A6-7B34CA0CD0FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1187d32d93b7de253f7b77751be68612bd9bcf9","datavalue":{"value":{"text":"INDUCTIVE INFERENCE OF LIMITING PROGRAMS WITH BOUNDED NUMBER OF MIND CHANGES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5687656$892AF463-13D7-4260-86B0-A90D83B2A9DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8cf9c68c9736146122d0fbbdb57e46fdae5c193","datavalue":{"value":"0859.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687656$75473128-2D83-455F-BFD7-9367C1516E72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0294d671c4df9aee61850d0a923364f2eb417dc7","datavalue":{"value":"10.1142/S0129054196000154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687656$572B5566-C806-404C-A129-8B5C8217BDAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c383ceb3f5d69abe198c648c940d4f3de5e79236","datavalue":{"value":{"entity-type":"item","numeric-id":3557000,"id":"Q3557000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687656$D74E0549-565F-4FAD-9048-C0D862A65450","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687656$9ABFEBB7-6223-49FA-B326-0D97C3CD50A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeb061f84ffb57c2406b1921a4f259dec17e2583","datavalue":{"value":{"time":"+1996-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5687656$F1EF45AC-A689-4DA9-98FD-6B403A5E2306","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687656$ABA4C541-6CF7-4605-B16D-B65D3FEBBCC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f9f5971d3cd81c74257f1fe471214a9482b6a5f","datavalue":{"value":"958333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687656$51160988-18AB-472D-99E7-667FCF39834D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687656$74798A8A-9236-4091-AEB8-F3EE9187E7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e5fc900b33c9142150c32605a97ad7f76b6319","datavalue":{"value":"total recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687656$B453CD33-D2BA-4BE4-82DF-A4CD7436E1D8","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":"Q5687656$37A4C7C1-D382-4ABD-AD6F-4A50303488AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eeed59c72fba0f32cc1127cf8ca7450ac047dde9","datavalue":{"value":"https://doi.org/10.1142/s0129054196000154","type":"string"},"datatype":"url"},"type":"statement","id":"Q5687656$2126AD4A-8878-46CA-AA7F-2E4783CF6B8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b0ca422c1dc8a0be52acc607d1d8e3c87ede96e","datavalue":{"value":"W2111251140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687656$001E2D2C-0E29-40AA-97F2-9094BB576666","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488b22f917855105be683c1697d50ca707b142b9","datavalue":{"value":{"entity-type":"item","numeric-id":760795,"id":"Q760795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c904835139ae4f662fa3b31bce03607ce014d717","datavalue":{"value":{"amount":"+0.8527798652648926","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":"Q5687656$36945C5C-0CA6-4CBC-8540-C7CCD668722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835fb48c706c76b6cdcb549d2cf3f18f6d04b114","datavalue":{"value":{"entity-type":"item","numeric-id":4267809,"id":"Q4267809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09597df161869cbaec6366bf6833cdb2b22120d1","datavalue":{"value":{"amount":"+0.8433078527450562","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":"Q5687656$6B561DE9-EA40-419E-9B65-8B7B9172CC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5819e9eb5119f898078cad600da7745f9ee23f","datavalue":{"value":{"entity-type":"item","numeric-id":3832071,"id":"Q3832071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34656d909cc024d2f3f57357bcd1953bc9946bc4","datavalue":{"value":{"amount":"+0.8117343187332153","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":"Q5687656$2152BFAF-F76C-4AAE-9879-9CFF8E757B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ab4b86f94f62d76b51ada3f81f448e708770c5","datavalue":{"value":{"entity-type":"item","numeric-id":1881221,"id":"Q1881221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"149c9c296dd5886665f480d05b5238ee6e1e62d5","datavalue":{"value":{"amount":"+0.8013762831687927","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":"Q5687656$E1429221-4473-4F0D-9412-9F77B1FE79D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a196b9d273ac3096e2b44cbc4a1f9fd88d6254d1","datavalue":{"value":{"entity-type":"item","numeric-id":4013538,"id":"Q4013538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e20183c269e6513c165ddb37e353d50436ce4d5","datavalue":{"value":{"amount":"+0.7935866713523865","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":"Q5687656$AAF0F5F2-ECCC-4050-B119-86FF14932E5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"INDUCTIVE INFERENCE OF LIMITING PROGRAMS WITH BOUNDED NUMBER OF MIND CHANGES","badges":[]}}}}}