{"entities":{"Q6915769":{"pageid":20996971,"ns":120,"title":"Item:Q6915769","lastrevid":84150605,"modified":"2026-05-11T10:09:16Z","type":"item","id":"Q6915769","labels":{"en":{"language":"en","value":"Fixed point theorems for minimal numberings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8106331"}},"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":"Q6915769$43B06AE3-5CD9-46D4-8C7D-065E63BC0A7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cd5b159afd0ede69b4578ce2823076a94f240c8","datavalue":{"value":{"text":"Fixed point theorems for minimal numberings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6915769$0281E17D-94F5-4DD3-BB8D-27E3D498C340","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9df0956a7c0fbd3bb1f70dfdc5a32839ba96e2d4","datavalue":{"value":"10.1093/LOGCOM/EXAD074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915769$5A684D48-2BE2-4A78-98F1-C3A7F9BDA900","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4efc5fa9bd22e2151a017b4ded957e9e8efb0108","datavalue":{"value":{"entity-type":"item","numeric-id":542198,"id":"Q542198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$D7550EF7-934F-4BED-BA69-2251A0D01C47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$48DBB002-4A7E-42D1-AC55-A66632501758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be1a084743b7fe843755b397196118f7c063294","datavalue":{"value":{"time":"+2025-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6915769$F14530FB-904D-4B13-B8BF-F279C3699A65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915769$1481627D-58E1-47CF-ACCF-18AEE121A8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915769$D0F17CFA-6A59-46DC-9EC9-930A91A4A4FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c29e942f8e912f88e7104e821201e146c790f34","datavalue":{"value":"8106331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915769$76FCFA9A-870A-4776-9E73-5F474B9F5A15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a72bd861ecc038a29fe6e6c5fe79a0a8ed9c83b7","datavalue":{"value":"numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915769$9A10DCEA-B8CE-451C-888B-EFEBC1C5C4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce0211f2ec062bc6658391cb809c39c80d5ad37f","datavalue":{"value":"minimal numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915769$D4627576-C804-4D31-A396-7E57488C86A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915769$D5B25C8F-0BFB-42F6-8ECB-901E65DE1D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"682adc684984f1c91efab274356da2dbec6ba03b","datavalue":{"value":"the recursion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915769$990396EF-23D8-45F5-AF2B-A37586AAEA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eaee6816580d81b5d0c974bbf31002fb53f3ca4","datavalue":{"value":"complete numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915769$D6CBED36-E709-456B-9D31-9F1007C18AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed10ce5dd1f7ff90759f13fe16d2d9aaeb673f2","datavalue":{"value":"precomplete numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915769$59D0B745-ACD2-47C5-8A57-7375CF2C7B48","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":"Q6915769$EB1CB3F3-40EF-4AFC-8468-5F60887DFFBC","rank":"normal"}],"P223":[{"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":"Q6915769$05B97E9A-6C19-4EA6-A814-51E19F551D44","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":"Q6915769$1385AD0F-AC08-422E-8ED7-54D266B86E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c38cccdb99f57bf4de98a251aa0f9e115b10d4a","datavalue":{"value":{"entity-type":"item","numeric-id":810013,"id":"Q810013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$4BF16B2F-E817-41E7-8730-518BFCC14491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c032d8fdb55dbab0fd8dfabd265790ac4a3b646","datavalue":{"value":{"entity-type":"item","numeric-id":1189063,"id":"Q1189063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$1DDF76F3-8612-4F0E-9FC1-A32999BCB84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8371945a255312bf83eb381d85f4fbc32ec8e570","datavalue":{"value":{"entity-type":"item","numeric-id":4530730,"id":"Q4530730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$772164C1-8664-4CE4-B19A-A7AC645093C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec26c586554b3d88329f2c8ad681ebec76229c1b","datavalue":{"value":{"entity-type":"item","numeric-id":5384966,"id":"Q5384966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$7DE3EBA9-BCAD-4C84-A4B2-0AFF2F05E5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ffe9bc3464f38e2a98b9f12ba764130e50cee1b","datavalue":{"value":{"entity-type":"item","numeric-id":2342326,"id":"Q2342326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$A2D11510-545E-4D10-AA1D-6D1B5538DB72","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":"Q6915769$3B00B0F2-47CC-4F21-A691-DE967F06CD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c24a1621b7639590ecf0446cc146e6b355f647","datavalue":{"value":{"entity-type":"item","numeric-id":2561211,"id":"Q2561211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$8843CEB8-C792-4ED3-85EB-F5228F1AE7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b04465ad608a8c1a165f24b8f0583a5bf5ea651","datavalue":{"value":{"entity-type":"item","numeric-id":4934289,"id":"Q4934289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$09F15BCA-0989-43CD-B0CD-25267A634EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19937df3e97b7239c1f621d83dd0b3ad0d4eaacd","datavalue":{"value":{"entity-type":"item","numeric-id":1745093,"id":"Q1745093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$DD8E8904-6CC5-4D61-88DF-E7AF306C1274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff890ea5f77178048d18a98ec92d974a36a08c8c","datavalue":{"value":{"entity-type":"item","numeric-id":6094162,"id":"Q6094162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$F9ECA50E-02A0-4D6E-BB03-A10F662589E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacbdd5e58b23cbbcf12af09300759faa3964dcd","datavalue":{"value":{"entity-type":"item","numeric-id":6062177,"id":"Q6062177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$889CCB71-DE10-42AB-85A8-EB2364692647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636ff9784d882d1b1d11061ef8a052fcd5c38725","datavalue":{"value":{"entity-type":"item","numeric-id":6587480,"id":"Q6587480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$AE298CE5-6F11-40C8-B4E7-45861510ED91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38cb4ddd7323ab20566800aaf98c526f766147c3","datavalue":{"value":{"entity-type":"item","numeric-id":2300906,"id":"Q2300906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$5DAF1A35-6FDA-40EC-975B-1042F808589C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09379f6dcac2e776d382e07e63cbf40d4a22470c","datavalue":{"value":{"entity-type":"item","numeric-id":2709299,"id":"Q2709299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$ABC66B08-068F-4AE1-86FE-74BA092E9503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c809593130fac5a38d983b7f59c33f486a854e","datavalue":{"value":{"entity-type":"item","numeric-id":2326424,"id":"Q2326424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$E5F3E29A-CABB-45A3-A9CA-95118B3D66F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"867594dc942c5e717ec79246c2e78de5443ff29f","datavalue":{"value":{"entity-type":"item","numeric-id":2732286,"id":"Q2732286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$53F621F0-C737-4575-83D6-06DFCD6324B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e97b26002280f9f809ba5748da7ac804b97361","datavalue":{"value":{"entity-type":"item","numeric-id":5338325,"id":"Q5338325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$8684AAEB-4A85-43F7-B61B-0F0CBA4BB063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9744d363234ab39aeb5ce0c63f4107409c0cf451","datavalue":{"value":{"entity-type":"item","numeric-id":2552127,"id":"Q2552127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$A84AB26D-F84A-4D6D-A0DD-6D24174471D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac6be17b7a8a9a88645e6beb08b61d291dfb061","datavalue":{"value":{"entity-type":"item","numeric-id":5393765,"id":"Q5393765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$4FC23BDC-4183-432D-8D29-50BACB9C2AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186861780eab49220bbfbae7666b266f31ff3c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3260572,"id":"Q3260572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$7F2DC392-1269-43EB-AC3B-C14CB371CDEB","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":"Q6915769$A8A3E04E-818D-462C-91E9-684FE9D75A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fc9bba7918de3b49aa7ccf93f1d23850719706","datavalue":{"value":{"entity-type":"item","numeric-id":2036469,"id":"Q2036469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$5AE2B8A1-2605-447D-B7D8-D97AA85E25A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$FCA40FF0-428F-4412-9DCB-6B65EDDE86EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47a2b9d13405189c02127187179ae3a2b67315a","datavalue":{"value":{"entity-type":"item","numeric-id":2864221,"id":"Q2864221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915769$36956303-98E2-45A6-B8D4-AF28E6EC9A82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed point theorems for minimal numberings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixed_point_theorems_for_minimal_numberings"}}}}}