{"entities":{"Q3450802":{"pageid":5213136,"ns":120,"title":"Item:Q3450802","lastrevid":52389224,"modified":"2026-01-22T13:04:48Z","type":"item","id":"Q3450802","labels":{"en":{"language":"en","value":"Safe recursive set functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506055"}},"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":"Q3450802$69F3175D-0536-4BF5-B1D4-3F146C5F94AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"012e0dc78ce17f1589d592d0f07a0b8a3d841dbd","datavalue":{"value":{"text":"SAFE RECURSIVE SET FUNCTIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3450802$2FD4D7DB-0BE9-403E-99A4-6C7056F00916","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7456b8e4e4db4b87c9aeb36402ef35e7c9d82dc4","datavalue":{"value":"1357.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450802$86B251E7-0FAD-423D-849D-317A767973D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$6AEE58EB-6ECA-4A05-B920-AD0C0D628114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$755D3FDB-1EB4-4AEF-B496-628976ACD851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$F56E8919-FE81-4C46-A169-0893F8CB76C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd4ccddbb81defc05e602592f8c5989241cffff","datavalue":{"value":{"time":"+2015-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3450802$449C0342-66D0-4354-983B-22EB6C5034B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"970b2148cd4b438b2c245731674181147399cffe","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa20591/Download/0020591-07052015214543.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3450802$BAB68F59-0033-4241-8BF7-B69B1C7F7863","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450802$81223796-30F0-4379-A2B5-BC34FF3D1817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450802$6A2E556E-C8C2-46AA-A99D-93C93D37AD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450802$0C4DA791-B1D8-4F73-A234-272085AE929D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450802$252E0FC1-EE13-4BEF-9868-112C99082081","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31a9566f8f47299b503c5c8410fd9e4983dbe7d9","datavalue":{"value":"6506055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450802$B2FC3CDB-D420-445E-BE60-D530068C4BB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b0c089bb1314c392d362bf1d32e8aaecda06ce","datavalue":{"value":"safe recursive","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450802$0730690F-10F5-44C5-9D9B-55B4FE720A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40061d4329954cbbdf4828ac3112a717736310cc","datavalue":{"value":"set functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450802$E596B361-F475-4BB1-A045-22DACFEEA745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d7c785826a7b700aa1fe69c478f8405b925566","datavalue":{"value":"alternating Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450802$C9531D70-2EB8-410C-88AB-32AA60754417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80d150f6948e4c96309e0f37cae2fe25d492fb0","datavalue":{"value":"infinite-time Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450802$F621462A-FDBC-41D3-B5D3-DE63F64A8362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450802$51CAC624-34A0-4B08-8A64-7312237F5564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39277bc97d29df9f38399f29b6281759d9beca41","datavalue":{"value":"rudimentary functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450802$A7405CFD-7680-4BA6-A95A-056BB3A585C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90796b4aa58990e558c2215f32ce481163201be","datavalue":{"value":"Jensen hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450802$44D9988D-6480-423B-8922-DBCF8280B604","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":"Q3450802$A05353A2-8BB1-4CDB-9E42-CBA0B847E201","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f62b2b11b7a0cf140f9c29648f4f6f3ae9d11aed","datavalue":{"value":"W1823991804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450802$C5D027CE-5C08-4A5A-8C8B-637F633789C4","rank":"normal"}],"P223":[{"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":"Q3450802$E8C2AF40-CC3D-4A38-B8F7-E771736DF31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d1f99209118318c5224afcbafe9d76aa7f8425","datavalue":{"value":{"entity-type":"item","numeric-id":1155607,"id":"Q1155607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$ED8FD89B-A5FC-4535-8D65-0B83F365AADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69258ea1fa41abe076500c287e2b4d366a14557","datavalue":{"value":{"entity-type":"item","numeric-id":1408507,"id":"Q1408507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$4C2B0BC2-1E37-40E4-BD75-769A7B7A7346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$8365F538-BDD1-4A0F-A8B2-7C5E0DE511C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$C300134B-007E-4205-B802-33C05C20D682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e488675b3aac07c19f28af70db5a15a944bce22","datavalue":{"value":{"entity-type":"item","numeric-id":2339966,"id":"Q2339966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$3262CF72-42C6-4F21-AE1D-247ECDEF4B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$78048D58-A067-48A7-A237-04C324111A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efc6d224ffe0d7322355df220a9a0a92863a911","datavalue":{"value":{"entity-type":"item","numeric-id":4729768,"id":"Q4729768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$3F2561E9-D5A2-4649-94B3-9C5FA9BC9138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$5012370B-5592-459C-A52A-343B4A45D605","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09f571120c9058ab8cebcb6098f45d18bcec3c10","datavalue":{"value":"10.1017/JSL.2015.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450802$03CBDF0C-74FF-4C66-85AC-4340ABAB98F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450802$303E078C-3476-4B3F-8AB4-7220CCC94B65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcfd172b0cba907c7235be769128ff76e160464b","datavalue":{"value":{"entity-type":"item","numeric-id":904151,"id":"Q904151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27cb2ba30a2c5c8ca918907148a0c437c24757d4","datavalue":{"value":{"amount":"+0.7958782911300659","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":"Q3450802$0E3B8B2B-559D-4436-B1A6-A76B590283DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfeee8b28c5ecc27c6772eb33a1f4ceb5b8c2a3","datavalue":{"value":{"entity-type":"item","numeric-id":3149881,"id":"Q3149881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59aaafa2a690a4d172dd456faed213bf7f18420b","datavalue":{"value":{"amount":"+0.7797974348068237","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":"Q3450802$E00184E1-9C1B-4249-BA1C-CD25004E79E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1243ab37932e234153dd14f51855e643f39f3f08","datavalue":{"value":{"entity-type":"item","numeric-id":2946581,"id":"Q2946581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b074712341d84556304ce59356fe10e6ecce20a","datavalue":{"value":{"amount":"+0.7704107165336609","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":"Q3450802$065E1414-D8D9-4DF1-AA6C-3C46B7369DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"394addeaeeb72fb98deebc6b6872ee27e9db5855","datavalue":{"value":{"entity-type":"item","numeric-id":5687659,"id":"Q5687659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524ec61e8507d3ab928a4be0ac7d1f12c255b483","datavalue":{"value":{"amount":"+0.7494770288467407","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":"Q3450802$792361AF-2006-4BEA-B1ED-82EDEDD7E044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031a14a7d1fc13507180648c54a20f3c92217a2e","datavalue":{"value":{"entity-type":"item","numeric-id":4376046,"id":"Q4376046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7dce34e1e597e8be92975e711b8df0792c0512","datavalue":{"value":{"amount":"+0.7399399280548096","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":"Q3450802$2E68DE67-9C3B-4BDF-BBE4-C765BC776FCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3450802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3450802"}}}}}