{"entities":{"Q5176987":{"pageid":7206559,"ns":120,"title":"Item:Q5176987","lastrevid":52217417,"modified":"2026-01-21T04:31:10Z","type":"item","id":"Q5176987","labels":{"en":{"language":"en","value":"Proving the unique fixed-point principle correct: an adventure with category theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411558"}},"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":"Q5176987$90203B55-CFA1-48C0-A550-0D8DCBE8FF62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c8ae64d15012433887063262433d626ebe3173f","datavalue":{"value":{"text":"Proving the unique fixed-point principle correct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176987$7CE5C847-34C6-48D9-94AF-9BDF294FB56D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a66d8fc85237fcd19462338eb2ecb4696770e33","datavalue":{"value":"1323.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176987$30419AAB-DEDB-4500-9FE2-ADE92A9AAEFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fa6240870c814806418a29f85684512cb243bab","datavalue":{"value":"10.1145/2034773.2034821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176987$61AD6EF2-BAE5-4125-B93D-2AB7B7A1B08E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7203456c922c316414817a6a8a5b99d0449fd3e","datavalue":{"value":{"entity-type":"item","numeric-id":700973,"id":"Q700973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176987$2B1C23EC-EEA5-4BCD-9DD0-FF76FA2EDE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc633fa037fdee4b68186bb4f7d2c92e108dc176","datavalue":{"value":{"entity-type":"item","numeric-id":5176986,"id":"Q5176986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176987$B2266F1D-0DF6-4075-A4DC-AA67427FBE86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"53c2b631e99940a75af01dcb78353131f1ce5e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5176956,"id":"Q5176956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176987$EDB660C2-8BB9-4585-AA26-4E6CA4387E39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176987$F47A7FE9-32F6-4A53-90A3-2272986D863F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176987$F7232560-D257-4D29-89BB-A4A71648ACFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176987$A315B277-B976-4C0C-A3E7-419EF37E4A6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab113719e9996b8c8326b5820c402ea777fd2263","datavalue":{"value":"6411558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176987$BB80A8A3-5C48-42C7-AF05-B074E020E690","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc9090f53ccf4afd15ae67ea0d85c1a629d69d","datavalue":{"value":"bialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176987$075E8DF3-05D6-495F-8AD2-2167F298113B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b681e5e76ee6e412b156689781ac06af17087f42","datavalue":{"value":"distributive laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176987$2A33C946-310E-413D-9E47-B978F16213E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207089bfc0e8e763f781084a4bc4e6d8eb13aa10","datavalue":{"value":"unique fixed-point","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176987$3AECB6AA-0EB3-4529-ACF3-340471750123","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":"Q5176987$A1AC768E-7C9A-49DE-8447-FCA8490564FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c6a83cf00393852f349557d0bf42c829311e178","datavalue":{"value":"https://doi.org/10.1145/2034773.2034821","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176987$FD605173-DF80-4F05-9C49-40163B38A96E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8a789f91cc5c4cfc394390d26328be31b83e55e","datavalue":{"value":"W1942658187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176987$6908F2B3-D0BA-4D61-BAC8-2E0C95ECA840","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d7ada6c7f5c5a21efd9228ab0d8f10b03a361d","datavalue":{"value":{"entity-type":"item","numeric-id":5178763,"id":"Q5178763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd97c3b0d979bfdc11d2cddd022ece6347a98817","datavalue":{"value":{"amount":"+0.7988131642341614","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":"Q5176987$933A6EB8-A7DF-433A-8E9C-E9C998F640C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a24c6318879f479aa915b3881e10ee1da5afc9","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d71de653e1527a0b726eb94fdb430041d45568","datavalue":{"value":{"amount":"+0.7432700395584106","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":"Q5176987$FDE8BD7E-0221-46E1-A87D-8F05BB3D9A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d319b7dc892ab19f978d23e2192106ea04e822a","datavalue":{"value":{"entity-type":"item","numeric-id":4362971,"id":"Q4362971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc24ebab82854c5a381b2b247c34f559c067a32","datavalue":{"value":{"amount":"+0.7269209027290344","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":"Q5176987$32F9D32F-58FC-4F20-893A-4B292870991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e0d6cf4bff08d33396572e4725247c943d3a14","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc24ebab82854c5a381b2b247c34f559c067a32","datavalue":{"value":{"amount":"+0.7269209027290344","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":"Q5176987$0C59726D-4B5E-411A-B4A0-7BE1B4733AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ca8a2e01f8239d03ca7a8219c9f482f702440a","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11dd22bb1a59331727cac076a8f5ee8abc243375","datavalue":{"value":{"amount":"+0.7216278910636902","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":"Q5176987$126A2C45-F33B-4722-BBDE-169C83E86E5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176987"}}}}}