{"entities":{"Q5178958":{"pageid":7208530,"ns":120,"title":"Item:Q5178958","lastrevid":100423955,"modified":"2026-06-05T22:06:02Z","type":"item","id":"Q5178958","labels":{"en":{"language":"en","value":"Recursive definitions and fixed-points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416471"}},"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":"Q5178958$06F252C6-E01C-408B-BE86-2AA30B0B307D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7471193b6a196adb3100979bf5ddcf1b9b2bf330","datavalue":{"value":{"text":"Recursive Definitions and Fixed-Points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178958$87878A49-091A-4C4E-B03B-132D28B62752","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ef8cde67f66ba4a8207f3842ddd8331199ceed7","datavalue":{"value":"1311.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178958$1EAF566D-B827-4421-A3DB-D08BD0D9CB26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a599e83bf2192330511b0bd8a934a4a4bc4b163","datavalue":{"value":{"entity-type":"item","numeric-id":654908,"id":"Q654908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$7C9CF010-CC7A-4ADD-96EE-960BCAF942F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4e29a6551ed654b95caa163f18d6589ab9dd41e","datavalue":{"value":{"entity-type":"item","numeric-id":654909,"id":"Q654909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$742A8A33-D681-4D42-AC7E-2EC9120CBECE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$902BB115-8BF6-4E3C-ACE8-710EF64F466F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178958$03473218-42E2-49B6-9ACB-3E04496CF63A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178958$4B6EF80B-A6EB-4819-B6B8-10D048A34302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178958$FFB88871-7DFA-446B-8D14-75D20EBEE491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178958$AC779219-C928-409C-99E0-8F41836CE9B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e76d077d8f56c4790d5a81367e708318ea665457","datavalue":{"value":"6416471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178958$A698174B-1ABE-40DD-811B-FC45FE16CB0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178958$E8D01E8B-0677-4270-AD60-7D55D5615EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178958$48A85A2A-FF0B-42B0-BA15-5EB3AFC8B468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23842afee82404dec3c81dc656b7668776852eb5","datavalue":{"value":"Beth's definability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178958$7D26075D-B6C7-40E5-8D5A-37A2D41DE4EE","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":"Q5178958$B3D7C966-7ED6-4CA3-B63E-4149812EB761","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d972f07a1185e7d386a010eb25f7fb11144ddec0","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.046","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178958$7167A16F-A035-4BA1-86E4-614ED0CFE3A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e84c8d87e9f255b68c13c3a82efa376088d7a9b5","datavalue":{"value":"W2010356424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178958$A6F058BC-918D-4E65-9503-48E32E06AF80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$4FE214CC-2A11-469F-82E7-118C01FC8899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311eb0f6758b505863158aef2e213a62e05ad36","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$5D6FC4BA-73C7-4C27-8A9E-852B1958FBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9180e2f4c3ab949ceca19b7994d2ab900aef6337","datavalue":{"value":{"entity-type":"item","numeric-id":4645216,"id":"Q4645216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$CA60D5EB-2B58-434F-BD6A-B5764A132B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$739E6614-54D4-42B5-B664-FB8113B765CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$058F8422-9220-47CD-9AD1-CC918C6F9EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ef49b996821a97bcaa60973838534abd2900e8","datavalue":{"value":{"entity-type":"item","numeric-id":4894726,"id":"Q4894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$AA81FFE0-3130-4B3F-A3DA-3FD269108027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c21d94cfaafe1e7827ea1a6ddf0852456baf439","datavalue":{"value":{"entity-type":"item","numeric-id":3142555,"id":"Q3142555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$A1923214-189D-4CCD-AB46-8D45AA1B4D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$438EA3B4-39CC-4710-B180-3CC0C00EA20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178958$143EE565-6300-4E05-B81B-8EFF4A882DEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33f8dc7a61922a58af981e99f245ddbe6525d35c","datavalue":{"value":"10.1016/J.ENTCS.2009.07.046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178958$027C8C17-119F-4BA5-987A-8906A1A190B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42356dd2a553ffc13c5c6fcbd1009f430d9153c9","datavalue":{"value":{"entity-type":"item","numeric-id":654910,"id":"Q654910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55bad77fd7260702b6e33309870c426c9400fe02","datavalue":{"value":{"amount":"+0.9709537625312804","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":"Q5178958$965222D4-63A3-4490-8986-5D3A363F4BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15769970d02960fc833e12faf567aa7446ea94f6","datavalue":{"value":{"entity-type":"item","numeric-id":5483318,"id":"Q5483318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651ea9b5a6ae1f19e6e37144fda42be7fc71ab78","datavalue":{"value":{"amount":"+0.7308205366134644","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":"Q5178958$ED415E9C-92A6-4C85-920D-F03C961690EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f32361d37390e195c2a8909f7b5d8402cb34d36","datavalue":{"value":{"amount":"+0.7271223068237305","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":"Q5178958$0AB13BD1-D7DD-4A39-91B7-C72E17C03480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc9a94a9c89d54eddff9c42fd33bb0783c96bcb","datavalue":{"value":{"entity-type":"item","numeric-id":1059391,"id":"Q1059391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8870990fcfece3f69651c524c58745bec151e5","datavalue":{"value":{"amount":"+0.7130838632583618","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":"Q5178958$C3135EB8-91AC-476B-9DB4-7A2006ABAF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da30fc5c22f3ff875dcc748ac7c99ff2726d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":4447153,"id":"Q4447153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418d3d72083b14380fddaf3d89647c4f293e4527","datavalue":{"value":{"amount":"+0.7126362919807434","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":"Q5178958$C483F9B5-A2F6-4AD4-BB72-EF17137594FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursive definitions and fixed-points","badges":[]}}}}}