{"entities":{"Q7030780":{"pageid":21687570,"ns":120,"title":"Item:Q7030780","lastrevid":77531441,"modified":"2026-05-04T20:56:58Z","type":"item","id":"Q7030780","labels":{"en":{"language":"en","value":"Fixed point theorems in computability theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7981165"}},"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":"Q7030780$B75E4CE5-3BED-474A-AADE-24AD0699AD13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a55550de2bfe2eb4ca08782273c29e99f4362b36","datavalue":{"value":{"text":"Fixed point theorems in computability theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7030780$738BF8CE-D4EC-40D9-9B82-EA7C3561FC0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70a0d4bbae84a065de3ee3388ec090cff4e9f78b","datavalue":{"value":"10.1007/978-3-031-61716-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7030780$CDBE54E9-5F7E-4DE1-A8CA-AA625494D596","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1b56d11bf58160c554d30c20f124cbee3f9201","datavalue":{"value":{"entity-type":"item","numeric-id":412012,"id":"Q412012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$A92781F9-6D41-4D3C-920F-BC434143A914","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6451a7084150e57d8187f13df3637bcc3e62c7d9","datavalue":{"value":{"time":"+2025-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7030780$2C6E7D41-D9A4-4791-BF31-8C421D792CC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7030780$C35A83A4-8326-4C47-A4C8-FF523E38DCC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4032692c3cb1ddc7fb5646543ffc26076a047c9","datavalue":{"value":"7981165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7030780$90FDE48F-5BE1-490B-A03F-3BB66A59363E","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":"Q7030780$8BDB7F03-2094-4285-B0B4-E77EE60741E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc28e36af684f6b27f97fbda46402e7c7be84c1e","datavalue":{"value":{"entity-type":"item","numeric-id":2793914,"id":"Q2793914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$87C9CA0F-87EC-45B2-9222-33F8215E4319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e649cba3d38787b07b3fefa51b224c83693c3839","datavalue":{"value":{"entity-type":"item","numeric-id":1683373,"id":"Q1683373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$55E27CF8-6EB2-4527-832D-6C127DDA3E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73964244b50ac6a01b3bd24fccdbd805ad86369c","datavalue":{"value":{"entity-type":"item","numeric-id":2970971,"id":"Q2970971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$892BCEE5-7D05-44D9-A5D6-9481E93ACF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d016aba6c62feffbfb5a07da9db642aacb247367","datavalue":{"value":{"entity-type":"item","numeric-id":3674634,"id":"Q3674634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$745CA9AE-1CBC-4427-A325-0A985A406982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d971831d86d0a4885915a4c6ab375cd329d0f8b7","datavalue":{"value":{"entity-type":"item","numeric-id":2030128,"id":"Q2030128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$0582FFFE-0AD4-494E-B945-C93EFC2992C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$CE13E16E-1F02-4502-AB98-E5DF5EDE44DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47076331759f77e665da9abbdf840f7a533543c2","datavalue":{"value":{"entity-type":"item","numeric-id":2311209,"id":"Q2311209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$80D2826C-997C-42BE-9032-750C4CB7357F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f78d17150c2f76170b4fe29240d8990be0d7646","datavalue":{"value":{"entity-type":"item","numeric-id":2148902,"id":"Q2148902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$874DA7F0-55B6-41EF-80B7-04B0D1EA1755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06a77350a0e89c679d1b1a4beb086f99b213ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3309827,"id":"Q3309827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$7323B0A7-F08A-4645-88A8-A63CF978BA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c194784f3769cc04a33fe41af93ad2a31f5471f7","datavalue":{"value":{"entity-type":"item","numeric-id":998306,"id":"Q998306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$8D60559C-C28A-4789-B264-810F3453D0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da92b26b85f6737e55d5cc004ea787c9e3471a63","datavalue":{"value":{"entity-type":"item","numeric-id":4111546,"id":"Q4111546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$B4220EC9-8DB7-4873-9868-61745E8C7A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$F4A123E4-9B3E-43C0-B913-0AA4A3E4096A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3dde46460d0a9449428f3a653081cc9c82461bb","datavalue":{"value":{"entity-type":"item","numeric-id":5075519,"id":"Q5075519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$84DE0413-1F6E-4E74-9D10-BB902EAD395B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf8406cbb9723aae0f5b9fc751dd49ca2ac41e9","datavalue":{"value":{"entity-type":"item","numeric-id":6158341,"id":"Q6158341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$33BC2A69-C215-41E5-A47D-1A20FD89D2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe38fe19cf97f81a630bbeb3a96a5b65d421db0","datavalue":{"value":{"entity-type":"item","numeric-id":3489987,"id":"Q3489987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$7A334E85-D940-4024-8C29-EF7DFA7AA605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$61376C4B-04F3-4192-856F-09F7DE2A557C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$F725B20E-2A45-4072-9AAA-2D7EE329702D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4a97d34fb7283d139694b7410f10197e1d0fd7","datavalue":{"value":{"entity-type":"item","numeric-id":2598624,"id":"Q2598624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$B6531E52-D880-4326-8289-AC694BF3E8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$416C909A-DE9E-4961-9E11-4FB028430776","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":"Q7030780$360FEE7A-4EEE-4C85-9911-1FDE5B81408D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$3C877D13-0102-4930-BA03-D197E9ED7B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a180b8fce60736ccd37eeea2fa33bcf2b0d72a38","datavalue":{"value":{"entity-type":"item","numeric-id":3161629,"id":"Q3161629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$E6CD88AB-5AAA-4ED0-9C88-39F4318028EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$57D44F05-AC07-4138-8518-DFF7CD9E57D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$2BC1F018-EA3C-403D-A504-F1DC5E14C01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50896e0d9a36d217984085831a1e45fce6654ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1263578,"id":"Q1263578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$EE74632E-C991-47CD-AD48-13459E84E54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee64c4f7b481892a0b8a182d05902b40b925842","datavalue":{"value":{"entity-type":"item","numeric-id":5015728,"id":"Q5015728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$5451181E-7E3C-4CE6-AA5C-9665DF691213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$ED692CEF-08D2-424B-974E-84E7F98B4226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c7be0214aebd8bc1df98796bbe2bc099e98077","datavalue":{"value":{"entity-type":"item","numeric-id":4647121,"id":"Q4647121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$16D6D7E0-4D84-420A-8067-A54B444230E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1f234b5bfacf39e0b94fa2a5643278eb7e3b26","datavalue":{"value":{"entity-type":"item","numeric-id":781514,"id":"Q781514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$22AEEBF8-0C8C-4C64-B09F-A1A1B31B4862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42be1d708453b8e6da571da2d479efa3bdd209a4","datavalue":{"value":{"entity-type":"item","numeric-id":4984865,"id":"Q4984865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$E8CC37F9-9EC3-491D-861B-D6BB3CE10794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$C393FB90-02C6-426D-83C4-D0713D98C288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"760e9151fc1d6492d757a3d63f37ab543a5902a7","datavalue":{"value":{"entity-type":"item","numeric-id":4650304,"id":"Q4650304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030780$4617E7B1-A476-4373-A83C-E717C40E8160","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed point theorems in computability theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixed_point_theorems_in_computability_theory"}}}}}