{"entities":{"Q6050008":{"pageid":13184164,"ns":120,"title":"Item:Q6050008","lastrevid":58640349,"modified":"2026-04-06T03:22:50Z","type":"item","id":"Q6050008","labels":{"en":{"language":"en","value":"Substructural fixed-point theorems and the diagonal argument: theme and variations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7748592"}},"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":"Q6050008$212A5907-744F-4F7D-9B77-7D884B23E171","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98b94d8b2c445def848a7bfed1bfb330757adbd9","datavalue":{"value":{"text":"Substructural fixed-point theorems and the diagonal argument: theme and variations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6050008$F1FB4E69-6110-415C-85F1-25B7057E1EC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c2afa1a8de6b04e02e4ed3da4d08d00484c21eb","datavalue":{"value":{"entity-type":"item","numeric-id":246327,"id":"Q246327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050008$5C5FE710-1DD9-4C89-87F3-7457A7CC0309","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e8c444c99fa9d6ab404f31743112a0f863b6d9","datavalue":{"value":{"entity-type":"item","numeric-id":5045912,"id":"Q5045912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050008$F6344EAC-4EFA-4ED5-A43A-F54E7E61B561","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57cbca3df8df9e5c01e958f335452678b9fc0c43","datavalue":{"value":{"time":"+2023-10-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":"Q6050008$CC71E379-7ECC-4715-8854-C8DE8D398330","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3896c0ce45fb5a438139f21c92786523e19dd0b6","datavalue":{"value":"https://arxiv.org/abs/2110.00239","type":"string"},"datatype":"url"},"type":"statement","id":"Q6050008$3B4B857D-F2F9-4F8F-9527-94137E30047E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050008$65434EDB-8B2B-4979-914E-729111B58844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050008$14EFAA5B-9BB7-4A34-971F-AE745FA767DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050008$EFAC66E7-4261-4052-AB76-F87A711106B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050008$0E1FD072-89B3-44B8-B918-EE13C523CF22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05695de0648f08fa0ca0c1c676f66025d82df045","datavalue":{"value":"7748592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050008$E0A92690-0F1E-42B5-9688-7C0B2D636239","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050008$89493276-F11B-4375-9D88-796C2272C53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07c3c2f02bd8b1bc56efdb24ab5110a5c3b0f3b","datavalue":{"value":"fixed-point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050008$5F685EB0-687E-48A0-B1C6-0D4A6D302C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59daaf545a83f9bebd8db40209fb55b2dc0dbdce","datavalue":{"value":"diagonal argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050008$4532CB1A-5B4F-4282-8937-1B70ABBC0529","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":"Q6050008$2E686994-F1C6-433B-91DA-4CFF416D8319","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9564c1882963734fdeb94506cea2d9cc1c139156","datavalue":{"value":"Q122196025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050008$D031B0A5-A400-4655-8ADD-75A8D6F298C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86f3749ea5f4ce91363b4bed5836eedd17b19a7b","datavalue":{"value":"W3202332511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050008$3C713C1A-631E-49B9-9A5D-E3EA07D7D67C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d0ef982b980a1e8bbcb96c558a11e4843e69697","datavalue":{"value":"10.32408/COMPOSITIONALITY-5-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050008$B5E07FA8-1AB9-4B15-8F77-DD65E808E269","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c36752d70d39aac7d79afbde5000a679304235","datavalue":{"value":{"entity-type":"item","numeric-id":4613588,"id":"Q4613588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298326b06acfcd1e25640ddd60b8b97b5e677f51","datavalue":{"value":{"amount":"+0.75486314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6050008$261AEDD4-C4BB-4AF3-B302-C51244E49E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb6374f66a1315f4a5d845d5b87106b1ee37d6c","datavalue":{"value":{"entity-type":"item","numeric-id":1404250,"id":"Q1404250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f83adfe9cfb5953ea7bb46946a33f2ec169718e","datavalue":{"value":{"amount":"+0.72321516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6050008$DF5F36DB-E39C-4D93-9CF6-873AE18CA313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd950366e88afb087c8c18f5dfcce9eb6af6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1071010,"id":"Q1071010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06f7d3858361d11e6317110d64eea06364b942f","datavalue":{"value":{"amount":"+0.72273064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6050008$FACF0E7D-4E5B-418D-B416-13DD833C73D1","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":"35a3ab3cd49a27d516388c6fdac2e4d0e5a411a8","datavalue":{"value":{"amount":"+0.71525836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6050008$D63DD9D9-54C5-4D45-B391-EAB2F9BB00AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e5d524b744458f8588435fc5701566d064d0c5","datavalue":{"value":{"entity-type":"item","numeric-id":4663838,"id":"Q4663838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0982640778cdadef7ad67ec3be8a22b6ebc92c7","datavalue":{"value":{"amount":"+0.7021204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6050008$59008969-1226-4687-8468-A8C59DEFD76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a249a4affd221f45c2f095eebcb1ce5d698903e","datavalue":{"value":{"entity-type":"item","numeric-id":440655,"id":"Q440655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f39e5f3a9aa742ae142b203516dc3f1e767e472","datavalue":{"value":{"amount":"+0.6975244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6050008$5CE4F93D-CB61-4974-B434-B17AE9B073B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7a5a8fd726eba63d9d6c53590c0e6963f627ff","datavalue":{"value":{"entity-type":"item","numeric-id":2730836,"id":"Q2730836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f29c46c9da306f243c603795995e86f1a3d2c7","datavalue":{"value":{"amount":"+0.67622006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6050008$9487DDE5-E909-4542-8463-4885344CF78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48fd3ea281d7231de12f591e16ba7ae9fa6fa05","datavalue":{"value":{"entity-type":"item","numeric-id":3520327,"id":"Q3520327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dba4c86afa9e26760bfa7dc01d3ffbb11dff75a","datavalue":{"value":{"amount":"+0.6722031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6050008$EC06F325-7158-4F72-9039-42923D174E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff444dcb2d57ec6081ad93bfce038157cc118b0","datavalue":{"value":{"entity-type":"item","numeric-id":4650304,"id":"Q4650304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b90b365eaabaaee2d9af63487636215d366cbe1","datavalue":{"value":{"amount":"+0.6658004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6050008$B55A2058-E4B6-45CA-BCAF-5EB769A550A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50f4215f058ba1eab3fb4f1c39fe2d3cbe4763b","datavalue":{"value":{"entity-type":"item","numeric-id":1683373,"id":"Q1683373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a3f03aa5b429db66be2574156e6b633177f3e1","datavalue":{"value":{"amount":"+0.6649242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6050008$251245F2-2AC9-4C6C-AE19-F165DB63F116","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6050008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6050008"}}}}}