{"entities":{"Q2403650":{"pageid":2414393,"ns":120,"title":"Item:Q2403650","lastrevid":74046675,"modified":"2026-04-14T18:10:36Z","type":"item","id":"Q2403650","labels":{"en":{"language":"en","value":"Generic Kleene fixed point theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6773682"}},"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":"Q2403650$47422695-3504-4416-BD5F-E777655A33CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82aa65f25b801b478748646691d480fba3e39a1a","datavalue":{"value":{"text":"Generic Kleene fixed point theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2403650$942C168E-A08D-427C-9E92-75E328D80ED4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3fca2c505a0bd091fbb912378077fd30fbf801e","datavalue":{"value":"1431.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403650$8B257C67-A2D5-48E5-9F0A-1D20CEACA5E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63c638784dcfacc05bc5e243c3fab2d2fff5c04a","datavalue":{"value":{"time":"+2017-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2403650$CFABB7C7-DACC-4CD4-8B13-AC1962542CB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403650$A6848671-F47E-4DF7-B2B2-AFAC72BA4189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca7e861d8a82d582262ba292bb8411380af91095","datavalue":{"value":"6773682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403650$A03FC874-DE4A-4077-BE2A-3484339F9819","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eabfb04a8247ab1a6a021b03c906fcf3b2222ca2","datavalue":{"value":"Kleene fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2403650$6D222E90-81A0-4797-8D55-88259F3B2FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"408b9bb2266076dd0d6665ac9ebc665ddcab8530","datavalue":{"value":"generic computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2403650$79D29138-EB84-4B7D-9C2B-59FC10CF2E90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"131a03240a96d8a43afa3dc4fe75ccf4a3545045","datavalue":{"value":{"entity-type":"item","numeric-id":285910,"id":"Q285910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$2E202810-2A07-4C92-B040-414AD1750243","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":"Q2403650$C89BDA17-4264-444F-830E-D159C1210F98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$28EE43E2-54F9-40D5-A50D-D50695E73239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d7ca8b0234359bc7dff84ba74f7b4aa6a580a1","datavalue":{"value":{"entity-type":"item","numeric-id":1399190,"id":"Q1399190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$10E03676-8C1F-466D-8B02-D50101667FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$DF5A9744-1C0A-4EB8-8C9A-E3712A717B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$95140233-5C79-4428-9EEC-E8D1BA7801C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ee5e3ccb9df347fdb38d61109351ad2ffac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5596230,"id":"Q5596230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$007CE9E4-7292-4DB7-A3A2-138FDDF00913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff59decbaffbf578881972c7b583827456212f43","datavalue":{"value":{"entity-type":"item","numeric-id":3503760,"id":"Q3503760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$B7FDB540-5370-42E3-8EF0-BB5AB033F44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$9586AAAA-5EA7-4021-A55D-3A7AEA9AD3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d1d9bfaf88170c71af7aa78aad20a3ac1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":2630551,"id":"Q2630551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$0D029435-9B63-4BF8-87BC-42DB8CE9E351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adc98ea16ca887ff4f965096a46910e46866bd6","datavalue":{"value":{"entity-type":"item","numeric-id":4798659,"id":"Q4798659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$1DE698FE-A3B6-4A00-BAC4-2D50EEEFE8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5266141c959b0d38a240fb58a30d173923fcdab","datavalue":{"value":{"entity-type":"item","numeric-id":1383237,"id":"Q1383237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$4AFDD03B-78E0-484A-87A1-A70A1B5C6A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c513918f339d0fe7a13cf96ff8ab8583e4a9705","datavalue":{"value":{"entity-type":"item","numeric-id":1065404,"id":"Q1065404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$03AF00F8-4AAB-4F68-8B0B-285D5E31BDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1649582b0f778e40e0bb0773eecc2f6b025d1252","datavalue":{"value":{"entity-type":"item","numeric-id":3584365,"id":"Q3584365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$65E50A60-8701-4AEF-8123-D5673B01045F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f78103ef4df2da21b06f91050e0e842ce4e11a5e","datavalue":{"value":{"entity-type":"item","numeric-id":486370,"id":"Q486370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$30EC82A1-7CD7-4040-875E-7934FE21407E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9858def87452c62369d289b3f27866354ebe67e","datavalue":{"value":{"entity-type":"item","numeric-id":4693265,"id":"Q4693265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$01A09EB5-EB22-4BE0-A162-D4AD707FE6E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6204dde09e17d9d7983d2fc8a65f2fc926ded5a","datavalue":{"value":"10.17377/SEMI.2017.14.062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403650$C99E3297-4803-4F0E-BE36-635E6EE80238","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403650$093AE108-9F0F-41A9-B4ED-87B5C60B9ADE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3508aee5a73b3734a186c0b671e275329efd30be","datavalue":{"value":{"entity-type":"item","numeric-id":2311209,"id":"Q2311209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe43e04e4f93cf49eb24ab9c25b0cb29640ae058","datavalue":{"value":{"amount":"+0.7360152006149292","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":"Q2403650$62C66F70-07A2-4305-AFAF-A018F6BBE441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53321cd49263531cb27a3bbb272d5ff10f11607a","datavalue":{"value":{"entity-type":"item","numeric-id":3762303,"id":"Q3762303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dad4214ba3a73a0a67ea9e9d04cbfa90edc2f06","datavalue":{"value":{"amount":"+0.7215226888656616","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":"Q2403650$3DA43999-BA8E-4778-B4A0-FF366D95990D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0cbbfc7f9e9b9a8f786f3b3a08c03abb86433cb","datavalue":{"value":{"entity-type":"item","numeric-id":3800032,"id":"Q3800032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f004988ebfc04b679dca60e676a6c1faf32bbc3","datavalue":{"value":{"amount":"+0.7198553681373596","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":"Q2403650$B7AC4634-FF49-4DE9-85EE-8F512D8F9197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a829be1919e17cd23d0442f1245d10b1b4314a","datavalue":{"value":{"entity-type":"item","numeric-id":4133617,"id":"Q4133617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d9b000bdd671edff775bdf01e63667a11c742d","datavalue":{"value":{"amount":"+0.7181956171989441","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":"Q2403650$A118991E-77CF-4B75-BE16-77B0A903A07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d3e104108f2ea51202013e79605bc1e77bb691","datavalue":{"value":{"entity-type":"item","numeric-id":3032243,"id":"Q3032243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e8e24e7975f1ca007fe6ea384ce2510045f0e8","datavalue":{"value":{"amount":"+0.7073651552200317","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":"Q2403650$7F82B277-D7A6-452E-87A9-61E4B8E57B7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic Kleene fixed point theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_Kleene_fixed_point_theorem"}}}}}