{"entities":{"Q1132901":{"pageid":1143650,"ns":120,"title":"Item:Q1132901","lastrevid":66200859,"modified":"2026-04-12T08:13:25Z","type":"item","id":"Q1132901","labels":{"en":{"language":"en","value":"An extension and simple proof of a constrained lattice fixed point theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3654190"}},"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":"Q1132901$3D98697B-7D0F-493F-883F-FAA703DD541A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"010c5691c09913dc9da655d54a89f8d1535aa720","datavalue":{"value":{"text":"An extension and simple proof of a constrained lattice fixed point theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1132901$A007F172-0178-4537-B71E-EF533E60E356","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afd69947fc0ed8bddc0557084d7bc80aaa820ca2","datavalue":{"value":"0421.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132901$D02AFC55-6DDD-4ABE-917E-8AC695C11F8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"593893f62c7e82cffc3bc3d45529cae7372803d0","datavalue":{"value":"10.1007/BF02488022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132901$C5530734-2A4A-4E1F-B1CE-005497C8D0D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132901$5903EC09-C5A6-4884-9495-4AC206115FA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132901$3969C942-89F7-40A4-9E45-D0D8A4A97820","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1132901$83CB4CB4-CA05-406B-8BA2-E39D81174304","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132901$8CE79398-FA47-45E2-8780-F9AD6894A00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132901$E35148E4-EAF5-4A12-B7FE-F750A1086211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132901$E8E14BE0-19F4-4E8C-9032-5B87D44F8170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c095a719feadf7dc44c4c163713597469c0a544b","datavalue":{"value":"3654190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132901$525E0126-9BB1-4EA0-BDDC-6C3622538170","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cdb35b853c0f6bbf6c4d7efe1270c8d41aa94f","datavalue":{"value":"fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132901$3C8CC695-ED3F-4C5D-8007-6954E8E4407A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83a6377a866142faf9025be44d599a7463d70771","datavalue":{"value":"join antimorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132901$EDBCB3DE-3A19-4747-B417-1E47655F68C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132901$4C394657-756A-4006-95B2-AD52893217B0","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":"Q1132901$B066D36A-BEAD-4379-8092-6EEF79283EBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab3bdd7d7fbfac1006a4b16e8a3687950389993","datavalue":{"value":{"entity-type":"item","numeric-id":4099541,"id":"Q4099541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132901$AEA232BA-2F39-41CD-BF16-0F3C5029716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335577ddf718b2bef091a0c431c4f5b735059127","datavalue":{"value":{"entity-type":"item","numeric-id":4081294,"id":"Q4081294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132901$37577E93-A0B7-48FE-82B4-7C336DA66603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8fbadf493d17b6ddff611d99c5e770f8eaa211","datavalue":{"value":{"entity-type":"item","numeric-id":3907448,"id":"Q3907448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132901$FE7792A1-6F48-4181-9C70-19ADEECCD36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d52825ede2a003d63663df1e20c04fb8acb1530","datavalue":{"value":{"entity-type":"item","numeric-id":3880630,"id":"Q3880630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132901$CD454D2E-EFBF-40B0-8908-4CB5EAE501AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132901$940F70B4-4458-4AE0-AA70-9F84558760C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bf4324a8020f743d0b4a659d19557f6259d86f4","datavalue":{"value":"https://doi.org/10.1007/bf02488022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1132901$A82E557C-8D7E-47FF-81BC-5CE5FB603EFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acbb05423a9d3691d585445d23f4bd779bdd661c","datavalue":{"value":"W4234751327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132901$C0E5029F-DB15-4073-BEB8-9BB902464103","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension and simple proof of a constrained lattice fixed point theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extension_and_simple_proof_of_a_constrained_lattice_fixed_point_theorem"}}}}}