{"entities":{"Q5377703":{"pageid":7407277,"ns":120,"title":"Item:Q5377703","lastrevid":96275555,"modified":"2026-06-05T10:50:31Z","type":"item","id":"Q5377703","labels":{"en":{"language":"en","value":"Equational properties of fixed-point operations in Cartesian categories: an overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7059226"}},"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":"Q5377703$0B7E912D-2E2E-4DC8-955E-180B6354A4BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d847c0df0cdbd85f9d703ecdb8e48ae8b0b5b75","datavalue":{"value":{"text":"Equational properties of fixed-point operations in cartesian categories: An overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5377703$B7AAEAEF-1D34-46E9-AE93-8880306F81FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc1ee8ad6e2d6f97bd4c214766e54f6dde98f1ff","datavalue":{"value":"1423.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377703$5366B2B1-5759-4EB0-806D-B578849DDDEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e62684cbd6798c5b288cf91acf2b4da654b262f","datavalue":{"value":"10.1017/S0960129518000361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377703$0AA3D829-EB80-4E1A-B874-0C2AEDF0ADEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$21B5132B-603B-4296-82D7-2603C08E67D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca1af7ab0f0fb74ee727ac8a7c46d285cfffbb17","datavalue":{"value":{"time":"+2019-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5377703$D2385D15-8F92-4B72-B241-044FF4783E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377703$CD4FE2D7-141D-4932-A700-0D28FA6180BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377703$47A8A1A2-1D3B-4743-A77B-A4BB56D58797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377703$EA83E705-019D-434F-871E-EA62BCC1D035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377703$C6395D44-78D6-4C26-88CB-76007C7E71AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377703$7C0C3854-E0D2-4059-BA77-ECA84075EB3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d5abd25d33ef7a9f3847b6e13f59e9067b803e0","datavalue":{"value":"7059226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377703$20F00A77-B14A-4999-BA45-6A906BAE3EC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d79ecbc5c8b09204688f48b859baf7acddb6cf12","datavalue":{"value":"fixed-point theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377703$DA862D10-648B-4573-87C1-2159DA573D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"853c6caf7febc369a219e071a344260f67080281","datavalue":{"value":"iteration categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377703$A416077F-CBFD-4C74-93E8-8ABF6CA48B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377703$F49ED254-7906-4B82-BBE5-82DA959401FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0169f7ed77659d9ba1271447ba2902ed0b1d802","datavalue":{"value":"Conway categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377703$6D1DD918-FC1F-4942-B167-8438AD3C2887","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$16B47C8D-E8C3-4F42-A818-4D2A59DEDABE","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":"Q5377703$2550A925-9A2A-40ED-9411-717F80B8E9D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c892f6716ab3c44f387fbe3d967748617d6aee94","datavalue":{"value":{"entity-type":"item","numeric-id":2996139,"id":"Q2996139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$007CD342-D0D9-421C-8C6F-56522A669E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13637c329a859369d956f00d5ad44bbfb24c2365","datavalue":{"value":{"entity-type":"item","numeric-id":1136494,"id":"Q1136494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$E0487782-662C-41F6-A276-4EA15B547038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$E3DD0E7C-8922-4C54-ACA2-85A8A0FD6237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c8d5af81dbee948fc36a09e7801ec41a36713b","datavalue":{"value":{"entity-type":"item","numeric-id":2919784,"id":"Q2919784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$97516754-76D4-4F45-90A0-CBFE9CC15C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7897a90fe2a4345d7cd98ba71156e7cee2a69e","datavalue":{"value":{"entity-type":"item","numeric-id":3026323,"id":"Q3026323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$DE25157F-F166-4135-9104-074F5F238E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c202e33227baa2761e40f0ccd9a07adfab5acb","datavalue":{"value":{"entity-type":"item","numeric-id":3901654,"id":"Q3901654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$199DA69C-1F99-4B4F-A36C-5DF7E6F5A495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f4be8f3ff3ca818248904de7d0413a94af358","datavalue":{"value":{"entity-type":"item","numeric-id":1825026,"id":"Q1825026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$A65FD16D-A30D-4BE3-AF5D-A68004422BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74529332d52a3507b2b5b261bdf475682b3b1710","datavalue":{"value":{"entity-type":"item","numeric-id":4302858,"id":"Q4302858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$DF960479-A71D-4B3D-BB50-2B6635B66B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12af5d9bc8b3f0f080618d60cd7426f415401c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$B33DF4EE-CD5E-4296-892A-DCDED062675D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6fa72cb8bc5a42ce54cb33aadc4c639e95d4e85","datavalue":{"value":{"entity-type":"item","numeric-id":5890058,"id":"Q5890058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$52DAC705-B652-4D41-82F0-42FAD2068705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62ae5d8372aa178180c5517c3ec1038606e5c10","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$C63BF10E-7C44-4A82-9499-853FB8AE0E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a55cb1739becf58f29eabbf9e09dce8e1e3273f","datavalue":{"value":{"entity-type":"item","numeric-id":4508392,"id":"Q4508392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$79C42A4F-5806-4CAB-8A60-DA31D2149576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86c809e564f459180d789c459ffb72986e31d2d","datavalue":{"value":{"entity-type":"item","numeric-id":4449535,"id":"Q4449535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$E14EABD9-A5CF-46B5-8122-313B55686EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3157dfd682e106a7748d683af9a34aaf811e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":2389332,"id":"Q2389332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$13420E4F-998F-415B-BCF7-B1032814F48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3fdd8c4aaca8f17b88e6a959a58fa7bf846cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5930757,"id":"Q5930757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$92699DCD-2309-46CB-8984-B2A5FA91719B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90df000333f2ade728e9bac0ca621e4ae8fdc43","datavalue":{"value":{"entity-type":"item","numeric-id":1207946,"id":"Q1207946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$0863E9F5-8253-4A77-BB53-BCAD21418487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$6AE52549-6C8E-4AE6-ABD6-D49318F27A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0663d769704bd36d7fb483a298b85543502a88","datavalue":{"value":{"entity-type":"item","numeric-id":4359289,"id":"Q4359289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$C4CB6ADF-4D7F-4830-81FA-D8E3EFF64DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45bfeb3f681e3fd0efd4377b0b15c55504fe6ca","datavalue":{"value":{"entity-type":"item","numeric-id":3485876,"id":"Q3485876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$C8380EF6-70A8-4E50-ABFB-5B8B33653920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbab4acd996db78483779636177b87951d203b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3910579,"id":"Q3910579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$3EAB24DF-2D2B-453B-BB49-4ECE51CF2AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$9AE565D7-AD2C-4A7E-BB2A-B25A5C970462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$569B61FC-77EE-4ECA-8A63-9C2DE1781F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$65BAE63E-33F0-47D5-916E-8CEB466DE583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa861f450c6fe1df24a11ab0f36f0ea59f4e8d2","datavalue":{"value":{"entity-type":"item","numeric-id":1106011,"id":"Q1106011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$667DF18D-BAFA-466B-950C-6C8056A8609F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9f70e245fdad387e0faba9ce129700731d15cd","datavalue":{"value":{"entity-type":"item","numeric-id":5203698,"id":"Q5203698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$8C5FCB87-ECC0-4EF2-97E1-3FD5E9CB91E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f582c49adc7ab1bea1da8c1f66fd32514157a","datavalue":{"value":{"entity-type":"item","numeric-id":1391869,"id":"Q1391869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$EE6F4C0D-2CB9-4883-9451-5A26EB5E36AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26290a3d620635abc3e1567af3da021766d03bd6","datavalue":{"value":{"entity-type":"item","numeric-id":4381396,"id":"Q4381396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$B8C6B22A-750A-4E1E-ABEF-138CB4C97FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608533bf3c2d046e29c46a84659be2d633077793","datavalue":{"value":{"entity-type":"item","numeric-id":1283821,"id":"Q1283821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$85289910-6773-45FB-B3F0-E2435823A760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1bbbdd2bf867b36d5b17d9a471b2b35b1d3844","datavalue":{"value":{"entity-type":"item","numeric-id":2707234,"id":"Q2707234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$F008D1CF-292E-4576-9A2D-5079FBE0E28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364b42509a069fc0518f1113cf13e9b6f5566129","datavalue":{"value":{"entity-type":"item","numeric-id":2753681,"id":"Q2753681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$E2573007-C03B-4306-AD9D-B63657EEB691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c69bbd7d3ef69e7ea176ec095407fbde2cfa81","datavalue":{"value":{"entity-type":"item","numeric-id":1575683,"id":"Q1575683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$3AEC6DE8-6A12-448E-8644-84C85134E85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edbedcabf2aa52e201f3e94cd39edc596723c16","datavalue":{"value":{"entity-type":"item","numeric-id":4786253,"id":"Q4786253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$12AFF6BC-4875-46FE-8EF5-777D44CBDBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb2557c9a1a6949a8c6cd173b42500d973eff8e","datavalue":{"value":{"entity-type":"item","numeric-id":844887,"id":"Q844887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$8BE7C66D-0D40-4EB2-9444-A416CFA4CD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56e5a54771d1c54065b1a0f033beed5d57a2412","datavalue":{"value":{"entity-type":"item","numeric-id":5739356,"id":"Q5739356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$66487C85-EAE5-4FEB-B914-091FB22A0899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1acf09b311a1bb60d356c4638ab7e422d81285","datavalue":{"value":{"entity-type":"item","numeric-id":265802,"id":"Q265802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$C0ED14F0-F47F-405A-9BE8-2E3CC7D6311D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09826a806f7efe071712e1b77ba6f8da71347a4","datavalue":{"value":{"entity-type":"item","numeric-id":2447752,"id":"Q2447752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$15B1EE47-88DA-4117-82D0-8BE96EEAEA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637ec4c7e315c060de0e86bf693aa063560d0225","datavalue":{"value":{"entity-type":"item","numeric-id":3195621,"id":"Q3195621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$8448A5B6-8D69-4885-839A-65687D06102F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b66eb27c29a2e62c71a6de37347f6f716f4df9","datavalue":{"value":{"entity-type":"item","numeric-id":2947468,"id":"Q2947468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$7D2BA588-58CF-4F88-BDC5-1B265BFB30A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3263043ecf9414221dbe18d3609c8447e66b9a62","datavalue":{"value":{"entity-type":"item","numeric-id":2973247,"id":"Q2973247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$A86C07AD-429D-4D96-BC47-C14C592DEC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c2b0aec40021f316a6715eda8e7a5cf11f8c50","datavalue":{"value":{"entity-type":"item","numeric-id":4222756,"id":"Q4222756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$15E33E3A-1E8C-4334-B202-DD989FF2D242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169bdfa07d453f80501baef4c53aa6c8c03c066d","datavalue":{"value":{"entity-type":"item","numeric-id":1882911,"id":"Q1882911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$99721B77-83D5-485C-ADD2-18F8C32D7CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e5cdf63506df6651b875b368c87f36bb609bb8","datavalue":{"value":{"entity-type":"item","numeric-id":412016,"id":"Q412016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$BA05F9D6-1DE4-44BD-9BFB-55560F36F99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d157dbd008310fe052135ef288b1ddc4c3f57b48","datavalue":{"value":{"entity-type":"item","numeric-id":383784,"id":"Q383784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$B48EF687-2A03-4285-B397-A54F0AC4E6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b4333288ddd25eadb6a133faf9d3c9f7eea5c8","datavalue":{"value":{"entity-type":"item","numeric-id":4683183,"id":"Q4683183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$06E59545-7EE8-458D-A396-6371FA03B231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfaf74bbe926c68a29f34b40e248bdae8e84ade","datavalue":{"value":{"entity-type":"item","numeric-id":1128480,"id":"Q1128480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$991EDE50-CBF8-4F2A-892E-809276B7EC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f98f126719b68597b44e044d77a74bbd4302cae6","datavalue":{"value":{"entity-type":"item","numeric-id":2257304,"id":"Q2257304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$DD91C3CE-4574-4D4D-ABBF-772EB8E7072D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3f5aacab8b165da3e0b98ec43c027e458b7b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3776631,"id":"Q3776631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$D43260A5-B32C-41A0-B49C-7E437CFD693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84be555853de48c870ad3ebd13ff25ae68b38a7","datavalue":{"value":{"entity-type":"item","numeric-id":5590815,"id":"Q5590815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$8777C7AD-3D4E-4B10-9EDD-EB6188700BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$E80940A4-B8DE-43CC-A660-72221F04BC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9f2c5cb5616249a826553ca095837695848696","datavalue":{"value":{"entity-type":"item","numeric-id":3024908,"id":"Q3024908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$6FE45763-B1F0-4E10-90D3-971119E4D58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946b62dff16e0de007abc5492670d01807475a28","datavalue":{"value":{"entity-type":"item","numeric-id":2864158,"id":"Q2864158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$3BE75F1E-25D5-42D9-84DF-77CE70631222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$EBC94F30-6C1D-42C2-93C3-F6D3E94878A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$D4A6D73B-A6EB-4E43-AB6E-CE963513A384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4acb9423d306d0bd0ffa64b987d2982e9421b4","datavalue":{"value":{"entity-type":"item","numeric-id":4038681,"id":"Q4038681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$E18D4B0D-B776-4C89-A031-FE4754B3E1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$3F533F02-51DE-4EEC-BE1E-ED268FBDDE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01b32f08130a44f4ffd0fb7baa0d3f8f650a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5526129,"id":"Q5526129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$3DEC55D6-0A10-4A36-868B-E35E6E7A6662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$F086E21A-AA32-4AAC-8BF8-E43391206CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$1DDAA41D-3031-4022-B2CF-ECF3EB473568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$2783DBEF-3740-4934-947E-CAD94FAB1410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b35e907ab212b1d8711807e29faa381e394fd44","datavalue":{"value":{"entity-type":"item","numeric-id":4723706,"id":"Q4723706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$51A3CE49-461C-46AC-8BE9-874E0B7C443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$8D6BE1BB-F23F-490F-841B-AC55031B0317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$414A5561-9AB0-4C65-B4C6-E399E92435C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$A36AB734-A369-4B4E-BE5F-73B4045468BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd709cda929b7a28bc1183cdd5f7ed97f3340bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1401250,"id":"Q1401250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$072C9834-5366-4985-9C94-6218F77F8C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818fdddfe8aa20a2513f81442580770b66dc2c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3777431,"id":"Q3777431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377703$4EA1A0E2-B2E1-451C-9BFD-611E3451D03C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a671880dce1d312faf159a3b871d8a64619c61dd","datavalue":{"value":"https://doi.org/10.1017/s0960129518000361","type":"string"},"datatype":"url"},"type":"statement","id":"Q5377703$E8A5EBDD-D7E1-4A5F-8312-C9A384ACB129","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"523591ea867e1b05a672cd72c09caf3786e3cbe5","datavalue":{"value":"W2944939439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377703$4B04F41B-7AFB-4F2A-A8EB-C10FCA4C0F94","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"44da04d2cf018f497aa6ed2b5a5e7eff0da08f32","datavalue":{"value":"Q127825141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377703$DEAA1D23-B5A1-403B-8351-E1E9BEAC4A56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca6dd73599b56001df60eec9c40835c60200b83","datavalue":{"value":{"entity-type":"item","numeric-id":2946322,"id":"Q2946322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c434baa29b6ff89e4691dbe1489e79436b7bda30","datavalue":{"value":{"amount":"+0.9984999895095824","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":"Q5377703$8660A5D2-8CD3-46B1-A0F4-7F6537C99FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f52c2318bfe836664adb32325dcd6e1ce1780f","datavalue":{"value":{"entity-type":"item","numeric-id":4375811,"id":"Q4375811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f07d52ca41ac5542bc6cb8bb9281b9c84e0516b","datavalue":{"value":{"amount":"+0.8807200789451599","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":"Q5377703$A92593C3-6125-4C78-B3A1-BE0F60925D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50f13c9c853d93ed394147dfce61b7886c409a2","datavalue":{"value":{"entity-type":"item","numeric-id":1128480,"id":"Q1128480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2807540a725951c174ad0b9d4f73d8bc82c4ab3","datavalue":{"value":{"amount":"+0.8790371417999268","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":"Q5377703$33663506-39EF-4478-850B-85F73A6D23BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bac08ac1961237a8028723662dbb9ca3bec5479","datavalue":{"value":{"entity-type":"item","numeric-id":2973247,"id":"Q2973247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a948bdecd8ecbba9041d66cb481ac8a97a8561d5","datavalue":{"value":{"amount":"+0.8295416831970215","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":"Q5377703$9F9B6112-5172-427A-9646-BBB854551F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28daf98177955b70818ae09d5730887e46ca0e89","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db7f4f25f49bb4909cfc7ff74113b291e1c528e","datavalue":{"value":{"amount":"+0.8111699819564819","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":"Q5377703$BD359C08-E30E-48AB-9C9B-3D88F168D374","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational properties of fixed-point operations in Cartesian categories: an overview","badges":[]}}}}}